Symbol: CR4_OSFXSR
sys/cpu/x86_64/include/specialreg.h
64
#define CR4_OSFXSR 0x00000200 /* Fast FPU save/restore used by OS */
sys/dev/virtual/nvmm/x86/nvmm_x86.h
677
#define CR4_OSFXSR __BIT(9) /* Fast FPU save/restore used by OS */