Symbol: VCC_TCE
sys/amd64/vmm/amd/svm.c
1223
if (!vm_cpuid_capability(vcpu->vcpu, VCC_TCE))
sys/amd64/vmm/x86.c
674
case VCC_TCE: