Symbol: efi_timer_cleanup
sys/arch/arm64/stand/efiboot/efiboot.c
771
efi_timer_cleanup();
sys/arch/arm64/stand/efiboot/efiboot.c
82
static void efi_timer_cleanup(void);
sys/arch/armv7/stand/efiboot/efiboot.c
681
efi_timer_cleanup();
sys/arch/armv7/stand/efiboot/efiboot.c
72
static void efi_timer_cleanup(void);
sys/arch/riscv64/stand/efiboot/efiboot.c
657
efi_timer_cleanup();
sys/arch/riscv64/stand/efiboot/efiboot.c
77
static void efi_timer_cleanup(void);