tx_quota         3062 drivers/atm/iphase.c              vcc->tx_quota =  vcc->tx_quota * 3 / 4;
tx_quota         3063 drivers/atm/iphase.c             printk("Tx1:  vcc->tx_quota = %d \n", (u32)vcc->tx_quota );
tx_quota         3065 drivers/atm/iphase.c               iavcc->saved_tx_quota = vcc->tx_quota;
tx_quota         3068 drivers/atm/iphase.c              printk("Tx2:  vcc->tx_quota = %d \n", (u32)vcc->tx_quota );