Displaying 1 result from an estimated 1 matches for "idle_domain_id".
2006 Aug 08
0
[PATCH] fix ia64 per cpu setup ordering
...006 -0600
@@ -423,13 +423,14 @@ void start_kernel(void)
(xenheap_phys_end-__pa(heap_start)) >> 20,
(xenheap_phys_end-__pa(heap_start)) >> 10);
+ late_setup_arch(&cmdline);
+
scheduler_init();
idle_vcpu[0] = (struct vcpu*) ia64_r13;
idle_domain = domain_create(IDLE_DOMAIN_ID);
if ( (idle_domain == NULL) || (alloc_vcpu(idle_domain, 0, 0) ==
NULL) )
BUG();
- late_setup_arch(&cmdline);
alloc_dom_xen_and_dom_io();
setup_per_cpu_areas();
mem_init();
_______________________________________________
Xen-devel mailing list
Xen-devel@list...