Searched defs:vm_get_register (Results 1 – 3 of 3) sorted by relevance
| /freebsd-src/lib/libvmmapi/ | ||
| H A D | vmmapi.c | 627 vm_get_register(struct vcpu *vcpu, int reg, uint64_t *ret_val) vm_get_register() function |
| /freebsd-src/sys/arm64/vmm/ | ||
| H A D | vmm.c | 1583 vm_get_register(struct vcpu *vcpu, int reg, uint64_t *retval) vm_get_register() function |
| /freebsd-src/sys/amd64/vmm/ | ||
| H A D | vmm.c | 1223 vm_get_register(struct vcpu *vcpu, int reg, uint64_t *retval) vm_get_register() function |