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