Symbol: vmmops_setreg
sys/arm64/vmm/vmm_arm64.c
1298
vmmops_setreg(void *vcpui, int reg, uint64_t val)
sys/riscv/vmm/vmm_riscv.c
883
vmmops_setreg(void *vcpui, int reg, uint64_t val)