vmm_get_regset
if (vmm_get_regset(bd->bd_vmm, cpu, KREG_NGREG, regnums,
if (vmm_get_regset(bd->bd_vmm, cpu, ARRAY_SIZE(regnums), regnums,
if (vmm_get_regset(bd->bd_vmm, cpu, ARRAY_SIZE(regnums), regnums,
if (vmm_get_regset(vmm, vcpuid, ARRAY_SIZE(vmm_mmu_regnum),
if (vmm_get_regset(vmm, vcpuid, ARRAY_SIZE(vmm_mmu_regnum),
int vmm_get_regset(vmm_t *, int, size_t, const int *, uint64_t *);