/* Returns the CPU_ID value which uniquely identifies the cpu portion of the processor module.  */
int pdc_model_cpuid(unsigned long *cpu_id)
/* Returns the CPU_ID value which uniquely identifies the cpu portion of the processor module.  */
int pdc_model_cpuid(unsigned long *cpu_id)
{
        int retval;
	unsigned long flags;
        spin_lock_irqsave(&pdc_lock, flags);
        pdc_result[0] = 0;
        retval = mem_pdc_call(PDC_MODEL, PDC_MODEL_CPU_ID, __pa(pdc_result), 0);
        convert_to_wide(pdc_result);
        *cpu_id = pdc_result[0];
        spin_unlock_irqrestore(&pdc_lock, flags);
        return retval;
}