Searched defs:reset_system (Results 1 – 10 of 10) sorted by relevance
53 pub reset_system: unsafe extern "efiapi" fn( field
27989 u32 reset_system; member28032 void (*reset_system)(int, efi_status_t, long unsigned int, efi_char16_t *); member28077 efi_reset_system_t *reset_system; member
35751 u32 reset_system; member35796 efi_reset_system_t *reset_system; member35840 efi_reset_system_t *reset_system; member
9188 u32 reset_system; member9231 void (*reset_system)(int, efi_status_t, long unsigned int, efi_char16_t *); member9275 efi_reset_system_t *reset_system; member
14447 u32 reset_system; member14492 efi_reset_system_t *reset_system; member14536 efi_reset_system_t *reset_system; member
6140 u32 reset_system; member6185 efi_reset_system_t *reset_system; member6229 efi_reset_system_t *reset_system; member