Symbol: CR0_ENABLE_FPU_FLAGS
usr/src/uts/i86xpv/os/mp_xen.c
284
vgc->ctrlreg[0] = CR0_ENABLE_FPU_FLAGS(getcr0());
usr/src/uts/intel/os/fpu_subr.c
190
setcr0(CR0_ENABLE_FPU_FLAGS(getcr0()));