Symbol: __timer2_running
usr/src/grub/grub-0.97/netboot/i386_timer.c
56
return __timer2_running();
usr/src/grub/grub-0.97/netboot/i386_timer.c
87
while(__timer2_running());