Symbol: vmmops_getreg
sys/arm64/vmm/vmm_arm64.c
1278
vmmops_getreg(void *vcpui, int reg, uint64_t *retval)
sys/riscv/vmm/vmm_riscv.c
855
vmmops_getreg(void *vcpui, int reg, uint64_t *retval)