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