Searched defs:reset_type (Results 1 – 2 of 2) sorted by relevance
196 u32 reset_type = DBCR0_RST_SYSTEM; in ppc4xx_reset_system() local
903 efi_thunk_reset_system(int reset_type, efi_status_t status, in efi_thunk_reset_system()986 int *reset_type) in efi_thunk_query_capsule_caps()