VCPU_REGS_R10
save->r10 = svm->vcpu.arch.regs[VCPU_REGS_R10];
"r10:", vcpu->arch.regs[VCPU_REGS_R10],
BIT_ULL(VCPU_REGS_R10) | \