Searched refs:reset_data (Results 1 – 6 of 6) sorted by relevance
59 unsigned long data_size, void *reset_data) in efi_reset_system() argument
75 unsigned long data_size, void *reset_data) in efi_reset_system_boottime() argument78 reset_data); in efi_reset_system_boottime()131 unsigned long data_size, void *reset_data) in efi_reset_system() argument
144 unsigned long data_size, void *reset_data) in efi_reset_system() argument
257 unsigned long data_size, void *reset_data);
203 unsigned long data_size, void *reset_data);
595 unsigned long data_size, void *reset_data) in efi_reset_system() argument