Symbol: vmm_setreg
usr/src/cmd/mdb/intel/mdb/mdb_bhyve.c
1442
ret = vmm_setreg(bd->bd_vmm, bd->bd_curcpu, reg, r);
usr/src/lib/libvmm/libvmm.h
106
int vmm_setreg(vmm_t *, int, int, uint64_t);