static u32_t acpi_phys2vir(u32_t p)
{
if(!vm_running) {
- printf("acpi: returning 0x%lx as vir addr\n", p);
+ DEBUGEXTRA(("acpi: returning 0x%lx as vir addr\n", p));
return p;
}
panic("acpi: can't get virtual address of arbitrary physical address");
exit:
if (msg) {
- printf("acpi: %s\n", msg);
+ DEBUGBASIC(("acpi: %s\n", msg));
}
}
tsc_per_ms[cpu] = (unsigned long)(cpu_get_freq(cpu) / 1000);
lapic_set_timer_one_shot(1000000 / system_hz);
} else {
- BOOT_VERBOSE(printf("Initiating legacy i8253 timer\n"));
+ DEBUGBASIC(("Initiating legacy i8253 timer\n"));
#else
{
#endif
#if defined(USE_APIC) && !defined(CONFIG_SMP)
if (config_no_apic) {
- BOOT_VERBOSE(printf("APIC disabled, using legacy PIC\n"));
+ DEBUGBASIC(("APIC disabled, using legacy PIC\n"));
}
else if (!apic_single_cpu_init()) {
- BOOT_VERBOSE(printf("APIC not present, using legacy PIC\n"));
+ DEBUGBASIC(("APIC not present, using legacy PIC\n"));
}
#endif
/* select the right set of IPC routines to map into processes */
if(minix_feature_flags & MKF_I386_INTEL_SYSENTER) {
- printf("kernel: selecting intel sysenter ipc style\n");
+ DEBUGBASIC(("kernel: selecting intel sysenter ipc style\n"));
minix_kerninfo.minix_ipcvecs = &minix_ipcvecs_sysenter;
} else if(minix_feature_flags & MKF_I386_AMD_SYSCALL) {
- printf("kernel: selecting amd syscall ipc style\n");
+ DEBUGBASIC(("kernel: selecting amd syscall ipc style\n"));
minix_kerninfo.minix_ipcvecs = &minix_ipcvecs_syscall;
} else {
- printf("kernel: selecting fallback (int) ipc style\n");
+ DEBUGBASIC(("kernel: selecting fallback (int) ipc style\n"));
minix_kerninfo.minix_ipcvecs = &minix_ipcvecs_softint;
}
arch_ser_init();
#endif
/* We can talk now */
- printf("MINIX booting\n");
+ DEBUGBASIC(("MINIX booting\n"));
/* Kernel may use bits of main memory before VM is started */
kernel_may_alloc = 1;
#ifdef CONFIG_SMP
if (config_no_apic) {
- BOOT_VERBOSE(printf("APIC disabled, disables SMP, using legacy PIC\n"));
+ DEBUGBASIC(("APIC disabled, disables SMP, using legacy PIC\n"));
smp_single_cpu_fallback();
} else if (config_no_smp) {
- BOOT_VERBOSE(printf("SMP disabled, using legacy PIC\n"));
+ DEBUGBASIC(("SMP disabled, using legacy PIC\n"));
smp_single_cpu_fallback();
} else {
smp_init();
u64_t freq;
freq = cpu_get_freq(cpu);
- printf("CPU %d freq %lu MHz\n", cpu, (unsigned long)(freq / 1000000));
+ DEBUGBASIC(("CPU %d freq %lu MHz\n", cpu, (unsigned long)(freq / 1000000)));
}
int is_fpu(void)
#default for the beagleboard-xM
CONSOLE=tty02
#verbosity
-VERBOSE=3
+VERBOSE=0
HZ=1000
while getopts "c:v:h:p:n?" c