Hi Julien, > On Aug 18, 2023, at 05:43, Julien Grall <jul...@xen.org> wrote: > > From: Julien Grall <jgr...@amazon.com> > > The number of virtual MMIO regions cannot be negative. So switch > the field 'num_entries' and 'max_num_entries' to 'unsigned int'. > > The new type is then propagated to the caller and the vGIC > code. > > Signed-off-by: Julien Grall <jgr...@amazon.com> > ---
Reviewed-by: Henry Wang <henry.w...@arm.com> Tested-by: Henry Wang <henry.w...@arm.com> Kind regards, Henry
