flowctrl_write_cpu_halt
flowctrl_write_cpu_halt(cpu,
flowctrl_write_cpu_halt(cpu, 0);
flowctrl_write_cpu_halt(cpu, 0);
flowctrl_write_cpu_halt(cpu, 0);
void flowctrl_write_cpu_halt(unsigned int cpuid, u32 value);