Searched refs:efi_reset_system_init (Results 1 – 5 of 5) sorted by relevance
85 void efi_reset_system_init(void) in efi_reset_system_init() function
258 void efi_reset_system_init(void);
48 efi_reset_system_init(); in efi_init_obj_list()
137 void __weak efi_reset_system_init(void) in efi_reset_system_init() function
610 void efi_reset_system_init(void) in efi_reset_system_init() function