DBELL_INF 414 drivers/rapidio/devices/tsi721.c if ((dbell->res->start <= DBELL_INF(idb.bytes)) && DBELL_INF 415 drivers/rapidio/devices/tsi721.c (dbell->res->end >= DBELL_INF(idb.bytes))) { DBELL_INF 423 drivers/rapidio/devices/tsi721.c DBELL_TID(idb.bytes), DBELL_INF(idb.bytes)); DBELL_INF 428 drivers/rapidio/devices/tsi721.c DBELL_INF(idb.bytes));