Searched refs:efi_timer_init (Results 1 - 3 of 3) sorted by relevance

/openbsd-current/sys/arch/arm64/stand/efiboot/
H A Defiboot.c79 static void efi_timer_init(void);
739 efi_timer_init();
794 efi_timer_init(void) function
/openbsd-current/sys/arch/armv7/stand/efiboot/
H A Defiboot.c71 static void efi_timer_init(void);
670 efi_timer_init();
725 efi_timer_init(void) function
/openbsd-current/sys/arch/riscv64/stand/efiboot/
H A Defiboot.c76 static void efi_timer_init(void);
642 efi_timer_init();
697 efi_timer_init(void) function

Completed in 141 milliseconds