Searched refs:efi_fpu_end (Results 1 – 2 of 2) sorted by relevance
83 static inline void efi_fpu_end(void) in efi_fpu_end() function98 efi_fpu_end(); \129 efi_fpu_end(); \
847 efi_fpu_end(); in efi_set_virtual_address_map()
Completed in 6 milliseconds