Searched refs:VM_REG_GUEST_RBX (Results 1 – 6 of 6) sorted by relevance
442 tss->tss_ebx = GETREG(vcpu, VM_REG_GUEST_RBX); in tss32_save()540 SETREG(vcpu, VM_REG_GUEST_RBX, tss->tss_ebx); in tss32_restore()
57 VM_REG_GUEST_RBX, enumerator
174 { .id = VM_REG_GUEST_RBX, .size = 8 },
274 VM_REG_GUEST_RBX, enumerator
2281 case VM_REG_GUEST_RBX: in swctx_regptr()
3275 case VM_REG_GUEST_RBX: in vmxctx_regptr()