x86/domain: Fix build with GCC 4.3.x
authorAndrew Cooper <andrew.cooper3@citrix.com>
Mon, 29 Oct 2018 11:29:54 +0000 (11:29 +0000)
committerAndrew Cooper <andrew.cooper3@citrix.com>
Tue, 30 Oct 2018 13:26:21 +0000 (13:26 +0000)
commit0a1fa635029d100d4b6b7eddb31d49603217cab7
tree7d430d56df776ca685d81a506a55c38f87c663d9
parentce75973a273f6cacce2b2b8ace1d3ab4b304c361
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 <JBeulich@suse.com>
Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
Reviewed-by: Wei Liu <wei.liu2@citrix.com>
Acked-by: Jan Beulich <jbeulich@suse.com>
xen/arch/x86/domain.c