Searched refs:__boot_cpu_id (Results 1 – 2 of 2) sorted by relevance
178 extern int __boot_cpu_id;182 return __boot_cpu_id; in get_boot_cpu_id()
1632 int __boot_cpu_id; variable2649 __boot_cpu_id = cpu; in boot_cpu_init()
