DBG_POOL          733 drivers/atm/ambassador.c   PRINTD (DBG_FLOW|DBG_POOL, "drain_rx_pool %p %hu", dev, pool);
DBG_POOL          759 drivers/atm/ambassador.c   PRINTD (DBG_FLOW|DBG_POOL, "drain_rx_pools %p", dev);
DBG_POOL          771 drivers/atm/ambassador.c   PRINTD (DBG_FLOW|DBG_POOL, "fill_rx_pool %p %hu %x", dev, pool, priority);
DBG_POOL          781 drivers/atm/ambassador.c       PRINTD (DBG_SKB|DBG_POOL, "failed to allocate skb for RX pool %hu", pool);
DBG_POOL          805 drivers/atm/ambassador.c   PRINTD (DBG_FLOW|DBG_POOL, "fill_rx_pools %p", dev);
DBG_POOL         1093 drivers/atm/ambassador.c 	PRINTD (DBG_VCC|DBG_QOS|DBG_POOL, "chose pool %hu (max_sdu %u <= %u)",
DBG_POOL         1098 drivers/atm/ambassador.c       PRINTD (DBG_WARN|DBG_VCC|DBG_QOS|DBG_POOL,
DBG_POOL         1396 drivers/atm/ambassador.c     PRINTD (DBG_SKB|DBG_POOL, "recycled skb for pool %hu", pool);