WriteIrq
status_t WriteIrq(
return static_cast<DWPCIController*>(cookie)->WriteIrq(bus, device, function, pin, irq);
status_t WriteIrq(
return static_cast<ECAMPCIController*>(cookie)->WriteIrq(bus, device, function, pin, irq);
status_t WriteIrq(
return static_cast<X86PCIController*>(cookie)->WriteIrq(bus, device, function, pin, irq);