TSI721_INT_SR2PC_CHAN
if (dev_ch_int & TSI721_INT_SR2PC_CHAN(IDB_QUEUE)) {
intr = TSI721_INT_SR2PC_CHAN(IDB_QUEUE) |
intr = TSI721_INT_SR2PC_CHAN(IDB_QUEUE);