Searched refs:xen_efi_reset_system (Results 1 - 1 of 1) sorted by last modified time
| /linux-master/drivers/xen/ | ||
| H A D | efi.c | 259 static void xen_efi_reset_system(int reset_type, efi_status_t status, function 294 efi.reset_system = xen_efi_reset_system; |
Completed in 128 milliseconds