Hi Vijay, On 31/08/15 12:06, vijay.kil...@gmail.com wrote: > From: Vijaya Kumar K <vijaya.ku...@caviumnetworks.com> > > gic_nr_event_ids() helper to read number of event IDs that > ITS hardware supports.
AFAICT, this new helper is only used for an ASSERT which live in gic-v3-its.c. If that's right, I would prefer to see directly the use of its_data.eventid_bits (which lives within the same file) in the function and drop this patch. Regards, -- Julien Grall _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org http://lists.xen.org/xen-devel