PCI driver for GPGPU-Sim