From c0275e9556ae6110a416d3bc8e54025ec7732732 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Axel=20D=C3=B6rfler?= Date: Sat, 2 Aug 2008 16:23:22 +0000 Subject: [PATCH] * Minor cleanup. git-svn-id: file:///srv/svn/repos/haiku/haiku/trunk@26734 a95241bf-73f2-0310-859d-f6bbb57e9c96 --- src/system/boot/platform/bios_ia32/start.c | 15 +++++++++------ 1 file changed, 9 insertions(+), 6 deletions(-) diff --git a/src/system/boot/platform/bios_ia32/start.c b/src/system/boot/platform/bios_ia32/start.c index 2440336e6e..d1c28599c5 100644 --- a/src/system/boot/platform/bios_ia32/start.c +++ b/src/system/boot/platform/bios_ia32/start.c @@ -1,5 +1,5 @@ /* - * Copyright 2003-2006, Axel Dörfler, axeld@pinc-software.de. All rights reserved. + * Copyright 2003-2008, Axel Dörfler, axeld@pinc-software.de. * Distributed under the terms of the MIT License. */ @@ -47,10 +47,10 @@ clear_bss(void) static void call_ctors(void) -{ +{ void (**f)(void); - for (f = &__ctor_list; f < &__ctor_end; f++) { + for (f = &__ctor_list; f < &__ctor_end; f++) { (**f)(); } } @@ -74,14 +74,16 @@ platform_start_kernel(void) // something goes wrong when we pass &gKernelArgs directly // to the assembler inline below - might be a bug in GCC // or I don't see something important... - addr_t stackTop = gKernelArgs.cpu_kstack[0].start + gKernelArgs.cpu_kstack[0].size; + addr_t stackTop + = gKernelArgs.cpu_kstack[0].start + gKernelArgs.cpu_kstack[0].size; smp_init_other_cpus(); serial_cleanup(); mmu_init_for_kernel(); smp_boot_other_cpus(); - dprintf("kernel entry at %lx\n", gKernelArgs.kernel_image.elf_header.e_entry); + dprintf("kernel entry at %lx\n", + gKernelArgs.kernel_image.elf_header.e_entry); asm("movl %0, %%eax; " // move stack out of way "movl %%eax, %%esp; " @@ -127,7 +129,8 @@ _start(void) // wait a bit to give the user the opportunity to press a key spin(750000); - // reading the keyboard doesn't seem to work in graphics mode (maybe a bochs problem) + // reading the keyboard doesn't seem to work in graphics mode + // (maybe a bochs problem) sBootOptions = check_for_boot_keys(); //if (sBootOptions & BOOT_OPTION_DEBUG_OUTPUT) serial_enable();