Searched refs:OS_ID_MPEXL (Results 1 – 3 of 3) sorted by relevance
103 case OS_ID_MPEXL: return "MPE-iX"; in os_id_to_string()
339 #define OS_ID_MPEXL 2 /* MPE XL OS */ macro
280 if (pdc_model_sysmodel(OS_ID_MPEXL, serial_no) == PDC_OK && in collect_boot_cpu_data()