Symbol: timer2_running
usr/src/grub/grub-0.97/netboot/i386_timer.c
187
int timer2_running(void)
usr/src/grub/grub-0.97/netboot/i386_timer.c
54
int timer2_running(void)