Searched refs:cpu_num (Results 1 – 1 of 1) sorted by relevance
| /platform/pc/ |
| A D | mp.c | 35 uintptr_t cpu_num; member
42 uint cpu_num = args->cpu_num; in secondary_entry() local
51 x86_secondary_entry(cpu_num); in secondary_entry()
54 static status_t start_cpu(uint cpu_num, uint32_t apic_id, struct bootstrap_args *args) { in start_cpu() argument
55 LTRACEF("cpu_num %u, apic_id %u\n", cpu_num, apic_id); in start_cpu()
94 printf("PC: failed to start cpu %u\n", cpu_num); in start_cpu()
98 LTRACEF("cpu %u booted\n", cpu_num); in start_cpu()
178 args->cpu_num = i; in platform_start_secondary_cpus()
183 …LTRACEF("args for cpu %lu: trampoline_cr3 %#lx, stack_top 0x%lx\n", args->cpu_num, args->trampolin… in platform_start_secondary_cpus()
|
Completed in 5 milliseconds