Searched refs:xen_efi_reset_system (Results 1 – 1 of 1) sorted by relevance
259 static void xen_efi_reset_system(int reset_type, efi_status_t status, in xen_efi_reset_system() function294 efi.reset_system = xen_efi_reset_system; in xen_efi_runtime_setup()