Symbol: vmx_msr_guest_exit_tsc_aux
sys/amd64/vmm/intel/vmx.c
3197
vmx_msr_guest_exit_tsc_aux(vmx, vcpu);
sys/amd64/vmm/intel/vmx_msr.h
39
void vmx_msr_guest_exit_tsc_aux(struct vmx *vmx, struct vmx_vcpu *vcpu);