Home
last modified time | relevance | path

Searched refs:VCPU_REGS_R12 (Results 1 – 4 of 4) sorted by relevance

/linux/arch/x86/include/asm/
H A Dkvm_host.h161 VCPU_REGS_R12, enumerator
/linux/arch/x86/kvm/vmx/
H A Dtdx.c1026 BIT(VCPU_REGS_R12) | \
/linux/arch/x86/kvm/svm/
H A Dsev.c1022 save->r12 = svm->vcpu.arch.regs[VCPU_REGS_R12]; in sev_es_sync_vmsa()
H A Dsvm.c3617 "r12:", vcpu->arch.regs[VCPU_REGS_R12], in dump_vmcb()