On 06.05.19 07:47, Heinrich Schuchardt wrote: > Consistently use efi_uintn_t as type of memory keys. > > Signed-off-by: Heinrich Schuchardt <xypron.glpk at gmx.de> Reviewed-by: Alexander Graf <graf at amazon.com> Alex