Searched refs:ap_cpuid (Results 1 – 1 of 1) sorted by relevance
29 static int ap_callin, ap_cpuid; variable74 printf(" - CPU%d ... ", ap_cpuid); in ap_start()92 ap_cpuid = cpu; in boot_cpu()
Completed in 3 milliseconds