FLUSH_RX_CHANNEL  862 drivers/atm/horizon.c     FLUSH_RX_CHANNEL (dev, vc);
FLUSH_RX_CHANNEL  998 drivers/atm/horizon.c 	FLUSH_RX_CHANNEL (dev, dev->rx_channel);
FLUSH_RX_CHANNEL 1340 drivers/atm/horizon.c   FLUSH_RX_CHANNEL (dev,rx_channel);