Searched refs:flowctrl_write_cpu_halt (Results 1 – 3 of 3) sorted by relevance
39 void flowctrl_write_cpu_halt(unsigned int cpuid, u32 value);
59 void flowctrl_write_cpu_halt(unsigned int cpuid, u32 value) in flowctrl_write_cpu_halt() function
140 flowctrl_write_cpu_halt(cpu, 0); in boot_secondary()