Searched refs:hcpuid (Results 1 – 1 of 1) sorted by relevance
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()