socfpga_scu_base_addr = of_iomap(np, 0); if (!socfpga_scu_base_addr) return;
scu_enable(socfpga_scu_base_addr);
}
#ifdef CONFIG_HOTPLUG_CPU /* * platform-specific code to shutdown a CPU * * Called with IRQs disabled
*/ staticvoid socfpga_cpu_die(unsignedint cpu)
{ /* Do WFI. If we wake up early, go back into WFI */ while (1)
cpu_do_idle();
}
/* * We need a dummy function so that platform_can_cpu_hotplug() knows * we support CPU hotplug. However, the function does not need to do * anything, because CPUs going offline just do WFI. We could reset * the CPUs but it would increase power consumption.
*/ staticint socfpga_cpu_kill(unsignedint cpu)
{ return 1;
} #endif
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.