1 // SPDX-License-Identifier: GPL-2.0+
4  * Gabriel Huau <contact@huau-gabriel.fr>
13 #include <asm/arch/imx-regs.h>
32 int cpu_reset(u32 nr)  in cpu_reset()  argument
34 	/* Software reset of the CPU N */  in cpu_reset()
35 	src->scr |= cpu_reset_mask[nr];  in cpu_reset()
39 int cpu_status(u32 nr)  in cpu_status()  argument
41 	printf("core %d => %d\n", nr, !!(src->scr & cpu_ctrl_mask[nr]));  in cpu_status()
45 int cpu_release(u32 nr, int argc, char *const argv[])  in cpu_release()  argument
51 	switch (nr) {  in cpu_release()
53 		src->gpr3 = boot_addr;  in cpu_release()
56 		src->gpr5 = boot_addr;  in cpu_release()
59 		src->gpr7 = boot_addr;  in cpu_release()
65 	/* CPU N is ready to start */  in cpu_release()
66 	src->scr |= cpu_ctrl_mask[nr];  in cpu_release()
81 int cpu_disable(u32 nr)  in cpu_disable()  argument
83 	/* Disable the CPU N */  in cpu_disable()
84 	src->scr &= ~cpu_ctrl_mask[nr];  in cpu_disable()