WAIT_FLUSH_RX_COMPLETE  819 drivers/atm/horizon.c   WAIT_FLUSH_RX_COMPLETE(dev);
WAIT_FLUSH_RX_COMPLETE  863 drivers/atm/horizon.c     WAIT_FLUSH_RX_COMPLETE (dev);
WAIT_FLUSH_RX_COMPLETE 1259 drivers/atm/horizon.c   WAIT_FLUSH_RX_COMPLETE (dev);