ach61@boulderdash.cl.cam.ac.uk
ach61@labyrinth.cl.cam.ac.uk
ach61@soar.cl.cam.ac.uk
+adsharma@linux-t08.sc.intel.com
akw27@arcadians.cl.cam.ac.uk
akw27@boulderdash.cl.cam.ac.uk
akw27@labyrinth.cl.cam.ac.uk
//#include <xen/console.h>
//#include <xen/serial.h>
#include <xen/trace.h>
-#include <linux/interrupt.h>
//#include <asm/shadow.h>
//#include <asm/io.h>
//#include <asm/uaccess.h>
SLAB_HWCACHE_ALIGN|SLAB_PANIC, NULL, NULL);
printk("About to call scheduler_init()\n");
scheduler_init();
- cli();
+ local_irq_disable();
printk("About to call time_init()\n");
time_init();
printk("About to call ac_timer_init()\n");
#endif
domain_unpause_by_systemcontroller(dom0);
domain0_ready = 1;
- sti();
+ local_irq_enable();
printk("About to call startup_cpu_idle_loop()\n");
startup_cpu_idle_loop();
}