Re: [Xen-devel] [PATCH v2 2/5] x86/domain: Initialise vcpu debug registers correctly

["Jan Beulich" <JBeulich@xxxxxxxx>]

>>> On 15.10.18 at 12:36, <andrew.cooper3@xxxxxxxxxx> wrote:
> --- a/xen/arch/x86/domain.c
> +++ b/xen/arch/x86/domain.c
> @@ -323,6 +323,18 @@ void free_vcpu_struct(struct vcpu *v)
>      free_xenheap_page(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,
> +    };

Sadly this initializer broke the build once again for gcc 4.3.x.
(As a side note, using .eflags instead of .rflags would have a
fair chance of an omitted REX prefix.)

Jan



_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/mailman/listinfo/xen-devel