> > Can you try
> > 
> >                          ((void *)(md) + (m)->desc_size - 1) < 
> > (m)->map_end;                   \
> > 
> > instead?

with the 'baseline' as referenced + a patched kernel

        > Can you try
        >            ((void *)(md) + (m)->desc_size - 1) < (m)->map_end;        
           \

with efi cmd line opts: +"/mapbs"

The system now boots correctly

        uname -rm
                4.7.0-6-default x86_64

        xl list
                Name                                        ID   Mem VCPUs      
State   Time(s)
                Domain-0                                     0  4096     1     
r-----      52.4
                g1                                           1  2049     1     
-b----      15.0
                g2                                           2  1025     1     
-b----      15.5
                g3                                           3  1025     1     
-b----      16.2
                g4                                           4  1025     1     
-b----      19.6

_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
https://lists.xen.org/xen-devel

Reply via email to