Searched refs:vmmops_setreg (Results 1 – 5 of 5) sorted by relevance
| /freebsd/sys/riscv/vmm/ |
| H A D | vmm_riscv.c | 883 vmmops_setreg(void *vcpui, int reg, uint64_t val) in vmmops_setreg() function
|
| H A D | vmm.c | 984 error = vmmops_setreg(vcpu->cookie, reg, val); in vm_set_register()
|
| /freebsd/sys/arm64/vmm/ |
| H A D | vmm_arm64.c | 1281 vmmops_setreg(void *vcpui, int reg, uint64_t val) in vmmops_setreg() function
|
| H A D | vmm.c | 1274 error = vmmops_setreg(vcpu->cookie, reg, val); in vm_set_register()
|
| /freebsd/sys/amd64/vmm/ |
| H A D | vmm.c | 886 error = vmmops_setreg(vcpu->cookie, reg, val); in vm_set_register()
|