/trunk/kernel/arch/sparc64/src/sparc64.c |
---|
50,7 → 50,7 |
bootinfo_t bootinfo; |
/** Perform sparc64-specific initialization before main_bsp() is called. */ |
/** Perform sparc64 specific initialization before main_bsp() is called. */ |
void arch_pre_main(void) |
{ |
/* Copy init task info. */ |
/trunk/kernel/arch/ia64/src/ia64.c |
---|
70,7 → 70,6 |
static uint64_t iosapic_base = 0xfec00000; |
/** Performs ia64-specific initialization before main_bsp() is called. */ |
void arch_pre_main(void) |
{ |
/* Setup usermode init tasks. */ |
/trunk/kernel/arch/arm32/src/arm32.c |
---|
49,7 → 49,7 |
#include <userspace.h> |
#include <macros.h> |
/** Performs arm32-specific initialization before main_bsp() is called. */ |
/** Performs arm32 specific initialization before main_bsp() is called. */ |
void arch_pre_main(void *entry __attribute__((unused)), bootinfo_t *bootinfo) |
{ |
unsigned int i; |
/trunk/kernel/arch/ppc32/src/ppc32.c |
---|
51,7 → 51,6 |
bootinfo_t bootinfo; |
/** Performs ppc32-specific initialization before main_bsp() is called. */ |
void arch_pre_main(void) |
{ |
init.cnt = bootinfo.taskmap.count; |
/trunk/kernel/arch/mips32/src/mips32.c |
---|
76,7 → 76,6 |
count_t cpu_count = 0; |
/** Performs mips32-specific initialization before main_bsp() is called. */ |
void arch_pre_main(void *entry __attribute__((unused)), bootinfo_t *bootinfo) |
{ |
/* Setup usermode */ |