1
2
3
4
5
6
7#include <common.h>
8#include <command.h>
9
10
11static int __arch_auxiliary_core_up(u32 core_id, u32 boot_private_data)
12{
13
14 return CMD_RET_FAILURE;
15}
16
17int arch_auxiliary_core_up(u32 core_id, u32 boot_private_data)
18 __attribute__((weak, alias("__arch_auxiliary_core_up")));
19
20
21static int __arch_auxiliary_core_check_up(u32 core_id)
22{
23
24 return 0;
25}
26
27int arch_auxiliary_core_check_up(u32 core_id)
28 __attribute__((weak, alias("__arch_auxiliary_core_check_up")));
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43int do_bootaux(cmd_tbl_t *cmdtp, int flag, int argc, char * const argv[])
44{
45 ulong addr;
46 int ret, up;
47
48 if (argc < 2)
49 return CMD_RET_USAGE;
50
51 up = arch_auxiliary_core_check_up(0);
52 if (up) {
53 printf("## Auxiliary core is already up\n");
54 return CMD_RET_SUCCESS;
55 }
56
57 addr = simple_strtoul(argv[1], NULL, 16);
58
59 printf("## Starting auxiliary core at 0x%08lX ...\n", addr);
60
61 ret = arch_auxiliary_core_up(0, addr);
62 if (ret)
63 return CMD_RET_FAILURE;
64
65 return CMD_RET_SUCCESS;
66}
67
68U_BOOT_CMD(
69 bootaux, CONFIG_SYS_MAXARGS, 1, do_bootaux,
70 "Start auxiliary core",
71 ""
72);
73