flowctrl_write_cpu_halt
void flowctrl_write_cpu_halt(unsigned int cpuid, u32 value)
static inline void flowctrl_write_cpu_halt(unsigned int cpuid, u32 value) {}