Searched refs:xics_default_distrib_server (Results 1 – 2 of 2) sorted by relevance
38 unsigned int xics_default_distrib_server = 0; variable60 xics_default_server = xics_default_distrib_server = hcpuid; in xics_update_irq_servers()79 xics_default_distrib_server = be32_to_cpu(ireg[j+1]); in xics_update_irq_servers()84 xics_default_distrib_server); in xics_update_irq_servers()113 xics_set_cpu_giq(xics_default_distrib_server, 1); in xics_setup_cpu()178 xics_set_cpu_giq(xics_default_distrib_server, 0); in xics_kexec_teardown_cpu()199 xics_set_cpu_giq(xics_default_distrib_server, 0); in xics_migrate_irqs_away()295 return xics_default_distrib_server; in xics_get_irq_server()
88 extern unsigned int xics_default_distrib_server;