#include <asm/setup.h>
#include <linux/ckrm.h>
-#ifdef CONFIG_CKRM_CPU_SCHEDULE
int __init init_ckrm_sched_res(void);
-#else
-#define init_ckrm_sched_res() ((void)0)
-#endif
-//#include <linux/ckrm_sched.h>
+
/*
* This is one of the first .c files built. Error out early
enum system_states system_state;
EXPORT_SYMBOL(system_state);
-/*
- * The kernel_magic value represents the address of _end, which allows
- * namelist tools to "match" each other respectively. That way a tool
- * that looks at /dev/mem can verify that it is using the right System.map
- * file -- if kernel_magic doesn't equal the namelist value of _end,
- * something's wrong.
- */
-extern unsigned long _end;
-unsigned long *kernel_magic = &_end;
-
/*
* Boot command-line arguments
*/
* printk() and can access its per-cpu storage.
*/
smp_prepare_boot_cpu();
-
/*
* Set up the scheduler prior starting any interrupts (such as the
* timer interrupt). Full topology setup happens at smp_init()
* firmware files.
*/
populate_rootfs();
-
do_basic_setup();
-
init_ckrm_sched_res();
sched_init_smp();