@@ -29,21 +29,27 @@ extern unsigned long callthru_tcl(const char *str, int len);
29
29
30
30
static void mambo_sreset_cpu (struct cpu_thread * cpu )
31
31
{
32
+ uint32_t chip_id = pir_to_chip_id (cpu -> pir );
32
33
uint32_t core_id = pir_to_core_id (cpu -> pir );
33
34
uint32_t thread_id = pir_to_thread_id (cpu -> pir );
34
35
char tcl_cmd [50 ];
35
36
36
- snprintf (tcl_cmd , sizeof (tcl_cmd ), "mysim cpu 0:%i:%i start_thread 0x100" , core_id , thread_id );
37
+ snprintf (tcl_cmd , sizeof (tcl_cmd ),
38
+ "mysim cpu %i:%i:%i start_thread 0x100" ,
39
+ chip_id , core_id , thread_id );
37
40
callthru_tcl (tcl_cmd , strlen (tcl_cmd ));
38
41
}
39
42
40
43
static void mambo_stop_cpu (struct cpu_thread * cpu )
41
44
{
45
+ uint32_t chip_id = pir_to_chip_id (cpu -> pir );
42
46
uint32_t core_id = pir_to_core_id (cpu -> pir );
43
47
uint32_t thread_id = pir_to_thread_id (cpu -> pir );
44
48
char tcl_cmd [50 ];
45
49
46
- snprintf (tcl_cmd , sizeof (tcl_cmd ), "mysim cpu 0:%i:%i stop_thread" , core_id , thread_id );
50
+ snprintf (tcl_cmd , sizeof (tcl_cmd ),
51
+ "mysim cpu %i:%i:%i stop_thread" ,
52
+ chip_id , core_id , thread_id );
47
53
callthru_tcl (tcl_cmd , strlen (tcl_cmd ));
48
54
}
49
55
0 commit comments