Re: [PATCH v4 4/6] arm/mpu: Destroy an existing entry in Xen MPU memory mapping table

[Hari Limaye]

Hi Michal,

> NIT: In this patch you start adding mpu: prefix, even though other messages do
> not have it. I don't think it's needed.
> 
> Otherwise:
> Reviewed-by: Michal Orzel <michal.or...@amd.com>
> 
> ~Michal
> 

Would you like me to respin for this change, or can it be addressed on commit?

Many thanks,
Hari