Searched refs:efi_restore_gd (Results 1 – 5 of 5) sorted by relevance
49 efi_restore_gd(); in do_bad_sync()60 efi_restore_gd(); in do_bad_irq()71 efi_restore_gd(); in do_bad_fiq()82 efi_restore_gd(); in do_bad_error()93 efi_restore_gd(); in do_sync()104 efi_restore_gd(); in do_irq()115 efi_restore_gd(); in do_fiq()129 efi_restore_gd(); in do_error()
134 efi_restore_gd(); in do_undefined_instruction()144 efi_restore_gd(); in do_software_interrupt()154 efi_restore_gd(); in do_prefetch_abort()164 efi_restore_gd(); in do_data_abort()174 efi_restore_gd(); in do_not_used()184 efi_restore_gd(); in do_fiq()194 efi_restore_gd(); in do_irq()
310 void efi_restore_gd(void);572 static inline void efi_restore_gd(void) { } in efi_restore_gd() function
229 efi_restore_gd(); in bootefi_run_finish()
112 void efi_restore_gd(void) in efi_restore_gd() function1862 efi_restore_gd(); in efi_exit()