taglinefilesource code
sys_type509arch/alpha/kernel/bios32.cswitch (hwrpb->sys_type) {
sys_type514arch/alpha/kernel/bios32.chwrpb->sys_type);
sys_type140arch/alpha/kernel/setup.csystem_index = (unsigned) (hwrpb->sys_type - 1);
sys_type126include/asm-alpha/hwrpb.hunsigned long sys_type;