pdc_model_sysmodel
int pdc_model_sysmodel(unsigned int os_id, char *name);
pdc_model_sysmodel(OS_ID_MPEXL, name_mpe);
if (pdc_model_sysmodel(OS_ID_HPUX, boot_cpu_data.pdc.sys_model_name) == PDC_OK)
if (pdc_model_sysmodel(OS_ID_MPEXL, serial_no) == PDC_OK &&