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()
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 (ireg[j] == hcpuid) { in xics_update_irq_servers()