Ian Campbell wrote:
> On Wed, 2014-03-26 at 19:09 +0000, Stefano Stabellini wrote:
> - hide quoted text -- show quoted text -
>> >  Replace unsigned long with xen_ulong_t in public/platform.h.
>> >  Also replace unsigned int with uint32_t for clarity. It is safe because
>> >  unsigned int are 4 byte sized and 4 byte aligned an all the supported
>> >  architectures.
>> >  
>> >  Signed-off-by: Stefano Stabellini<stefano.stabellini@eu.citrix.com>
>
> Acked-by: Ian Campbell<ian.campbell@citrix.com>
Seems a good idea to me.

Acked-by: Keir Fraser <keir@xen.org>