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

/linux-4.1.27/arch/ia64/hp/sim/boot/
H A Dfw-emu.c133 efi_reset_system (int reset_type, efi_status_t status, unsigned long data_size, efi_char16_t *data) efi_reset_system() function
302 efi_runtime->reset_system = (void *)__pa(&efi_reset_system); sys_fw_init()

Completed in 69 milliseconds