Hi Julien, > On Aug 18, 2023, at 05:43, Julien Grall <[email protected]> wrote: > > From: Julien Grall <[email protected]> > > 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 <[email protected]> > ---
Reviewed-by: Henry Wang <[email protected]> Tested-by: Henry Wang <[email protected]> Kind regards, Henry
