DEB_INT
DEB_INT("irq: RPS0 (0x%08x)\n", isr);
DEB_INT("dev:%p, dmaq:%p, vbi:%d\n", dev, q, vbi);
DEB_INT("next buffer: buf:%p, prev:%p, next:%p\n",
DEB_INT("no next buffer. stopping.\n");
DEB_INT("dev:%p, isr:0x%08x\n", dev, (u32)status);
DEB_INT("irq: RPS0 (0x%08x)\n", isr);
DEB_INT("irq: RPS1 vbi workaround (0x%08x)\n", isr);
DEB_INT("irq: RPS1 (0x%08x)\n", isr);