Symbol: vcpu_trap_wbinvd
sys/amd64/include/vmm.h
368
int vcpu_trap_wbinvd(struct vcpu *vcpu);
sys/amd64/vmm/amd/svm.c
541
if (vcpu_trap_wbinvd(vcpu->vcpu)) {
sys/amd64/vmm/intel/vmx.c
1173
if (vcpu_trap_wbinvd(vcpu->vcpu)) {