Searched refs:efi_restore_gd (Results 1 – 5 of 5) sorted by relevance
67 efi_restore_gd(); in do_bad_sync()79 efi_restore_gd(); in do_bad_irq()91 efi_restore_gd(); in do_bad_fiq()103 efi_restore_gd(); in do_bad_error()115 efi_restore_gd(); in do_sync()127 efi_restore_gd(); in do_irq()139 efi_restore_gd(); in do_fiq()154 efi_restore_gd(); in do_error()
140 efi_restore_gd(); in do_undefined_instruction()152 efi_restore_gd(); in do_software_interrupt()164 efi_restore_gd(); in do_prefetch_abort()176 efi_restore_gd(); in do_data_abort()188 efi_restore_gd(); in do_not_used()200 efi_restore_gd(); in do_fiq()212 efi_restore_gd(); in do_irq()
310 efi_restore_gd(); in do_bootefi_exec()518 efi_restore_gd(); in bootefi_run_finish()
400 void efi_restore_gd(void);663 static inline void efi_restore_gd(void) { } in efi_restore_gd() function
119 void efi_restore_gd(void) in efi_restore_gd() function3162 efi_restore_gd(); in efi_exit()