Searched refs:VM_REG_GUEST_RDX (Results 1 – 7 of 7) sorted by relevance
| /freebsd/usr.sbin/bhyve/amd64/ |
| H A D | task_switch.c | 441 tss->tss_edx = GETREG(vcpu, VM_REG_GUEST_RDX); in tss32_save()
539 SETREG(vcpu, VM_REG_GUEST_RDX, tss->tss_edx); in tss32_restore()
|
| H A D | vmexit.c | 126 error = vm_set_register(vcpu, VM_REG_GUEST_RDX, edx); in vmexit_rdmsr()
|
| /freebsd/sys/amd64/include/ |
| H A D | vmm.h | 60 VM_REG_GUEST_RDX, enumerator
|
| /freebsd/usr.sbin/bhyve/ |
| H A D | gdb.c | 176 { .id = VM_REG_GUEST_RDX, .size = 8 },
|
| /freebsd/sys/amd64/vmm/intel/ |
| H A D | vmx.c | 2374 error = vmxctx_setreg(vmxctx, VM_REG_GUEST_RDX, edx); in emulate_rdmsr()
3281 case VM_REG_GUEST_RDX: in vmxctx_regptr()
|
| /freebsd/sys/amd64/vmm/ |
| H A D | vmm_instruction_emul.c | 259 VM_REG_GUEST_RDX, enumerator
|
| /freebsd/sys/amd64/vmm/amd/ |
| H A D | svm.c | 2301 case VM_REG_GUEST_RDX: in swctx_regptr()
|