Symbol: vmx_msr_guest_enter_tsc_aux
sys/amd64/vmm/intel/vmx.c
3182
vmx_msr_guest_enter_tsc_aux(vmx, vcpu);
sys/amd64/vmm/intel/vmx_msr.h
36
void vmx_msr_guest_enter_tsc_aux(struct vmx *vmx, struct vmx_vcpu *vcpu);