/* Interrupts are disabled. */voidxics_migrate_irqs_away(void){intcpu =smp_processor_id(), hw_cpu = hard_smp_processor_id();unsignedintirq, virq;structirq_desc*desc;/* If we used to be the default server, move to the new "boot_cpuid" */if(hw_cpu == xics_default_server) xi...
staticintwait_slt_scu_state_sync(unsignedlongstate,intwait){intret =0, i;unsignedlongretry =0;staticvolatileintget_exit =0;staticvolatileintcpu_num =0;unsignedlongall_cpu_mask =0;intcpu =raw_smp_processor_id();//printk("wait_slt_scu_state_sync, cpu%d wait state=%d\n", cpu, state)...