Symbol: vmx_handle_cr0_write
sys/arch/amd64/amd64/vmm_machdep.c
112
int vmx_handle_cr0_write(struct vcpu *, uint64_t);
sys/arch/amd64/amd64/vmm_machdep.c
5773
vmx_handle_cr0_write(vcpu, r);