On Tue, 18 May 2010, Jeremy Fitzhardinge wrote:oid *xen_initial_gdt;> > > > +int xen_have_vector_callback;> > > > BTW, this can be a __read_mostly.> I'll do that, thanks.