taglinefilesource code
PRINTK21233drivers/net/sk_g16.cPRINTK2(("## %s: SK_send_packet() called, CSR0 %#04x.\n", 
PRINTK21318drivers/net/sk_g16.cPRINTK2(("## %s: SK_interrupt(). status: %#06x\n", 
PRINTK21393drivers/net/sk_g16.cPRINTK2(("## %s: SK_txintr() status: %#06x\n", 
PRINTK21512drivers/net/sk_g16.cPRINTK2(("## %s: SK_rxintr(). CSR0: %#06x\n",