taglinefilesource code
de600_rx_intr252drivers/net/de600.cstatic void  de600_rx_intr(struct device *dev);
de600_rx_intr512drivers/net/de600.cde600_rx_intr(dev);