/kernel/trunk/generic/include/arch.h |
66,7 → 66,8 |
|
extern void arch_pre_mm_init(void); |
extern void arch_post_mm_init(void); |
extern void arch_late_init(void); |
extern void arch_pre_smp_init(void); |
extern void arch_post_smp_init(void); |
extern void calibrate_delay_loop(void); |
|
extern ipl_t interrupts_disable(void); |
/kernel/trunk/generic/src/main/main.c |
165,9 → 165,9 |
printf("%P: hardcoded_ktext_size=%dK, hardcoded_kdata_size=%dK\n", |
config.base, hardcoded_ktext_size/1024, hardcoded_kdata_size/1024); |
|
arch_late_init(); |
|
arch_pre_smp_init(); |
smp_init(); |
arch_post_smp_init(); |
printf("config.memory_size=%dM\n", config.memory_size/(1024*1024)); |
printf("config.cpu_count=%d\n", config.cpu_count); |
|
/kernel/trunk/arch/ia64/src/dummy.s |
32,7 → 32,6 |
.global asm_delay_loop |
.global userspace |
.global before_thread_runs_arch |
.global arch_late_init |
.global cpu_sleep |
.global dummy |
.global fpu_enable |
43,7 → 42,6 |
userspace: |
calibrate_delay_loop: |
asm_delay_loop: |
arch_late_init: |
cpu_sleep: |
fpu_init: |
fpu_enable: |
/kernel/trunk/arch/ppc32/src/ppc32.c |
36,10 → 36,14 |
{ |
} |
|
void arch_late_init(void) |
void arch_pre_smp_init(void) |
{ |
} |
|
void arch_post_smp_init(void) |
{ |
} |
|
void calibrate_delay_loop(void) |
{ |
} |
/kernel/trunk/arch/amd64/src/amd64.c |
89,7 → 89,7 |
} |
} |
|
void arch_late_init(void) |
void arch_pre_smp_init(void) |
{ |
if (config.cpu_active == 1) { |
memory_print_map(); |
100,6 → 100,10 |
} |
} |
|
void arch_post_smp_init(void) |
{ |
} |
|
void calibrate_delay_loop(void) |
{ |
i8254_calibrate_delay_loop(); |
/kernel/trunk/arch/mips32/src/mips32.c |
90,10 → 90,14 |
{ |
} |
|
void arch_late_init(void) |
void arch_pre_smp_init(void) |
{ |
} |
|
void arch_post_smp_init(void) |
{ |
} |
|
void userspace(void) |
{ |
/* EXL=1, UM=1, IE=1 */ |
/kernel/trunk/arch/ia32/src/ia32.c |
76,7 → 76,7 |
} |
} |
|
void arch_late_init(void) |
void arch_pre_smp_init(void) |
{ |
if (config.cpu_active == 1) { |
memory_print_map(); |
87,6 → 87,11 |
} |
} |
|
void arch_post_smp_init(void) |
{ |
trap_virtual_enable_irqs(1<<IRQ_KBD); |
} |
|
void calibrate_delay_loop(void) |
{ |
i8254_calibrate_delay_loop(); |