vmm_getreg
ret = vmm_getreg(bd->bd_vmm, bd->bd_curcpu, KREG_RIP, &rip);
ret = vmm_getreg(bd->bd_vmm, bd->bd_curcpu, reg, rp);
int vmm_getreg(vmm_t *, int, int, uint64_t *);