From 0a1fa635029d100d4b6b7eddb31d49603217cab7 Mon Sep 17 00:00:00 2001 From: Andrew Cooper Date: Mon, 29 Oct 2018 11:29:54 +0000 Subject: [PATCH] x86/domain: Fix build with GCC 4.3.x GCC 4.3.x can't initialise the user_regs structure like this. Reported-by: Jan Beulich Signed-off-by: Andrew Cooper Reviewed-by: Wei Liu Acked-by: Jan Beulich --- xen/arch/x86/domain.c | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/xen/arch/x86/domain.c b/xen/arch/x86/domain.c index d63b71c9f9..19692e2193 100644 --- a/xen/arch/x86/domain.c +++ b/xen/arch/x86/domain.c @@ -326,9 +326,8 @@ void free_vcpu_struct(struct vcpu *v) /* Initialise various registers to their architectural INIT/RESET state. */ void arch_vcpu_regs_init(struct vcpu *v) { - v->arch.user_regs = (typeof(v->arch.user_regs)){ - .rflags = X86_EFLAGS_MBS, - }; + memset(&v->arch.user_regs, 0, sizeof(v->arch.user_regs)); + v->arch.user_regs.eflags = X86_EFLAGS_MBS; memset(v->arch.debugreg, 0, sizeof(v->arch.debugreg)); v->arch.debugreg[6] = X86_DR6_DEFAULT; -- 2.30.2