Searched refs:VCPU_REGS_RBP (Results 1 – 4 of 4) sorted by relevance
153 VCPU_REGS_RBP = __VCPU_REGS_RBP, enumerator
1019 BIT(VCPU_REGS_RBP) | \
1014 save->rbp = svm->vcpu.arch.regs[VCPU_REGS_RBP]; in sev_es_sync_vmsa()
3607 "rbp:", vcpu->arch.regs[VCPU_REGS_RBP], in dump_vmcb()