Symbol: vmx_handle_cr
sys/arch/amd64/amd64/vmm_machdep.c
114
int vmx_handle_cr(struct vcpu *);
sys/arch/amd64/amd64/vmm_machdep.c
4691
ret = vmx_handle_cr(vcpu);