Searched refs:__efi_fpsimd_end (Results 1 – 3 of 3) sorted by relevance
179 __efi_fpsimd_end(); in arch_efi_call_virt_teardown()
1980 * __efi_fpsimd_end(): clean up FPSIMD after an EFI runtime services call1982 void __efi_fpsimd_end(void) in __efi_fpsimd_end() function
463 extern void __efi_fpsimd_end(void);