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));