Searched refs:__boot_cpu_id (Results 1 – 4 of 4) sorted by relevance
177 extern int __boot_cpu_id;181 return __boot_cpu_id; in get_boot_cpu_id()
1639 int __boot_cpu_id; variable2656 __boot_cpu_id = cpu; in boot_cpu_init()
160387 ffff8000120eecb8 B __boot_cpu_id
Completed in 390 milliseconds