tag	line	file	source code
TX_FAILED16	564	drivers/net/de600.c	if (!(irq_status & TX_FAILED16)) {
TX_FAILED16	572	drivers/net/de600.c	if ((free_tx_pages < TX_PAGES) || (irq_status & TX_FAILED16)) {