Searched refs:vmmops_getreg (Results 1 – 5 of 5) sorted by relevance
| /freebsd/sys/riscv/vmm/ |
| H A D | vmm_riscv.c | 855 vmmops_getreg(void *vcpui, int reg, uint64_t *retval) in vmmops_getreg() function
|
| H A D | vmm.c | 974 return (vmmops_getreg(vcpu->cookie, reg, retval)); in vm_get_register()
|
| /freebsd/sys/arm64/vmm/ |
| H A D | vmm_arm64.c | 1261 vmmops_getreg(void *vcpui, int reg, uint64_t *retval) in vmmops_getreg() function
|
| H A D | vmm.c | 1264 return (vmmops_getreg(vcpu->cookie, reg, retval)); in vm_get_register()
|
| /freebsd/sys/amd64/vmm/ |
| H A D | vmm.c | 875 return (vmmops_getreg(vcpu->cookie, reg, retval)); in vm_get_register()
|