On Tue, 23 Jun 2020 at 20:37, Richard Henderson <richard.hender...@linaro.org> 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 <richard.hender...@linaro.org>
Reviewed-by: Peter Maydell <peter.mayd...@linaro.org> thanks -- PMM
