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