Symbol: vcpu_trap_wbinvd
usr/src/uts/intel/io/vmm/amd/svm.c
369
if (vcpu_trap_wbinvd(sc->vm, vcpu) != 0) {
usr/src/uts/intel/io/vmm/intel/vmx.c
828
if (cap_wbinvd_exit && vcpu_trap_wbinvd(vm, i) != 0)
usr/src/uts/intel/io/vmm/sys/vmm_kernel.h
379
int vcpu_trap_wbinvd(struct vm *vm, int vcpuid);