Searched refs:efi_fpu_begin (Results 1 – 2 of 2) sorted by relevance
74 static inline void efi_fpu_begin(void) in efi_fpu_begin() function93 efi_fpu_begin(); \117 efi_fpu_begin(); \
846 efi_fpu_begin(); in efi_set_virtual_address_map()
