Searched refs:hcpuid (Results 1 – 2 of 2) sorted by relevance
178 unsigned long hcpuid; in smp_pSeries_kick_cpu() local180 hcpuid = get_hard_smp_processor_id(nr); in smp_pSeries_kick_cpu()181 rc = plpar_hcall_norets(H_PROD, hcpuid); in smp_pSeries_kick_cpu()
53 u32 hcpuid; in xics_update_irq_servers() local59 hcpuid = get_hard_smp_processor_id(boot_cpuid); in xics_update_irq_servers()60 xics_default_server = xics_default_distrib_server = hcpuid; in xics_update_irq_servers()78 if (be32_to_cpu(ireg[j]) == hcpuid) { in xics_update_irq_servers()