Searched refs:__boot_cpu_id (Results 1 – 1 of 1) sorted by relevance
1372 int __boot_cpu_id; variable2369 __boot_cpu_id = cpu; in boot_cpu_init()