Symbol: efi_set_watchdog
sys/stand/efiboot/efiblock.c
691
efi_set_watchdog(EFI_BLOCK_TIMEOUT, EFI_BLOCK_TIMEOUT_CODE);
sys/stand/efiboot/efiboot.h
109
void efi_set_watchdog(uint32_t, uint64_t);