Searched refs:xics_default_distrib_server (Results 1 – 2 of 2) sorted by relevance
34 unsigned int xics_default_distrib_server = 0; variable56 xics_default_server = xics_default_distrib_server = hcpuid; in xics_update_irq_servers()75 xics_default_distrib_server = be32_to_cpu(ireg[j+1]); in xics_update_irq_servers()80 xics_default_distrib_server); in xics_update_irq_servers()109 xics_set_cpu_giq(xics_default_distrib_server, 1); in xics_setup_cpu()174 xics_set_cpu_giq(xics_default_distrib_server, 0); in xics_kexec_teardown_cpu()195 xics_set_cpu_giq(xics_default_distrib_server, 0); in xics_migrate_irqs_away()301 return xics_default_distrib_server; in xics_get_irq_server()
97 extern unsigned int xics_default_distrib_server;
