[dpdk-dev] [PATCH v2] vfio: fix pci_vfio_map_resource

[Thomas Monjalon]

2016-07-14 17:15, Yong Wang:
> -                             void *second_addr = RTE_PTR_ADD(bar_addr, 
> memreg[1].offset);
> +                             void *second_addr = RTE_PTR_ADD(bar_addr,
> +                                                             
> memreg[1].offset - reg.offset);

There is an error for 32-bit:
        error: cast to pointer from integer of different size
        note: in expansion of macro ?RTE_PTR_ADD?