Searched defs:reset_type (Results 1 – 3 of 3) sorted by relevance
201 u32 reset_type = DBCR0_RST_SYSTEM; in ppc4xx_reset_system() local
681 efi_thunk_reset_system(int reset_type, efi_status_t status, in efi_thunk_reset_system()727 int *reset_type) in efi_thunk_query_capsule_caps()
133 efi_reset_system (int reset_type, efi_status_t status, unsigned long data_size, efi_char16_t *data) in efi_reset_system()