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