Searched refs:VCPU_REGS_R8 (Results 1 – 4 of 4) sorted by relevance
157 VCPU_REGS_R8 = 8, enumerator
1022 BIT(VCPU_REGS_R8) | \1316 regs[VCPU_REGS_R8 + index] = module_regs[index]; in tdx_report_fatal_error()
1018 save->r8 = svm->vcpu.arch.regs[VCPU_REGS_R8]; in sev_es_sync_vmsa()
3611 "r8:", vcpu->arch.regs[VCPU_REGS_R8], in dump_vmcb()