include/public: Use uint32_t instead of unsigned (int)
authorMichal Orzel <michal.orzel@arm.com>
Tue, 28 Jun 2022 15:25:11 +0000 (17:25 +0200)
committerJan Beulich <jbeulich@suse.com>
Tue, 28 Jun 2022 15:25:11 +0000 (17:25 +0200)
commit63e165e8916c7bed2a9527615e9de7de25a2143a
tree580a5a7609f08ddf1a8b0a057042a61e602f7e11
parent586868cb352a9de5ad0f2d91136b2bca3d4fb88f
include/public: Use uint32_t instead of unsigned (int)

Public interfaces shall make use of types that indicate size and
signedness. Take the opportunity to also modify places where explicit
unsigned int is used.

Signed-off-by: Michal Orzel <michal.orzel@arm.com>
Reviewed-by: Jan Beulich <jbeulich@suse.com>
xen/include/public/physdev.h
xen/include/public/sysctl.h