Searched refs:efi_restore_gd (Results 1 – 4 of 4) sorted by relevance
142 efi_restore_gd(); in do_bad_sync()153 efi_restore_gd(); in do_bad_irq()164 efi_restore_gd(); in do_bad_fiq()175 efi_restore_gd(); in do_bad_error()186 efi_restore_gd(); in do_sync()205 efi_restore_gd(); in do_irq()217 efi_restore_gd(); in do_fiq()231 efi_restore_gd(); in do_error()
121 efi_restore_gd(); in do_undefined_instruction()130 efi_restore_gd(); in do_software_interrupt()139 efi_restore_gd(); in do_prefetch_abort()148 efi_restore_gd(); in do_data_abort()157 efi_restore_gd(); in do_not_used()166 efi_restore_gd(); in do_fiq()176 efi_restore_gd(); in do_irq()
152 void efi_restore_gd(void);273 static inline void efi_restore_gd(void) { } in efi_restore_gd() function
90 void efi_restore_gd(void) in efi_restore_gd() function