1.1 --- a/linux-2.6.11-xen-sparse/arch/xen/i386/kernel/setup.c	Tue May 03 14:27:54 2005 +0000
     1.2 +++ b/linux-2.6.11-xen-sparse/arch/xen/i386/kernel/setup.c	Wed May 11 22:39:52 2005 +0000
     1.3 @@ -1566,12 +1566,19 @@ void __init setup_arch(char **cmdline_p)
     1.4  	if (efi_enabled)
     1.5  		efi_map_memmap();
     1.6  
     1.7 -	/*
     1.8 -	 * Parse the ACPI tables for possible boot-time SMP configuration.
     1.9 -	 */
    1.10 -	acpi_boot_table_init();
    1.11 -	acpi_boot_init();
    1.12 +	if ( !(xen_start_info.flags & SIF_INITDOMAIN) )
    1.13 +	{
    1.14 +	     printk(KERN_INFO "Not running in dom0: Disabling ACPI\n");
    1.15 +	     acpi_disabled = 1;
    1.16 +             acpi_ht = 0;
    1.17 +	}
    1.18  
    1.19 + 	/*
    1.20 + 	 * Parse the ACPI tables for possible boot-time SMP configuration.
    1.21 + 	 */	     
    1.22 +        acpi_boot_table_init();
    1.23 +        acpi_boot_init();
    1.24 +	     
    1.25  #ifdef CONFIG_X86_LOCAL_APIC
    1.26  	if (smp_found_config)
    1.27  		get_smp_config();