Re: [Xen-devel] [PATCH] x86: assert MBI is large enough in pvh-boot.c

[Wei Liu <wei.liu2@xxxxxxxxxx>]

On Wed, Sep 26, 2018 at 06:07:30AM -0600, Jan Beulich wrote:
> >>> On 26.09.18 at 13:00, <wei.liu2@xxxxxxxxxx> wrote:
> > --- a/xen/arch/x86/guest/pvh-boot.c
> > +++ b/xen/arch/x86/guest/pvh-boot.c
> > @@ -44,6 +44,13 @@ static void __init convert_pvh_info(void)
> >  
> >      ASSERT(pvh_info->magic == XEN_HVM_START_MAGIC_VALUE);
> >  
> > +    /*
> > +     * Temporary MBI array needs to be at least one element bigger than
> > +     * required. The extra element is used to aid relocation. See
> > +     * arch/x86/setup.c:__start_xen().
> > +     */
> > +    ASSERT(ARRAY_SIZE(pvh_mbi_mods) > pvh_info->nr_modules);
> 
> Are ASSERT()s (also the other one in context) actually the right thing
> here? I think we'd better panic(): That'll also cover release builds and
> is imo more appropriate for data coming from the outside.

Okay.

Wei.

> 
> Jan
> 
> 

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