On Thu, Aug 31, 2017 at 04:46:32PM +0100, Ard Biesheuvel wrote:

On 31 August 2017 at 16:33, Dave Martin [off-list ref] wrote:

quoted

__efi_fpsimd_begin()/__efi_fpsimd_end() are for use when making EFI
calls only, so using them in non-EFI kernels is not allowed.

This patch compiles them out if CONFIG_EFI is not set.

Signed-off-by: Dave Martin <Dave.Martin@arm.com>

Acked-by: Ard Biesheuvel <redacted>

Thanks

I suppose we could also move these into arch/arm64/kernel/efi.c

Could do, though I initially preferred to keep them in fpsimd.c due to
the interactions with kernel-mode NEON.

I'll probably leave them where they are for now unless someone has a
strong view on it.

Cheers
---Dave