Searched refs:VCPU_REGS_R11 (Results 1 – 4 of 4) sorted by relevance
160 VCPU_REGS_R11, enumerator
1025 BIT(VCPU_REGS_R11) | \
1021 save->r11 = svm->vcpu.arch.regs[VCPU_REGS_R11]; in sev_es_sync_vmsa()
3615 "r11:", vcpu->arch.regs[VCPU_REGS_R11]); in dump_vmcb()