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