Searched refs:hcpuid (Results 1 – 2 of 2) sorted by relevance
174 unsigned long hcpuid; in smp_pSeries_kick_cpu() local176 hcpuid = get_hard_smp_processor_id(nr); in smp_pSeries_kick_cpu()177 rc = plpar_hcall_norets(H_PROD, hcpuid); in smp_pSeries_kick_cpu()
54 u32 hcpuid; in xics_update_irq_servers() local60 hcpuid = get_hard_smp_processor_id(boot_cpuid); in xics_update_irq_servers()61 xics_default_server = xics_default_distrib_server = hcpuid; in xics_update_irq_servers()79 if (be32_to_cpu(ireg[j]) == hcpuid) { in xics_update_irq_servers()
