Searched refs:efi_reset_system_t (Results 1 – 3 of 3) sorted by relevance
160 struct efi_reset_system_t { struct179 struct efi_reset_system_t reset_system; argument
515 typedef void efi_reset_system_t (int reset_type, efi_status_t status, typedef859 efi_reset_system_t *reset_system;
208 (efi_reset_system_t *) __va(runtime->reset_system), \