Searched refs:xics_default_distrib_server (Results 1 – 2 of 2) sorted by relevance
39 unsigned int xics_default_distrib_server = 0; variable61 xics_default_server = xics_default_distrib_server = hcpuid; in xics_update_irq_servers()80 xics_default_distrib_server = be32_to_cpu(ireg[j+1]); in xics_update_irq_servers()85 xics_default_distrib_server); in xics_update_irq_servers()114 xics_set_cpu_giq(xics_default_distrib_server, 1); in xics_setup_cpu()179 xics_set_cpu_giq(xics_default_distrib_server, 0); in xics_kexec_teardown_cpu()200 xics_set_cpu_giq(xics_default_distrib_server, 0); in xics_migrate_irqs_away()306 return xics_default_distrib_server; in xics_get_irq_server()
97 extern unsigned int xics_default_distrib_server;
