taglinefilesource code
bio232arch/alpha/kernel/bios32.cunsigned int l, tio, bio, tmem, bmem;
bio243arch/alpha/kernel/bios32.cbio = io_base = ALIGN(io_base, 4*KB);
bio274arch/alpha/kernel/bios32.cl = l | (bio >> 8) | ((tio - 1) & 0xf000);