Symbol: vmx_handle_cr4_write
sys/arch/amd64/amd64/vmm_machdep.c
113
int vmx_handle_cr4_write(struct vcpu *, uint64_t);
sys/arch/amd64/amd64/vmm_machdep.c
5776
vmx_handle_cr4_write(vcpu, r);