Symbol: kernel_fpu_ctx_restore
usr/src/uts/intel/os/fpu.c
1791
.ct_restore = kernel_fpu_ctx_restore,
usr/src/uts/intel/os/fpu.c
1898
kernel_fpu_ctx_restore(kfpu);