Searched refs:boot_cpu_t (Results 1 – 1 of 1) sorted by relevance
65 } boot_cpu_t; typedef67 static boot_cpu_t g_bootcpu;246 boot_cpu_t *bootcpu, int is_linux) in brought_up_amp()