Symbol: __timer_running
usr/src/grub/grub-0.97/netboot/i386_timer.c
168
while(__timer_running());
usr/src/grub/grub-0.97/netboot/i386_timer.c
175
while(__timer_running());
usr/src/grub/grub-0.97/netboot/i386_timer.c
189
return __timer_running();