Re: [PATCH libdrm] Fix void pointer arithmetic in drmProcessPciDevice