void __init cpu_init(void) { #if defined(CONFIG_SMP) u32 cpu = vmm_smp_processor_id(); if (!cpu) { /* Primary CPU */ vmm_init(); } else { /* Secondary CPUs */ vmm_init_secondary(); } #else /* Initialize VMM (APIs only available after this) */ vmm_init(); #endif /* We will never come back here. */ vmm_hang(); }
void __init cpu_init(void) { #if defined(CONFIG_SMP) u32 cpu = vmm_smp_processor_id(); #if defined(ARCH_HAS_DEFTERM_EARLY_PRINT) arch_defterm_early_putc('0'+cpu); #endif if (!cpu) { /* Primary CPU */ vmm_init(); } else { /* Secondary CPUs */ vmm_init_secondary(); } #else /* Initialize VMM (APIs only available after this) */ vmm_init(); #endif /* We will never come back here. */ vmm_hang(); }