687 static int rx_give (amb_dev * dev, rx_in * rx, unsigned char pool) {  in rx_give()
712 static int rx_take (amb_dev * dev, unsigned char pool) {  in rx_take()
745 static void drain_rx_pool (amb_dev * dev, unsigned char pool) {  in drain_rx_pool()
772   unsigned char pool;  in drain_rx_pools()  local
780 static void fill_rx_pool (amb_dev * dev, unsigned char pool,  in fill_rx_pool()
818   unsigned char pool;  in fill_rx_pools()  local
867     unsigned char pool;  in interrupt_handler()  local
1026   unsigned char pool = -1; // hush gcc  in amb_open()  local
1265     unsigned char pool = vcc->rx_info.pool;  in amb_close()  local
1427   unsigned char pool;  in amb_proc_read()  local
1513   unsigned char pool;  in create_queues()  local
1984   unsigned char pool;  in amb_talk()  local
2134       unsigned char pool;  in setup_dev()  local
2308   unsigned char pool;  in amb_check_args()  local