Symbol: efi_delay
sys/stand/efiboot/efiboot.h
77
void efi_delay(int);
sys/stand/efiboot/prompt.c
109
efi_delay(1000000 / POLL_FREQ);