Searched refs:efi_reset_system_t (Results 1 – 1 of 1) sorted by relevance
362 typedef void efi_reset_system_t (int reset_type, efi_status_t status, typedef395 efi_reset_system_t __efiapi *reset_system;