Hi, I'm not sure this started with 4.0 but when I rmmod the device driver like so rmmod vmwgfx The device loses its IRQ line as shown in lscpi: Flags: bus master, medium devsel, latency 64 <irq missing here> and a subsequent modprobe will fail since pdev->irq is 0. Is anyone else seeing this with other drivers? Thanks, Thomas