672 static int rx_give (amb_dev * dev, rx_in * rx, unsigned char pool) {  in rx_give()
697 static int rx_take (amb_dev * dev, unsigned char pool) {  in rx_take()
730 static void drain_rx_pool (amb_dev * dev, unsigned char pool) {  in drain_rx_pool()
757   unsigned char pool;  in drain_rx_pools()  local
765 static void fill_rx_pool (amb_dev * dev, unsigned char pool,  in fill_rx_pool()
803   unsigned char pool;  in fill_rx_pools()  local
852     unsigned char pool;  in interrupt_handler()  local
1011   unsigned char pool = -1; // hush gcc  in amb_open()  local
1250     unsigned char pool = vcc->rx_info.pool;  in amb_close()  local
1412   unsigned char pool;  in amb_proc_read()  local
1498   unsigned char pool;  in create_queues()  local
1974   unsigned char pool;  in amb_talk()  local
2126       unsigned char pool;  in setup_dev()  local
2299   unsigned char pool;  in amb_check_args()  local