taglinefilesource code
de600_tx_intr251drivers/net/de600.cstatic int  de600_tx_intr(struct device *dev, int irq_status);
de600_tx_intr518drivers/net/de600.cretrig = de600_tx_intr(dev, irq_status);