Searched refs:hcpuid (Results 1 – 2 of 2) sorted by relevance
171 unsigned long hcpuid; in smp_pSeries_kick_cpu() local173 hcpuid = get_hard_smp_processor_id(nr); in smp_pSeries_kick_cpu()174 rc = plpar_hcall_norets(H_PROD, hcpuid); in smp_pSeries_kick_cpu()
49 u32 hcpuid; in xics_update_irq_servers() local55 hcpuid = get_hard_smp_processor_id(boot_cpuid); in xics_update_irq_servers()56 xics_default_server = xics_default_distrib_server = hcpuid; in xics_update_irq_servers()74 if (be32_to_cpu(ireg[j]) == hcpuid) { in xics_update_irq_servers()