On Tue, 23 Jun 2020 at 20:37, Richard Henderson <[email protected]> wrote: > > We need to check the memattr of a page in order to determine > whether it is Tagged for MTE. Between Stage1 and Stage2, > this becomes simpler if we always collect this data, instead > of occasionally being presented with NULL. > > Use the nonnull attribute to allow the compiler to check that > all pointer arguments are non-null. > > Signed-off-by: Richard Henderson <[email protected]>
Reviewed-by: Peter Maydell <[email protected]> thanks -- PMM
