pit_timer_disable   78 drivers/clocksource/timer-vf-pit.c 	pit_timer_disable();
pit_timer_disable   87 drivers/clocksource/timer-vf-pit.c 	pit_timer_disable();
pit_timer_disable  110 drivers/clocksource/timer-vf-pit.c 		pit_timer_disable();