VM_REG_GUEST_RBP
tss->tss_ebp = GETREG(vcpu, VM_REG_GUEST_RBP);
SETREG(vcpu, VM_REG_GUEST_RBP, tss->tss_ebp);
{ .id = VM_REG_GUEST_RBP, .size = 8 },
error = vm_get_register(vcpu, VM_REG_GUEST_RBP, &rbp);
VM_REG_GUEST_RBP, /* KDIREG_RBP */
if ((error = vm_set_register(vcpu, VM_REG_GUEST_RBP, zero)) != 0)
case VM_REG_GUEST_RBP:
case VM_REG_GUEST_RBP:
VM_REG_GUEST_RBP,
vie->base_register == VM_REG_GUEST_RBP) {
VM_REG_GUEST_RBP,