Searched refs:xen_efi_reset_system (Results 1 – 4 of 4) sorted by relevance
38 efi.reset_system = xen_efi_reset_system; in xen_efi_runtime_setup()
268 void xen_efi_reset_system(int reset_type, efi_status_t status, in xen_efi_reset_system() function283 EXPORT_SYMBOL_GPL(xen_efi_reset_system);
189 void xen_efi_reset_system(int reset_type, efi_status_t status,
84 efi.reset_system = xen_efi_reset_system; in xen_efi_probe()
