taglinefilesource code
PRINTK21234drivers/net/sk_g16.cPRINTK2(("## %s: SK_send_packet() called, CSR0 %#04x.\n", 
PRINTK21319drivers/net/sk_g16.cPRINTK2(("## %s: SK_interrupt(). status: %#06x\n", 
PRINTK21394drivers/net/sk_g16.cPRINTK2(("## %s: SK_txintr() status: %#06x\n", 
PRINTK21513drivers/net/sk_g16.cPRINTK2(("## %s: SK_rxintr(). CSR0: %#06x\n",