taglinefilesource code
if_num366drivers/block/cmd640.cstatic void cmd640_set_timing(int if_num, int dr_num, int r1, int r2) {
if_num372drivers/block/cmd640.cb_reg = if_num ? ARTTIM23 : dr_num ? ARTTIM1 : ARTTIM0;
if_num374drivers/block/cmd640.cif (if_num == 0) {
if_num473drivers/block/cmd640.cstatic void set_pio_mode(int if_num, int drv_num, int mode_num) {
if_num477drivers/block/cmd640.cp_base = if_num ? 0x170 : 0x1f0;
if_num3311drivers/net/ppp.cint    if_num;
if_num3319drivers/net/ppp.cif_num   = 0;
if_num3326drivers/net/ppp.cif (++if_num == max_dev)
if_num3341drivers/net/ppp.cppp->line      = if_num;
if_num3348drivers/net/ppp.cdev->base_addr = (unsigned long) if_num;
if_num3351drivers/net/ppp.csprintf (dev->name, "ppp%d", if_num);