VCPU_REGS_R8...VCPU_REGS_R15 are not defined on 32-bit x86,
so cull them from the synchronization of the VMSA.
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
        save->rbp = svm->vcpu.arch.regs[VCPU_REGS_RBP];
        save->rsi = svm->vcpu.arch.regs[VCPU_REGS_RSI];
        save->rdi = svm->vcpu.arch.regs[VCPU_REGS_RDI];
+#ifdef CONFIG_X86_64
        save->r8  = svm->vcpu.arch.regs[VCPU_REGS_R8];
        save->r9  = svm->vcpu.arch.regs[VCPU_REGS_R9];
        save->r10 = svm->vcpu.arch.regs[VCPU_REGS_R10];
        save->r13 = svm->vcpu.arch.regs[VCPU_REGS_R13];
        save->r14 = svm->vcpu.arch.regs[VCPU_REGS_R14];
        save->r15 = svm->vcpu.arch.regs[VCPU_REGS_R15];
+#endif
        save->rip = svm->vcpu.arch.regs[VCPU_REGS_RIP];
 
        /* Sync some non-GPR registers before encrypting */