Searched refs:efi_reset_system (Results 1 – 1 of 1) sorted by relevance
134 efi_reset_system (int reset_type, efi_status_t status, unsigned long data_size, efi_char16_t *data) in efi_reset_system() function303 efi_runtime->reset_system = (void *)__pa(&efi_reset_system); in sys_fw_init()
