K 10
svn:author
V 6
andrew
K 8
svn:date
V 27
2017-07-18T16:36:32.549366Z
K 7
svn:log
V 147
Add support for passing FPU_KERN_NOCTX to fpu_kern_enter on arm64. This
will be used to call into UEFI from the kernel.

Sponsored by:	DARPA, AFRL

END