Searched refs:linux_os (Results 1 – 1 of 1) sorted by relevance
62 u32 linux_os; member294 bootcpu->linux_os = is_linux; in brought_up_amp()375 if (!g_bootcpu.linux_os && g_bootcpu.entry) { in brought_up_all_amp()