Searched refs:efi_restore_gd (Results 1 – 4 of 4) sorted by relevance
139 efi_restore_gd(); in do_bad_sync()150 efi_restore_gd(); in do_bad_irq()161 efi_restore_gd(); in do_bad_fiq()172 efi_restore_gd(); in do_bad_error()183 efi_restore_gd(); in do_sync()195 efi_restore_gd(); in do_irq()207 efi_restore_gd(); in do_fiq()221 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