Searched refs:VM_REG_GUEST_RBX (Results 1 – 7 of 7) sorted by relevance
| /freebsd-11-stable/usr.sbin/bhyve/ |
| HD | task_switch.c | 445 tss->tss_ebx = GETREG(ctx, vcpu, VM_REG_GUEST_RBX); in tss32_save()
543 SETREG(ctx, vcpu, VM_REG_GUEST_RBX, tss->tss_ebx); in tss32_restore()
|
| /freebsd-11-stable/sys/amd64/include/ |
| HD | vmm.h | 53 VM_REG_GUEST_RBX, enumerator
|
| /freebsd-11-stable/lib/libvmmapi/ |
| HD | vmmapi.c | 1084 if ((error = vm_set_register(vmctx, vcpu, VM_REG_GUEST_RBX, zero)) != 0) in vcpu_reset()
|
| /freebsd-11-stable/sys/amd64/vmm/amd/ |
| HD | svm.c | 2125 case VM_REG_GUEST_RBX: in swctx_regptr()
|
| /freebsd-11-stable/usr.sbin/bhyvectl/ |
| HD | bhyvectl.c | 745 error = vm_get_register(ctx, vcpu, VM_REG_GUEST_RBX, &rbx); in get_all_registers()
|
| /freebsd-11-stable/sys/amd64/vmm/ |
| HD | vmm_instruction_emul.c | 252 VM_REG_GUEST_RBX, enumerator
|
| /freebsd-11-stable/sys/amd64/vmm/intel/ |
| HD | vmx.c | 3050 case VM_REG_GUEST_RBX: in vmxctx_regptr()
|