On Mon, Aug 17, 2009 at 06:04:55PM +0300, Pasi Kärkkäinen wrote:
> On Fri, Aug 14, 2009 at 05:15:38PM +0300, Pasi Kärkkäinen wrote:
> > On Thu, Aug 13, 2009 at 01:17:40PM -0700, Jeremy Fitzhardinge wrote:
> > > On 08/11/09 12:58, Pasi Kärkkäinen wrote:
> > > > I just added some debug printk()'s to the very beginning of the
> > > > function and found out this:
> > > >
> > > > DEBUG active_evtchns: cpu: 0, sh: 4117237760, idx: 0
> > > > DEBUG sh->evtchn_pending: 4117239808, sh->evtchn_mask: 4117239936
> > > > DEBUG cpu_evtchn_mask(cpu): 0
> > > >
> > > > so.. looks like the buggy piece of code (null pointer dereference) is:
> > > > cpu_evtchn_mask(cpu)[idx]
> > > >
> > > >
> > >
> > > I pushed something that looks like a fix for this. Please tell me how
> > > it goes.
> > >
> >
>
> .. and now it boots just fine, no crashes anymore!
>
> Thanks a lot!
>
Just for the record I'm still using CONFIG_HIGHPTE=n since I believe that is
still broken on 32bit.
-- Pasi
_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-devel
|
Home