diff options
-rw-r--r-- | i386/i386/intel_startCPU.c | 8 | ||||
-rw-r--r-- | i386/i386/mp_desc.c | 5 |
2 files changed, 11 insertions, 2 deletions
diff --git a/i386/i386/intel_startCPU.c b/i386/i386/intel_startCPU.c index 8f380942..a0084bf5 100644 --- a/i386/i386/intel_startCPU.c +++ b/i386/i386/intel_startCPU.c @@ -5,6 +5,12 @@ #include <i386/i386/pcb.h> #include <i386/i386/tss.h> #include <i386/i386/cpu.h> +#include <i386/i386/model_dep.h> + +#include <stdio.h> +#include <stdlib.h> + + static struct kmutex mp_cpu_boot_lock; extern int apic2kernel[]; @@ -70,7 +76,7 @@ kern_return_t intel_startCPU(int slot_num) /*if (!cpu_datap(slot_num)->cpu_running) {*/ if(!machine_slot[slot_num].running){ - kprintf("Failed to start CPU %02d\n", slot_num); + printf("Failed to start CPU %02d\n", slot_num); printf("Failed to start CPU %02d, rebooting...\n", slot_num); delay(1000000); halt_cpu(); diff --git a/i386/i386/mp_desc.c b/i386/i386/mp_desc.c index e444b167..95f30640 100644 --- a/i386/i386/mp_desc.c +++ b/i386/i386/mp_desc.c @@ -27,6 +27,8 @@ #if NCPUS > 1 #include <string.h> +#include <stdio.h> +#include <stdlib.h> #include <i386/cpu.h> #include <kern/cpu_number.h> @@ -36,6 +38,7 @@ #include <vm/vm_kern.h> #include <kern/kmutex.h> +#include <i386/model_dep.h> #include <i386/mp_desc.h> #include <i386/lock.h> #include <machine/ktss.h> @@ -232,7 +235,7 @@ kern_return_t intel_startCPU(int slot_num) /*if (!cpu_datap(slot_num)->cpu_running) {*/ if(!machine_slot[slot_num].running){ - kprintf("Failed to start CPU %02d\n", slot_num); + printf("Failed to start CPU %02d\n", slot_num); printf("Failed to start CPU %02d, rebooting...\n", slot_num); delay(1000000); halt_cpu(); |