3  * Gabriel Huau <contact@huau-gabriel.fr>
7  * SPDX-License-Identifier:	GPL-2.0+
14 #include <asm/arch/imx-regs.h>
33 int cpu_reset(int nr)  in cpu_reset()  argument
35 	/* Software reset of the CPU N */  in cpu_reset()
36 	src->scr |= cpu_reset_mask[nr];  in cpu_reset()
40 int cpu_status(int nr)  in cpu_status()  argument
42 	printf("core %d => %d\n", nr, !!(src->scr & cpu_ctrl_mask[nr]));  in cpu_status()
46 int cpu_release(int nr, int argc, char *const argv[])  in cpu_release()  argument
52 	switch (nr) {  in cpu_release()
54 		src->gpr3 = boot_addr;  in cpu_release()
57 		src->gpr5 = boot_addr;  in cpu_release()
60 		src->gpr7 = boot_addr;  in cpu_release()
66 	/* CPU N is ready to start */  in cpu_release()
67 	src->scr |= cpu_ctrl_mask[nr];  in cpu_release()
82 int cpu_disable(int nr)  in cpu_disable()  argument
84 	/* Disable the CPU N */  in cpu_disable()
85 	src->scr &= ~cpu_ctrl_mask[nr];  in cpu_disable()