From 3ff73e57ae6b7aaa3ef0e5549821ea359b96f90c Mon Sep 17 00:00:00 2001 From: Richard Braun Date: Wed, 5 Dec 2012 12:05:36 +0000 Subject: Fix kernel task creation time The mapable_time_init function is called before machine_init, but the latter sets the system boot time. Fix their calling order. * kern/startup.c (setup_main): Call machine_init before mapable_time_init. --- kern/startup.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'kern/startup.c') diff --git a/kern/startup.c b/kern/startup.c index 3bdda16..6dced43 100644 --- a/kern/startup.c +++ b/kern/startup.c @@ -141,10 +141,10 @@ void setup_main() timestamp_init(); - mapable_time_init(); - machine_init(); + mapable_time_init(); + machine_info.max_cpus = NCPUS; machine_info.memory_size = phys_last_addr - phys_first_addr; /* XXX mem_size */ machine_info.avail_cpus = 0; -- cgit v1.2.3