sys/arch/amd64/amd64/vmm_machdep.c:2065:32: error: use of undeclared identifier 'XCR0_X87'
sys/arch/amd64/amd64/vmm_machdep.c:2866:32: error: use of undeclared identifier 'XCR0_X87'