start_cpu
if (start_cpu(id, intr->ArmMpidr, domain, 0)) {
if (!start_cpu(cpuid, target_cpu, 0, release_addr))
cell_t start_cpu;
start_cpu = rtas_token_lookup("start-cpu");
if (start_cpu == -1) {
result = rtas_call_method(start_cpu, 3, 1, pc->pc_hwref, EXC_RST, pc,