tag	line	file	source code
DBG_IO2	3729	drivers/cdrom/sbpcd.c	msg(DBG_IO2,"ioctl(%d, 0x%08lX, 0x%08lX)\n",
DBG_IO2	3751	drivers/cdrom/sbpcd.c	msg(DBG_IO2,"ioctl: device %d, request %04X\n",i,cmd);