Symbol: wait_sec
sys/arch/i386/stand/efiboot/efidelay.c
54
wait_sec(int sec)
sys/arch/i386/stand/lib/pcio.c
374
wait_sec(int sec)