Searched refs:efi_fpu_end (Results 1 – 2 of 2) sorted by relevance
85 static inline void efi_fpu_end(void) in efi_fpu_end() function100 efi_fpu_end(); \135 efi_fpu_end(); \
847 efi_fpu_end(); in efi_set_virtual_address_map()