Searched refs:VM_REG_GUEST_RBP (Results 1 – 6 of 6) sorted by relevance
444 tss->tss_ebp = GETREG(vcpu, VM_REG_GUEST_RBP); in tss32_save()542 SETREG(vcpu, VM_REG_GUEST_RBP, tss->tss_ebp); in tss32_restore()
62 VM_REG_GUEST_RBP, enumerator
276 VM_REG_GUEST_RBP, enumerator2881 vie->base_register == VM_REG_GUEST_RBP) in verify_gla()
179 { .id = VM_REG_GUEST_RBP, .size = 8 },
2291 case VM_REG_GUEST_RBP: in swctx_regptr()
3285 case VM_REG_GUEST_RBP: in vmxctx_regptr()