Searched refs:efi_fpu_begin (Results 1 – 2 of 2) sorted by relevance
72 static inline void efi_fpu_begin(void) in efi_fpu_begin() function91 efi_fpu_begin(); \117 efi_fpu_begin(); \
838 efi_fpu_begin(); in efi_set_virtual_address_map()
Completed in 7 milliseconds