VCPU_REGS_R8
save->r8 = svm->vcpu.arch.regs[VCPU_REGS_R8];
"r8:", vcpu->arch.regs[VCPU_REGS_R8],
BIT_ULL(VCPU_REGS_R8) | \
regs[VCPU_REGS_R8 + index] = module_regs[index];