Symbol: IA32_VMX_LOAD_GUEST_CET_STATE
sys/arch/amd64/amd64/vmm_machdep.c
2248
want1 |= IA32_VMX_LOAD_GUEST_CET_STATE;
sys/arch/amd64/amd64/vmm_machdep.c
2250
want0 |= IA32_VMX_LOAD_GUEST_CET_STATE;