imx_enable_cpu
void imx_enable_cpu(int cpu, bool enable);
imx_enable_cpu(cpu, false);
imx_enable_cpu(cpu, true);