On 20.06.2022 09:02, Michal Orzel wrote:
> --- a/xen/include/public/physdev.h
> +++ b/xen/include/public/physdev.h
> @@ -211,8 +211,8 @@ struct physdev_manage_pci_ext {
> /* IN */
> uint8_t bus;
> uint8_t devfn;
> - unsigned is_extfn;
> - unsigned is_virtfn;
> + unsigned int is_extfn;
> + unsigned int is_virtfn;It is wrong for us to use unsigned (or unsigned int) here and in sysctl.h. It should be uint32_t instead, and I think this is a great opportunity to correct that mistake. Jan
