1.1 --- a/xen/arch/ia64/xen/xenmem.c	Fri Dec 24 08:47:59 2010 +0000
     1.2 +++ b/xen/arch/ia64/xen/xenmem.c	Fri Dec 24 10:10:45 2010 +0000
     1.3 @@ -30,7 +30,7 @@
     1.4  	((1UL << (PAGE_SHIFT - 3)) - 1)))
     1.5  
     1.6  static unsigned long table_size;
     1.7 -static int opt_contig_mem = 0;
     1.8 +static bool_t __read_mostly opt_contig_mem;
     1.9  boolean_param("contig_mem", opt_contig_mem);
    1.10  #else
    1.11  #define opt_contig_mem 1

     2.1 --- a/xen/arch/ia64/xen/xensetup.c	Fri Dec 24 08:47:59 2010 +0000
     2.2 +++ b/xen/arch/ia64/xen/xensetup.c	Fri Dec 24 10:10:45 2010 +0000
     2.3 @@ -56,7 +56,7 @@ extern void trap_init(void);
     2.4  extern void xen_patch_kernel(void);
     2.5  
     2.6  /* nosmp: ignore secondary processors */
     2.7 -static int __initdata opt_nosmp;
     2.8 +static bool_t __initdata opt_nosmp;
     2.9  boolean_param("nosmp", opt_nosmp);
    2.10  
    2.11  /* maxcpus: maximum number of CPUs to activate */
    2.12 @@ -70,7 +70,7 @@ static int __initdata opt_xencons = 1;
    2.13  integer_param("xencons", opt_xencons);
    2.14  
    2.15  /* xencons_poll: toggle non-legacy xencons UARTs to run in polling mode */
    2.16 -static int __initdata opt_xencons_poll;
    2.17 +static bool_t __initdata opt_xencons_poll;
    2.18  boolean_param("xencons_poll", opt_xencons_poll);
    2.19  
    2.20  #define XENHEAP_DEFAULT_SIZE    KERNEL_TR_PAGE_SIZE
    2.21 @@ -148,7 +148,7 @@ struct ns16550_defaults ns16550_com2 = {
    2.22  };
    2.23  
    2.24  /* efi_print: print efi table at boot */
    2.25 -static int __initdata opt_efi_print;
    2.26 +static bool_t __initdata opt_efi_print;
    2.27  boolean_param("efi_print", opt_efi_print);
    2.28  
    2.29  /* print EFI memory map: */

     3.1 --- a/xen/arch/x86/acpi/boot.c	Fri Dec 24 08:47:59 2010 +0000
     3.2 +++ b/xen/arch/x86/acpi/boot.c	Fri Dec 24 10:10:45 2010 +0000
     3.3 @@ -53,22 +53,20 @@ int sbf_port;
     3.4  #define PREFIX			"ACPI: "
     3.5  
     3.6  #ifdef CONFIG_ACPI_PCI
     3.7 -int acpi_noirq __initdata;	/* skip ACPI IRQ initialization */
     3.8 -int acpi_pci_disabled __initdata; /* skip ACPI PCI scan and IRQ initialization */
     3.9 +bool_t __initdata acpi_noirq;	/* skip ACPI IRQ initialization */
    3.10 +bool_t __initdata acpi_pci_disabled; /* skip ACPI PCI scan and IRQ initialization */
    3.11  #else
    3.12 -int acpi_noirq __initdata = 1;
    3.13 -int acpi_pci_disabled __initdata = 1;
    3.14 +bool_t __initdata acpi_noirq = 1;
    3.15 +bool_t __initdata acpi_pci_disabled = 1;
    3.16  #endif
    3.17 -int acpi_ht __initdata = 1;	/* enable HT */
    3.18 +bool_t __initdata acpi_ht = 1;	/* enable HT */
    3.19  
    3.20 -int acpi_lapic;
    3.21 -int acpi_ioapic;
    3.22 -int acpi_strict;
    3.23 -EXPORT_SYMBOL(acpi_strict);
    3.24 +bool_t __initdata acpi_lapic;
    3.25 +bool_t __initdata acpi_ioapic;
    3.26  
    3.27  u8 acpi_sci_flags __initdata;
    3.28  int acpi_sci_override_gsi __initdata;
    3.29 -int acpi_skip_timer_override __initdata;
    3.30 +bool_t acpi_skip_timer_override __initdata;
    3.31  
    3.32  #ifdef CONFIG_X86_LOCAL_APIC
    3.33  static u64 acpi_lapic_addr __initdata = APIC_DEFAULT_PHYS_BASE;
    3.34 @@ -687,8 +685,6 @@ static void __init acpi_process_madt(voi
    3.35  	return;
    3.36  }
    3.37  
    3.38 -extern int acpi_force;
    3.39 -
    3.40  #ifdef __i386__
    3.41  
    3.42  static int __init disable_acpi_irq(struct dmi_system_id *d)

     4.1 --- a/xen/arch/x86/acpi/cpu_idle.c	Fri Dec 24 08:47:59 2010 +0000
     4.2 +++ b/xen/arch/x86/acpi/cpu_idle.c	Fri Dec 24 10:10:45 2010 +0000
     4.3 @@ -79,7 +79,7 @@ extern void menu_get_trace_data(u32 *exp
     4.4  static void (*pm_idle_save) (void) __read_mostly;
     4.5  unsigned int max_cstate __read_mostly = ACPI_PROCESSOR_MAX_POWER - 1;
     4.6  integer_param("max_cstate", max_cstate);
     4.7 -static int local_apic_timer_c2_ok __read_mostly = 0;
     4.8 +static bool_t __read_mostly local_apic_timer_c2_ok;
     4.9  boolean_param("lapic_timer_c2_ok", local_apic_timer_c2_ok);
    4.10  
    4.11  static struct acpi_processor_power *__read_mostly processor_powers[NR_CPUS];

     5.1 --- a/xen/arch/x86/apic.c	Fri Dec 24 08:47:59 2010 +0000
     5.2 +++ b/xen/arch/x86/apic.c	Fri Dec 24 10:10:45 2010 +0000
     5.3 @@ -38,8 +38,8 @@
     5.4  #include <mach_apic.h>
     5.5  #include <io_ports.h>
     5.6  
     5.7 -static int tdt_enabled __read_mostly;
     5.8 -static int tdt_enable __initdata = 1;
     5.9 +static bool_t tdt_enabled __read_mostly;
    5.10 +static bool_t tdt_enable __initdata = 1;
    5.11  boolean_param("tdt", tdt_enable);
    5.12  
    5.13  static struct {
    5.14 @@ -71,11 +71,11 @@ static int enable_local_apic __initdata 
    5.15   */
    5.16  int apic_verbosity;
    5.17  
    5.18 -static int opt_x2apic = 1;
    5.19 +static bool_t __initdata opt_x2apic = 1;
    5.20  boolean_param("x2apic", opt_x2apic);
    5.21  
    5.22 -int x2apic_enabled __read_mostly = 0;
    5.23 -int directed_eoi_enabled __read_mostly = 0;
    5.24 +bool_t __read_mostly x2apic_enabled = 0;
    5.25 +bool_t __read_mostly directed_eoi_enabled = 0;
    5.26  
    5.27  /*
    5.28   * The following vectors are part of the Linux architecture, there
    5.29 @@ -162,7 +162,7 @@ void __init apic_intr_init(void)
    5.30  /* Using APIC to generate smp_local_timer_interrupt? */
    5.31  static bool_t __read_mostly using_apic_timer;
    5.32  
    5.33 -static int enabled_via_apicbase;
    5.34 +static bool_t __read_mostly enabled_via_apicbase;
    5.35  
    5.36  void enable_NMI_through_LVT0 (void * dummy)
    5.37  {

     6.1 --- a/xen/arch/x86/cpu/amd.c	Fri Dec 24 08:47:59 2010 +0000
     6.2 +++ b/xen/arch/x86/cpu/amd.c	Fri Dec 24 10:10:45 2010 +0000
     6.3 @@ -234,7 +234,7 @@ int cpu_has_amd_erratum(const struct cpu
     6.4   * amd_flush_filter={on,off}. Forcibly Enable or disable the TLB flush
     6.5   * filter on AMD 64-bit processors.
     6.6   */
     6.7 -static int __read_mostly flush_filter_force;
     6.8 +static s8 __devinit flush_filter_force;
     6.9  static void __init flush_filter(char *s)
    6.10  {
    6.11  	switch (parse_bool(s))

     7.1 --- a/xen/arch/x86/cpu/common.c	Fri Dec 24 08:47:59 2010 +0000
     7.2 +++ b/xen/arch/x86/cpu/common.c	Fri Dec 24 10:10:45 2010 +0000
     7.3 @@ -19,10 +19,13 @@
     7.4  #define disable_pse 0
     7.5  
     7.6  static int cachesize_override __cpuinitdata = -1;
     7.7 -static int disable_x86_fxsr __cpuinitdata;
     7.8 -static int disable_x86_serial_nr __cpuinitdata;
     7.9 +size_param("cachesize", cachesize_override);
    7.10 +static bool_t __cpuinitdata disable_x86_fxsr;
    7.11 +boolean_param("nofxsr", disable_x86_fxsr);
    7.12 +static bool_t __cpuinitdata disable_x86_serial_nr;
    7.13 +boolean_param("noserialnumber", disable_x86_serial_nr);
    7.14  
    7.15 -static int use_xsave;
    7.16 +static bool_t __cpuinitdata use_xsave;
    7.17  boolean_param("xsave", use_xsave);
    7.18  unsigned int __devinitdata opt_cpuid_mask_ecx = ~0u;
    7.19  integer_param("cpuid_mask_ecx", opt_cpuid_mask_ecx);
    7.20 @@ -68,9 +71,7 @@ static struct cpu_dev default_cpu = {
    7.21  };
    7.22  static struct cpu_dev * this_cpu = &default_cpu;
    7.23  
    7.24 -integer_param("cachesize", cachesize_override);
    7.25 -
    7.26 -int __cpuinitdata opt_cpu_info;
    7.27 +bool_t __cpuinitdata opt_cpu_info;
    7.28  boolean_param("cpuinfo", opt_cpu_info);
    7.29  
    7.30  int __cpuinit get_model_name(struct cpuinfo_x86 *c)
    7.31 @@ -196,9 +197,6 @@ static void __cpuinit get_cpu_vendor(str
    7.32  }
    7.33  
    7.34  
    7.35 -boolean_param("nofxsr", disable_x86_fxsr);
    7.36 -
    7.37 -
    7.38  /* Standard macro to see if a specific flag is changeable */
    7.39  static inline int flag_is_changeable_p(unsigned long flag)
    7.40  {
    7.41 @@ -345,9 +343,6 @@ static void __cpuinit squash_the_stupid_
    7.42  	}
    7.43  }
    7.44  
    7.45 -boolean_param("noserialnumber", disable_x86_serial_nr);
    7.46 -
    7.47 -
    7.48  
    7.49  /*
    7.50   * This does the hard work of actually picking apart the CPU stuff...

     8.1 --- a/xen/arch/x86/cpu/mcheck/mce.c	Fri Dec 24 08:47:59 2010 +0000
     8.2 +++ b/xen/arch/x86/cpu/mcheck/mce.c	Fri Dec 24 10:10:45 2010 +0000
     8.3 @@ -23,13 +23,12 @@
     8.4  
     8.5  #include "mce.h"
     8.6  
     8.7 -int mce_disabled;
     8.8 +bool_t __read_mostly mce_disabled;
     8.9  invbool_param("mce", mce_disabled);
    8.10 -int is_mc_panic;
    8.11 -unsigned int nr_mce_banks;
    8.12 -
    8.13 -int mce_broadcast = 0;
    8.14 -int firstbank;
    8.15 +bool_t __read_mostly mce_broadcast = 0;
    8.16 +bool_t is_mc_panic;
    8.17 +unsigned int __read_mostly nr_mce_banks;
    8.18 +int __read_mostly firstbank;
    8.19  
    8.20  static void intpose_init(void);
    8.21  static void mcinfo_clear(struct mc_info *);

     9.1 --- a/xen/arch/x86/cpu/mcheck/mce.h	Fri Dec 24 08:47:59 2010 +0000
     9.2 +++ b/xen/arch/x86/cpu/mcheck/mce.h	Fri Dec 24 10:10:45 2010 +0000
     9.3 @@ -128,10 +128,9 @@ struct mca_summary {
     9.4  DECLARE_PER_CPU(struct mca_banks *, poll_bankmask);
     9.5  DECLARE_PER_CPU(struct mca_banks *, no_cmci_banks);
     9.6  
     9.7 -extern int cmci_support;
     9.8 -extern int ser_support;
     9.9 -extern int is_mc_panic;
    9.10 -extern int mce_broadcast;
    9.11 +extern bool_t cmci_support;
    9.12 +extern bool_t is_mc_panic;
    9.13 +extern bool_t mce_broadcast;
    9.14  extern void mcheck_mca_clearbanks(struct mca_banks *);
    9.15  
    9.16  extern mctelem_cookie_t mcheck_mca_logout(enum mca_source, struct mca_banks *,

    10.1 --- a/xen/arch/x86/cpu/mcheck/mce_intel.c	Fri Dec 24 08:47:59 2010 +0000
    10.2 +++ b/xen/arch/x86/cpu/mcheck/mce_intel.c	Fri Dec 24 10:10:45 2010 +0000
    10.3 @@ -20,9 +20,9 @@
    10.4  DEFINE_PER_CPU(struct mca_banks *, mce_banks_owned);
    10.5  DEFINE_PER_CPU(struct mca_banks *, no_cmci_banks);
    10.6  DEFINE_PER_CPU(struct mca_banks *, mce_clear_banks);
    10.7 -int cmci_support = 0;
    10.8 -int ser_support = 0;
    10.9 -static int mce_force_broadcast;
   10.10 +bool_t __read_mostly cmci_support = 0;
   10.11 +static bool_t __read_mostly ser_support = 0;
   10.12 +static bool_t __read_mostly mce_force_broadcast;
   10.13  boolean_param("mce_fb", mce_force_broadcast);
   10.14  
   10.15  static int nr_intel_ext_msrs = 0;
   10.16 @@ -1135,7 +1135,8 @@ static int mce_is_broadcast(struct cpuin
   10.17  /* Check and init MCA */
   10.18  static void intel_init_mca(struct cpuinfo_x86 *c)
   10.19  {
   10.20 -    int broadcast, cmci=0, ser=0, ext_num = 0, first;
   10.21 +    bool_t broadcast, cmci = 0, ser = 0;
   10.22 +    int ext_num = 0, first;
   10.23      uint64_t msr_content;
   10.24  
   10.25      broadcast = mce_is_broadcast(c);

    11.1 --- a/xen/arch/x86/cpu/mcheck/x86_mca.h	Fri Dec 24 08:47:59 2010 +0000
    11.2 +++ b/xen/arch/x86/cpu/mcheck/x86_mca.h	Fri Dec 24 10:10:45 2010 +0000
    11.3 @@ -179,7 +179,7 @@ struct mca_error_handler
    11.4  };
    11.5  
    11.6  /* Global variables */
    11.7 -extern int mce_disabled;
    11.8 +extern bool_t mce_disabled;
    11.9  extern unsigned int nr_mce_banks;
   11.10  
   11.11  #endif /* X86_MCA_H */

    12.1 --- a/xen/arch/x86/dmi_scan.c	Fri Dec 24 08:47:59 2010 +0000
    12.2 +++ b/xen/arch/x86/dmi_scan.c	Fri Dec 24 10:10:45 2010 +0000
    12.3 @@ -200,8 +200,6 @@ static __init int reset_videomode_after_
    12.4  
    12.5  
    12.6  #ifdef	CONFIG_ACPI_BOOT
    12.7 -extern int acpi_force;
    12.8 -
    12.9  static __init __attribute__((unused)) int dmi_disable_acpi(struct dmi_blacklist *d) 
   12.10  { 
   12.11  	if (!acpi_force) { 

    13.1 --- a/xen/arch/x86/domain_build.c	Fri Dec 24 08:47:59 2010 +0000
    13.2 +++ b/xen/arch/x86/domain_build.c	Fri Dec 24 10:10:45 2010 +0000
    13.3 @@ -100,7 +100,7 @@ struct vcpu *__init alloc_dom0_vcpu0(voi
    13.4      return alloc_vcpu(dom0, 0, 0);
    13.5  }
    13.6  
    13.7 -static unsigned int __initdata opt_dom0_shadow;
    13.8 +static bool_t __initdata opt_dom0_shadow;
    13.9  boolean_param("dom0_shadow", opt_dom0_shadow);
   13.10  
   13.11  static char __initdata opt_dom0_ioports_disable[200] = "";

    14.1 --- a/xen/arch/x86/e820.c	Fri Dec 24 08:47:59 2010 +0000
    14.2 +++ b/xen/arch/x86/e820.c	Fri Dec 24 10:10:45 2010 +0000
    14.3 @@ -25,11 +25,11 @@ static unsigned long long __initdata opt
    14.4  size_param("availmem", opt_availmem);
    14.5  
    14.6  /* opt_nomtrr_check: Don't clip ram to highest cacheable MTRR. */
    14.7 -static int __initdata e820_mtrr_clip = -1;
    14.8 +static s8 __initdata e820_mtrr_clip = -1;
    14.9  boolean_param("e820-mtrr-clip", e820_mtrr_clip);
   14.10  
   14.11  /* opt_e820_verbose: Be verbose about clipping, the original e820, &c */
   14.12 -static int __initdata e820_verbose;
   14.13 +static bool_t __initdata e820_verbose;
   14.14  boolean_param("e820-verbose", e820_verbose);
   14.15  
   14.16  struct e820map e820;
   14.17 @@ -429,7 +429,7 @@ static void __init clip_to_limit(uint64_
   14.18  /* Conservative estimate of top-of-RAM by looking for MTRR WB regions. */
   14.19  #define MSR_MTRRphysBase(reg) (0x200 + 2 * (reg))
   14.20  #define MSR_MTRRphysMask(reg) (0x200 + 2 * (reg) + 1)
   14.21 -static uint64_t mtrr_top_of_ram(void)
   14.22 +static uint64_t __init mtrr_top_of_ram(void)
   14.23  {
   14.24      uint32_t eax, ebx, ecx, edx;
   14.25      uint64_t mtrr_cap, mtrr_def, addr_mask, base, mask, top;

    15.1 --- a/xen/arch/x86/genapic/x2apic.c	Fri Dec 24 08:47:59 2010 +0000
    15.2 +++ b/xen/arch/x86/genapic/x2apic.c	Fri Dec 24 10:10:45 2010 +0000
    15.3 @@ -27,7 +27,7 @@
    15.4  #include <xen/smp.h>
    15.5  #include <asm/mach-default/mach_mpparse.h>
    15.6  
    15.7 -static int __initdata x2apic_phys; /* By default we use logical cluster mode. */
    15.8 +static bool_t __initdata x2apic_phys; /* By default we use logical cluster mode. */
    15.9  boolean_param("x2apic_phys", x2apic_phys);
   15.10  
   15.11  static void init_apic_ldr_x2apic_phys(void)

    16.1 --- a/xen/arch/x86/hpet.c	Fri Dec 24 08:47:59 2010 +0000
    16.2 +++ b/xen/arch/x86/hpet.c	Fri Dec 24 10:10:45 2010 +0000
    16.3 @@ -72,7 +72,7 @@ unsigned long hpet_address;
    16.4   * if RTC interrupts are enabled. Enable this option if want to always enable
    16.5   * legacy hpet broadcast for deep C state
    16.6   */
    16.7 -int force_hpet_broadcast;
    16.8 +static bool_t __read_mostly force_hpet_broadcast;
    16.9  boolean_param("hpetbroadcast", force_hpet_broadcast);
   16.10  
   16.11  /*

    17.1 --- a/xen/arch/x86/hvm/hvm.c	Fri Dec 24 08:47:59 2010 +0000
    17.2 +++ b/xen/arch/x86/hvm/hvm.c	Fri Dec 24 10:10:45 2010 +0000
    17.3 @@ -62,7 +62,7 @@
    17.4  #include <public/version.h>
    17.5  #include <public/memory.h>
    17.6  
    17.7 -int hvm_enabled __read_mostly;
    17.8 +bool_t __read_mostly hvm_enabled;
    17.9  
   17.10  unsigned int opt_hvm_debug_level __read_mostly;
   17.11  integer_param("hvm_debug", opt_hvm_debug_level);

    18.1 --- a/xen/arch/x86/hvm/quirks.c	Fri Dec 24 08:47:59 2010 +0000
    18.2 +++ b/xen/arch/x86/hvm/quirks.c	Fri Dec 24 10:10:45 2010 +0000
    18.3 @@ -23,7 +23,7 @@
    18.4  #include <xen/bitmap.h>
    18.5  #include <asm/hvm/support.h>
    18.6  
    18.7 -int __read_mostly hvm_port80_allowed = -1;
    18.8 +s8 __read_mostly hvm_port80_allowed = -1;
    18.9  boolean_param("hvm_port80", hvm_port80_allowed);
   18.10  
   18.11  static int __init dmi_hvm_deny_port80(/*const*/ struct dmi_system_id *id)

    19.1 --- a/xen/arch/x86/hvm/vmx/vmcs.c	Fri Dec 24 08:47:59 2010 +0000
    19.2 +++ b/xen/arch/x86/hvm/vmx/vmcs.c	Fri Dec 24 10:10:45 2010 +0000
    19.3 @@ -38,10 +38,10 @@
    19.4  #include <asm/shadow.h>
    19.5  #include <asm/tboot.h>
    19.6  
    19.7 -static int __read_mostly opt_vpid_enabled = 1;
    19.8 +static bool_t __read_mostly opt_vpid_enabled = 1;
    19.9  boolean_param("vpid", opt_vpid_enabled);
   19.10  
   19.11 -static int __read_mostly opt_unrestricted_guest_enabled = 1;
   19.12 +static bool_t __read_mostly opt_unrestricted_guest_enabled = 1;
   19.13  boolean_param("unrestricted_guest", opt_unrestricted_guest_enabled);
   19.14  
   19.15  /*

    20.1 --- a/xen/arch/x86/hvm/vpmu.c	Fri Dec 24 08:47:59 2010 +0000
    20.2 +++ b/xen/arch/x86/hvm/vpmu.c	Fri Dec 24 10:10:45 2010 +0000
    20.3 @@ -33,7 +33,7 @@
    20.4  #include <asm/hvm/svm/svm.h>
    20.5  #include <asm/hvm/svm/vmcb.h>
    20.6  
    20.7 -static int __read_mostly opt_vpmu_enabled;
    20.8 +static bool_t __read_mostly opt_vpmu_enabled;
    20.9  boolean_param("vpmu", opt_vpmu_enabled);
   20.10  
   20.11  int vpmu_do_wrmsr(unsigned int msr, uint64_t msr_content)

    21.1 --- a/xen/arch/x86/io_apic.c	Fri Dec 24 08:47:59 2010 +0000
    21.2 +++ b/xen/arch/x86/io_apic.c	Fri Dec 24 10:10:45 2010 +0000
    21.3 @@ -43,7 +43,7 @@ static struct { int pin, apic; } ioapic_
    21.4  
    21.5  static DEFINE_SPINLOCK(ioapic_lock);
    21.6  
    21.7 -int skip_ioapic_setup;
    21.8 +bool_t __read_mostly skip_ioapic_setup;
    21.9  
   21.10  #ifndef sis_apic_bug
   21.11  /*
   21.12 @@ -619,7 +619,7 @@ void /*__init*/ setup_ioapic_dest(void)
   21.13      int pin, ioapic, irq, irq_entry;
   21.14      struct irq_cfg *cfg;
   21.15  
   21.16 -    if (skip_ioapic_setup == 1)
   21.17 +    if (skip_ioapic_setup)
   21.18          return;
   21.19  
   21.20      for (ioapic = 0; ioapic < nr_ioapics; ioapic++) {

    22.1 --- a/xen/arch/x86/irq.c	Fri Dec 24 08:47:59 2010 +0000
    22.2 +++ b/xen/arch/x86/irq.c	Fri Dec 24 10:10:45 2010 +0000
    22.3 @@ -25,7 +25,7 @@
    22.4  #include <public/physdev.h>
    22.5  
    22.6  /* opt_noirqbalance: If true, software IRQ balancing/affinity is disabled. */
    22.7 -int __read_mostly opt_noirqbalance = 0;
    22.8 +bool_t __read_mostly opt_noirqbalance = 0;
    22.9  boolean_param("noirqbalance", opt_noirqbalance);
   22.10  
   22.11  unsigned int __read_mostly nr_irqs_gsi = 16;

    23.1 --- a/xen/arch/x86/mm.c	Fri Dec 24 08:47:59 2010 +0000
    23.2 +++ b/xen/arch/x86/mm.c	Fri Dec 24 10:10:45 2010 +0000
    23.3 @@ -137,7 +137,7 @@ l1_pgentry_t __attribute__ ((__section__
    23.4  #define PTE_UPDATE_WITH_CMPXCHG
    23.5  #endif
    23.6  
    23.7 -int mem_hotplug = 0;
    23.8 +bool_t __read_mostly mem_hotplug = 0;
    23.9  
   23.10  /* Private domain structs for DOMID_XEN and DOMID_IO. */
   23.11  struct domain *dom_xen, *dom_io, *dom_cow;
   23.12 @@ -152,7 +152,7 @@ unsigned long __read_mostly pdx_group_va
   23.13  
   23.14  #define PAGE_CACHE_ATTRS (_PAGE_PAT|_PAGE_PCD|_PAGE_PWT)
   23.15  
   23.16 -int opt_allow_superpage;
   23.17 +bool_t __read_mostly opt_allow_superpage;
   23.18  boolean_param("allowsuperpage", opt_allow_superpage);
   23.19  
   23.20  #ifdef __i386__

    24.1 --- a/xen/arch/x86/mm/p2m.c	Fri Dec 24 08:47:59 2010 +0000
    24.2 +++ b/xen/arch/x86/mm/p2m.c	Fri Dec 24 10:10:45 2010 +0000
    24.3 @@ -40,7 +40,7 @@
    24.4  #define P2M_DEBUGGING 0
    24.5  
    24.6  /* turn on/off 1GB host page table support for hap */
    24.7 -static int opt_hap_1gb = 0;
    24.8 +static bool_t __read_mostly opt_hap_1gb;
    24.9  boolean_param("hap_1gb", opt_hap_1gb);
   24.10  
   24.11  /* Printouts */

    25.1 --- a/xen/arch/x86/platform_hypercall.c	Fri Dec 24 08:47:59 2010 +0000
    25.2 +++ b/xen/arch/x86/platform_hypercall.c	Fri Dec 24 10:10:45 2010 +0000
    25.3 @@ -177,7 +177,6 @@ ret_t do_platform_op(XEN_GUEST_HANDLE(xe
    25.4  
    25.5      case XENPF_platform_quirk:
    25.6      {
    25.7 -        extern int opt_noirqbalance;
    25.8          int quirk_id = op->u.platform_quirk.quirk_id;
    25.9  
   25.10          ret = xsm_platform_quirk(quirk_id);

    26.1 --- a/xen/arch/x86/setup.c	Fri Dec 24 08:47:59 2010 +0000
    26.2 +++ b/xen/arch/x86/setup.c	Fri Dec 24 10:10:45 2010 +0000
    26.3 @@ -50,7 +50,7 @@ extern u8 boot_edid_info[128];
    26.4  extern struct boot_video_info boot_vid_info;
    26.5  
    26.6  /* opt_nosmp: If true, secondary processors are ignored. */
    26.7 -static int __initdata opt_nosmp = 0;
    26.8 +static bool_t __initdata opt_nosmp;
    26.9  boolean_param("nosmp", opt_nosmp);
   26.10  
   26.11  /* maxcpus: maximum number of CPUs to activate. */
   26.12 @@ -58,7 +58,7 @@ static unsigned int __initdata max_cpus 
   26.13  integer_param("maxcpus", max_cpus);
   26.14  
   26.15  /* opt_watchdog: If true, run a watchdog NMI on each processor. */
   26.16 -static int __initdata opt_watchdog = 0;
   26.17 +static bool_t __initdata opt_watchdog;
   26.18  boolean_param("watchdog", opt_watchdog);
   26.19  
   26.20  /* **** Linux config option: propagated to domain0. */
   26.21 @@ -80,10 +80,10 @@ boolean_param("noapic", skip_ioapic_setu
   26.22  
   26.23  /* **** Linux config option: propagated to domain0. */
   26.24  /* xen_cpuidle: xen control cstate. */
   26.25 -/*static*/ int xen_cpuidle = -1;
   26.26 +s8 __read_mostly xen_cpuidle = -1;
   26.27  boolean_param("cpuidle", xen_cpuidle);
   26.28  
   26.29 -int early_boot = 1;
   26.30 +bool_t __read_mostly early_boot = 1;
   26.31  
   26.32  cpumask_t __read_mostly cpu_present_map;
   26.33  
   26.34 @@ -103,9 +103,8 @@ struct cpuinfo_x86 __read_mostly boot_cp
   26.35  
   26.36  unsigned long __read_mostly mmu_cr4_features = X86_CR4_PSE | X86_CR4_PGE | X86_CR4_PAE;
   26.37  
   26.38 -int __read_mostly acpi_disabled;
   26.39 -
   26.40 -int __read_mostly acpi_force;
   26.41 +bool_t __initdata acpi_disabled;
   26.42 +bool_t __initdata acpi_force;
   26.43  static char __initdata acpi_param[10] = "";
   26.44  static void __init parse_acpi_param(char *s)
   26.45  {
   26.46 @@ -123,10 +122,6 @@ static void __init parse_acpi_param(char
   26.47          acpi_ht = 1;
   26.48          acpi_disabled = 0;
   26.49      }
   26.50 -    else if ( !strcmp(s, "strict") )
   26.51 -    {
   26.52 -        acpi_strict = 1;
   26.53 -    }
   26.54      else if ( !strcmp(s, "ht") )
   26.55      {
   26.56          if ( !acpi_force )

    27.1 --- a/xen/arch/x86/time.c	Fri Dec 24 08:47:59 2010 +0000
    27.2 +++ b/xen/arch/x86/time.c	Fri Dec 24 10:10:45 2010 +0000
    27.3 @@ -175,7 +175,6 @@ static inline struct time_scale scale_re
    27.4   * cpu_mask that denotes the CPUs that needs timer interrupt coming in as
    27.5   * IPIs in place of local APIC timers
    27.6   */
    27.7 -extern int xen_cpuidle;
    27.8  static cpumask_t pit_broadcast_mask;
    27.9  
   27.10  static void smp_send_timer_broadcast_ipi(void)

    28.1 --- a/xen/arch/x86/traps.c	Fri Dec 24 08:47:59 2010 +0000
    28.2 +++ b/xen/arch/x86/traps.c	Fri Dec 24 10:10:45 2010 +0000
    28.3 @@ -103,7 +103,7 @@ void (*ioemul_handle_quirk)(
    28.4  static int debug_stack_lines = 20;
    28.5  integer_param("debug_stack_lines", debug_stack_lines);
    28.6  
    28.7 -static int opt_ler;
    28.8 +static bool_t __devinitdata opt_ler;
    28.9  boolean_param("ler", opt_ler);
   28.10  
   28.11  #ifdef CONFIG_X86_32

    29.1 --- a/xen/common/domain.c	Fri Dec 24 08:47:59 2010 +0000
    29.2 +++ b/xen/common/domain.c	Fri Dec 24 10:10:45 2010 +0000
    29.3 @@ -42,7 +42,7 @@
    29.4  unsigned int xen_processor_pmbits = XEN_PROCESSOR_PM_PX;
    29.5  
    29.6  /* opt_dom0_vcpus_pin: If true, dom0 VCPUs are pinned. */
    29.7 -static unsigned int opt_dom0_vcpus_pin;
    29.8 +static bool_t opt_dom0_vcpus_pin;
    29.9  boolean_param("dom0_vcpus_pin", opt_dom0_vcpus_pin);
   29.10  
   29.11  /* set xen as default cpufreq */

    30.1 --- a/xen/common/kernel.c	Fri Dec 24 08:47:59 2010 +0000
    30.2 +++ b/xen/common/kernel.c	Fri Dec 24 10:10:45 2010 +0000
    30.3 @@ -26,6 +26,28 @@ int tainted;
    30.4  
    30.5  xen_commandline_t saved_cmdline;
    30.6  
    30.7 +static void __init assign_integer_param(
    30.8 +    struct kernel_param *param, uint64_t val)
    30.9 +{
   30.10 +    switch ( param->len )
   30.11 +    {
   30.12 +    case sizeof(uint8_t):
   30.13 +        *(uint8_t *)param->var = val;
   30.14 +        break;
   30.15 +    case sizeof(uint16_t):
   30.16 +        *(uint16_t *)param->var = val;
   30.17 +        break;
   30.18 +    case sizeof(uint32_t):
   30.19 +        *(uint32_t *)param->var = val;
   30.20 +        break;
   30.21 +    case sizeof(uint64_t):
   30.22 +        *(uint64_t *)param->var = val;
   30.23 +        break;
   30.24 +    default:
   30.25 +        BUG();
   30.26 +    }
   30.27 +}
   30.28 +
   30.29  void __init cmdline_parse(char *cmdline)
   30.30  {
   30.31      char opt[100], *optval, *optkey, *q;
   30.32 @@ -79,34 +101,29 @@ void __init cmdline_parse(char *cmdline)
   30.33                  strlcpy(param->var, optval, param->len);
   30.34                  break;
   30.35              case OPT_UINT:
   30.36 -                *(unsigned int *)param->var = simple_strtol(optval, NULL, 0);
   30.37 +                assign_integer_param(
   30.38 +                    param,
   30.39 +                    simple_strtoll(optval, NULL, 0));
   30.40                  break;
   30.41              case OPT_BOOL:
   30.42              case OPT_INVBOOL:
   30.43                  if ( !parse_bool(optval) )
   30.44                      bool_assert = !bool_assert;
   30.45 -                if ( param->type == OPT_INVBOOL )
   30.46 -                    bool_assert = !bool_assert;
   30.47 -                *(int *)param->var = bool_assert;
   30.48 +                assign_integer_param(
   30.49 +                    param,
   30.50 +                    (param->type == OPT_BOOL) == bool_assert);
   30.51                  break;
   30.52 -            case OPT_SIZE: {
   30.53 -                uint64_t sz = parse_size_and_unit(optval, NULL);
   30.54 -                switch ( param->len )
   30.55 -                {
   30.56 -                case sizeof(uint32_t):
   30.57 -                    *(uint32_t *)param->var = sz;
   30.58 -                    break;
   30.59 -                case sizeof(uint64_t):
   30.60 -                    *(uint64_t *)param->var = sz;
   30.61 -                    break;
   30.62 -                default:
   30.63 -                    BUG();
   30.64 -                }
   30.65 +            case OPT_SIZE:
   30.66 +                assign_integer_param(
   30.67 +                    param,
   30.68 +                    parse_size_and_unit(optval, NULL));
   30.69                  break;
   30.70 -            }
   30.71              case OPT_CUSTOM:
   30.72                  ((void (*)(const char *))param->var)(optval);
   30.73                  break;
   30.74 +            default:
   30.75 +                BUG();
   30.76 +                break;
   30.77              }
   30.78          }
   30.79      }

    31.1 --- a/xen/common/page_alloc.c	Fri Dec 24 08:47:59 2010 +0000
    31.2 +++ b/xen/common/page_alloc.c	Fri Dec 24 10:10:45 2010 +0000
    31.3 @@ -52,7 +52,7 @@ string_param("badpage", opt_badpage);
    31.4  /*
    31.5   * no-bootscrub -> Free pages are not zeroed during boot.
    31.6   */
    31.7 -static int opt_bootscrub __initdata = 1;
    31.8 +static bool_t opt_bootscrub __initdata = 1;
    31.9  boolean_param("bootscrub", opt_bootscrub);
   31.10  
   31.11  /*

    32.1 --- a/xen/common/sched_credit.c	Fri Dec 24 08:47:59 2010 +0000
    32.2 +++ b/xen/common/sched_credit.c	Fri Dec 24 10:10:45 2010 +0000
    32.3 @@ -111,7 +111,7 @@
    32.4  /*
    32.5   * Boot parameters
    32.6   */
    32.7 -int sched_credit_default_yield = 0;
    32.8 +static bool_t __read_mostly sched_credit_default_yield;
    32.9  boolean_param("sched_credit_default_yield", sched_credit_default_yield);
   32.10  
   32.11  /*
   32.12 @@ -247,7 +247,7 @@ static void burn_credits(struct csched_v
   32.13      svc->start_time += (credits * MILLISECS(1)) / CSCHED_CREDITS_PER_MSEC;
   32.14  }
   32.15  
   32.16 -static int opt_tickle_one_idle __read_mostly = 1;
   32.17 +static bool_t __read_mostly opt_tickle_one_idle = 1;
   32.18  boolean_param("tickle_one_idle_cpu", opt_tickle_one_idle);
   32.19  
   32.20  DEFINE_PER_CPU(unsigned int, last_tickle_cpu);

    33.1 --- a/xen/common/schedule.c	Fri Dec 24 08:47:59 2010 +0000
    33.2 +++ b/xen/common/schedule.c	Fri Dec 24 10:10:45 2010 +0000
    33.3 @@ -44,7 +44,7 @@ string_param("sched", opt_sched);
    33.4   * scheduler will give preferrence to partially idle package compared to
    33.5   * the full idle package, when picking pCPU to schedule vCPU.
    33.6   */
    33.7 -int sched_smt_power_savings = 0;
    33.8 +bool_t sched_smt_power_savings = 0;
    33.9  boolean_param("sched_smt_power_savings", sched_smt_power_savings);
   33.10  
   33.11  /* Various timer handlers. */

    34.1 --- a/xen/common/shutdown.c	Fri Dec 24 08:47:59 2010 +0000
    34.2 +++ b/xen/common/shutdown.c	Fri Dec 24 10:10:45 2010 +0000
    34.3 @@ -11,7 +11,7 @@
    34.4  #include <public/sched.h>
    34.5  
    34.6  /* opt_noreboot: If true, machine will need manual reset on error. */
    34.7 -int opt_noreboot;
    34.8 +bool_t __read_mostly opt_noreboot;
    34.9  boolean_param("noreboot", opt_noreboot);
   34.10  
   34.11  static void maybe_reboot(void)

    35.1 --- a/xen/common/tmem_xen.c	Fri Dec 24 08:47:59 2010 +0000
    35.2 +++ b/xen/common/tmem_xen.c	Fri Dec 24 10:10:45 2010 +0000
    35.3 @@ -15,22 +15,22 @@
    35.4  
    35.5  #define EXPORT /* indicates code other modules are dependent upon */
    35.6  
    35.7 -EXPORT int opt_tmem = 1;
    35.8 +EXPORT bool_t __read_mostly opt_tmem = 1;
    35.9  boolean_param("tmem", opt_tmem);
   35.10  
   35.11 -EXPORT int opt_tmem_compress = 0;
   35.12 +EXPORT bool_t __read_mostly opt_tmem_compress = 0;
   35.13  boolean_param("tmem_compress", opt_tmem_compress);
   35.14  
   35.15 -EXPORT int opt_tmem_dedup = 0;
   35.16 +EXPORT bool_t __read_mostly opt_tmem_dedup = 0;
   35.17  boolean_param("tmem_dedup", opt_tmem_dedup);
   35.18  
   35.19 -EXPORT int opt_tmem_tze = 0;
   35.20 +EXPORT bool_t __read_mostly opt_tmem_tze = 0;
   35.21  boolean_param("tmem_tze", opt_tmem_tze);
   35.22  
   35.23 -EXPORT int opt_tmem_shared_auth = 0;
   35.24 +EXPORT bool_t __read_mostly opt_tmem_shared_auth = 0;
   35.25  boolean_param("tmem_shared_auth", opt_tmem_shared_auth);
   35.26  
   35.27 -EXPORT int opt_tmem_lock = 0;
   35.28 +EXPORT int __read_mostly opt_tmem_lock = 0;
   35.29  integer_param("tmem_lock", opt_tmem_lock);
   35.30  
   35.31  EXPORT atomic_t freeable_page_count = ATOMIC_INIT(0);

    36.1 --- a/xen/drivers/acpi/apei/erst.c	Fri Dec 24 08:47:59 2010 +0000
    36.2 +++ b/xen/drivers/acpi/apei/erst.c	Fri Dec 24 10:10:45 2010 +0000
    36.3 @@ -57,8 +57,8 @@
    36.4  #define FIRMWARE_TIMEOUT	(1 * 1000)
    36.5  #define FIRMWARE_MAX_STALL	50			/* 50us */
    36.6  
    36.7 -static struct acpi_table_erst *erst_tab;
    36.8 -static int erst_enabled;
    36.9 +static struct acpi_table_erst *__read_mostly erst_tab;
   36.10 +static bool_t __read_mostly erst_enabled;
   36.11  
   36.12  /* ERST Error Log Address Range atrributes */
   36.13  #define ERST_RANGE_RESERVED	0x0001

    37.1 --- a/xen/drivers/acpi/osl.c	Fri Dec 24 08:47:59 2010 +0000
    37.2 +++ b/xen/drivers/acpi/osl.c	Fri Dec 24 10:10:45 2010 +0000
    37.3 @@ -63,9 +63,6 @@ EXPORT_SYMBOL(acpi_in_debugger);
    37.4  extern char line_buf[80];
    37.5  #endif				/*ENABLE_DEBUGGER */
    37.6  
    37.7 -int acpi_specific_hotkey_enabled = TRUE;
    37.8 -EXPORT_SYMBOL(acpi_specific_hotkey_enabled);
    37.9 -
   37.10  void acpi_os_printf(const char *fmt, ...)
   37.11  {
   37.12  	va_list args;

    38.1 --- a/xen/drivers/char/console.c	Fri Dec 24 08:47:59 2010 +0000
    38.2 +++ b/xen/drivers/char/console.c	Fri Dec 24 10:10:45 2010 +0000
    38.3 @@ -49,15 +49,15 @@ static unsigned char __read_mostly opt_c
    38.4  string_param("conswitch", opt_conswitch);
    38.5  
    38.6  /* sync_console: force synchronous console output (useful for debugging). */
    38.7 -static int __read_mostly opt_sync_console;
    38.8 +static bool_t __initdata opt_sync_console;
    38.9  boolean_param("sync_console", opt_sync_console);
   38.10  
   38.11  /* console_to_ring: send guest (incl. dom 0) console data to console ring. */
   38.12 -static int __read_mostly opt_console_to_ring;
   38.13 +static bool_t __read_mostly opt_console_to_ring;
   38.14  boolean_param("console_to_ring", opt_console_to_ring);
   38.15  
   38.16  /* console_timestamps: include a timestamp prefix on every Xen console line. */
   38.17 -static int __read_mostly opt_console_timestamps;
   38.18 +static bool_t __read_mostly opt_console_timestamps;
   38.19  boolean_param("console_timestamps", opt_console_timestamps);
   38.20  
   38.21  /* conring_size: allows a large console ring than default (16kB). */

    39.1 --- a/xen/drivers/passthrough/vtd/extern.h	Fri Dec 24 08:47:59 2010 +0000
    39.2 +++ b/xen/drivers/passthrough/vtd/extern.h	Fri Dec 24 10:10:45 2010 +0000
    39.3 @@ -24,8 +24,7 @@
    39.4  #include "dmar.h"
    39.5  #include <xen/keyhandler.h>
    39.6  
    39.7 -extern int qinval_enabled;
    39.8 -extern int ats_enabled;
    39.9 +extern bool_t ats_enabled;
   39.10  extern bool_t rwbf_quirk;
   39.11  
   39.12  void print_iommu_regs(struct acpi_drhd_unit *drhd);

    40.1 --- a/xen/drivers/passthrough/vtd/ia64/ats.c	Fri Dec 24 08:47:59 2010 +0000
    40.2 +++ b/xen/drivers/passthrough/vtd/ia64/ats.c	Fri Dec 24 10:10:45 2010 +0000
    40.3 @@ -30,7 +30,7 @@
    40.4  
    40.5  struct pci_ats_dev;
    40.6  
    40.7 -int ats_enabled = 0;
    40.8 +bool_t __read_mostly ats_enabled = 0;
    40.9  
   40.10  struct acpi_drhd_unit * find_ats_dev_drhd(struct iommu *iommu)
   40.11  {

    41.1 --- a/xen/drivers/passthrough/vtd/x86/ats.c	Fri Dec 24 08:47:59 2010 +0000
    41.2 +++ b/xen/drivers/passthrough/vtd/x86/ats.c	Fri Dec 24 10:10:45 2010 +0000
    41.3 @@ -47,7 +47,7 @@ static LIST_HEAD(ats_devices);
    41.4  static void parse_ats_param(char *s);
    41.5  custom_param("ats", parse_ats_param);
    41.6  
    41.7 -int __read_mostly ats_enabled = 1;
    41.8 +bool_t __read_mostly ats_enabled = 1;
    41.9  
   41.10  static void __init parse_ats_param(char *s)
   41.11  {

    42.1 --- a/xen/drivers/passthrough/vtd/x86/vtd.c	Fri Dec 24 08:47:59 2010 +0000
    42.2 +++ b/xen/drivers/passthrough/vtd/x86/vtd.c	Fri Dec 24 10:10:45 2010 +0000
    42.3 @@ -34,7 +34,7 @@
    42.4   * iommu_inclusive_mapping: when set, all memory below 4GB is included in dom0
    42.5   * 1:1 iommu mappings except xen and unusable regions.
    42.6   */
    42.7 -static int __read_mostly iommu_inclusive_mapping = 1;
    42.8 +static bool_t __initdata iommu_inclusive_mapping = 1;
    42.9  boolean_param("iommu_inclusive_mapping", iommu_inclusive_mapping);
   42.10  
   42.11  void *map_vtd_domain_page(u64 maddr)

    43.1 --- a/xen/include/asm-x86/acpi.h	Fri Dec 24 08:47:59 2010 +0000
    43.2 +++ b/xen/include/asm-x86/acpi.h	Fri Dec 24 10:10:45 2010 +0000
    43.3 @@ -78,15 +78,10 @@ int __acpi_release_global_lock(unsigned 
    43.4  	    :"=r"(n_hi), "=r"(n_lo)	\
    43.5  	    :"0"(n_hi), "1"(n_lo))
    43.6  
    43.7 -extern int acpi_lapic;
    43.8 -extern int acpi_ioapic;
    43.9 -extern int acpi_noirq;
   43.10 -extern int acpi_strict;
   43.11 -extern int acpi_disabled;
   43.12 -extern int acpi_ht;
   43.13 -extern int acpi_pci_disabled;
   43.14 -extern int acpi_skip_timer_override;
   43.15 -extern int acpi_use_timer_override;
   43.16 +extern bool_t acpi_lapic, acpi_ioapic, acpi_noirq;
   43.17 +extern bool_t acpi_force, acpi_ht;
   43.18 +extern bool_t acpi_disabled, acpi_pci_disabled;
   43.19 +extern bool_t acpi_skip_timer_override;
   43.20  extern u32 acpi_smi_cmd;
   43.21  extern u8 acpi_enable_value, acpi_disable_value;
   43.22  extern u8 acpi_sci_flags;

    44.1 --- a/xen/include/asm-x86/apic.h	Fri Dec 24 08:47:59 2010 +0000
    44.2 +++ b/xen/include/asm-x86/apic.h	Fri Dec 24 10:10:45 2010 +0000
    44.3 @@ -22,8 +22,8 @@
    44.4  #define IO_APIC_REDIR_DEST_PHYSICAL	0x00000
    44.5  
    44.6  extern int apic_verbosity;
    44.7 -extern int x2apic_enabled;
    44.8 -extern int directed_eoi_enabled;
    44.9 +extern bool_t x2apic_enabled;
   44.10 +extern bool_t directed_eoi_enabled;
   44.11  
   44.12  void x2apic_bsp_setup(void);
   44.13  void x2apic_ap_setup(void);

    45.1 --- a/xen/include/asm-x86/hvm/hvm.h	Fri Dec 24 08:47:59 2010 +0000
    45.2 +++ b/xen/include/asm-x86/hvm/hvm.h	Fri Dec 24 10:10:45 2010 +0000
    45.3 @@ -147,7 +147,7 @@ struct hvm_function_table {
    45.4  };
    45.5  
    45.6  extern struct hvm_function_table hvm_funcs;
    45.7 -extern int hvm_enabled;
    45.8 +extern bool_t hvm_enabled;
    45.9  extern bool_t cpu_has_lmsl;
   45.10  
   45.11  int hvm_domain_initialise(struct domain *d);

    46.1 --- a/xen/include/asm-x86/io_apic.h	Fri Dec 24 08:47:59 2010 +0000
    46.2 +++ b/xen/include/asm-x86/io_apic.h	Fri Dec 24 10:10:45 2010 +0000
    46.3 @@ -183,7 +183,7 @@ static inline void io_apic_modify(unsign
    46.4  }
    46.5  
    46.6  /* 1 if "noapic" boot option passed */
    46.7 -extern int skip_ioapic_setup;
    46.8 +extern bool_t skip_ioapic_setup;
    46.9  
   46.10  #ifdef CONFIG_ACPI_BOOT
   46.11  extern int io_apic_get_unique_id (int ioapic, int apic_id);

    47.1 --- a/xen/include/asm-x86/irq.h	Fri Dec 24 08:47:59 2010 +0000
    47.2 +++ b/xen/include/asm-x86/irq.h	Fri Dec 24 10:10:45 2010 +0000
    47.3 @@ -38,6 +38,8 @@ DECLARE_PER_CPU(vector_irq_t, vector_irq
    47.4  
    47.5  extern u8 *irq_vector;
    47.6  
    47.7 +extern bool_t opt_noirqbalance;
    47.8 +
    47.9  /*
   47.10   * Per-cpu current frame pointer - the location of the last exception frame on
   47.11   * the stack

    48.1 --- a/xen/include/asm-x86/mm.h	Fri Dec 24 08:47:59 2010 +0000
    48.2 +++ b/xen/include/asm-x86/mm.h	Fri Dec 24 10:10:45 2010 +0000
    48.3 @@ -396,8 +396,8 @@ pae_copy_root(struct vcpu *v, l3_pgentry
    48.4  
    48.5  int check_descriptor(const struct domain *, struct desc_struct *d);
    48.6  
    48.7 -extern int opt_allow_superpage;
    48.8 -extern int mem_hotplug;
    48.9 +extern bool_t opt_allow_superpage;
   48.10 +extern bool_t mem_hotplug;
   48.11  
   48.12  /******************************************************************************
   48.13   * With shadow pagetables, the different kinds of address start 

    49.1 --- a/xen/include/asm-x86/processor.h	Fri Dec 24 08:47:59 2010 +0000
    49.2 +++ b/xen/include/asm-x86/processor.h	Fri Dec 24 10:10:45 2010 +0000
    49.3 @@ -195,7 +195,7 @@ extern struct cpuinfo_x86 cpu_data[];
    49.4  extern u64 host_pat;
    49.5  extern int phys_proc_id[NR_CPUS];
    49.6  extern int cpu_core_id[NR_CPUS];
    49.7 -extern int opt_cpu_info;
    49.8 +extern bool_t opt_cpu_info;
    49.9  
   49.10  /* Maximum width of physical addresses supported by the hardware */
   49.11  extern unsigned int paddr_bits;

    50.1 --- a/xen/include/asm-x86/setup.h	Fri Dec 24 08:47:59 2010 +0000
    50.2 +++ b/xen/include/asm-x86/setup.h	Fri Dec 24 10:10:45 2010 +0000
    50.3 @@ -3,7 +3,8 @@
    50.4  
    50.5  #include <xen/multiboot.h>
    50.6  
    50.7 -extern int early_boot;
    50.8 +extern bool_t early_boot;
    50.9 +extern s8 xen_cpuidle;
   50.10  extern unsigned long xenheap_initial_phys_start;
   50.11  
   50.12  void init_done(void);

    51.1 --- a/xen/include/xen/acpi.h	Fri Dec 24 08:47:59 2010 +0000
    51.2 +++ b/xen/include/xen/acpi.h	Fri Dec 24 10:10:45 2010 +0000
    51.3 @@ -440,8 +440,6 @@ static inline int acpi_get_pxm(acpi_hand
    51.4  }
    51.5  #endif
    51.6  
    51.7 -extern int pnpacpi_disabled;
    51.8 -
    51.9  void acpi_reboot(void);
   51.10  
   51.11  void acpi_dmar_zap(void);

    52.1 --- a/xen/include/xen/sched.h	Fri Dec 24 08:47:59 2010 +0000
    52.2 +++ b/xen/include/xen/sched.h	Fri Dec 24 10:10:45 2010 +0000
    52.3 @@ -639,7 +639,7 @@ void watchdog_domain_destroy(struct doma
    52.4  void set_vcpu_migration_delay(unsigned int delay);
    52.5  unsigned int get_vcpu_migration_delay(void);
    52.6  
    52.7 -extern int sched_smt_power_savings;
    52.8 +extern bool_t sched_smt_power_savings;
    52.9  
   52.10  extern enum cpufreq_controller {
   52.11      FREQCTL_none, FREQCTL_dom0_kernel, FREQCTL_xen

    53.1 --- a/xen/include/xen/shutdown.h	Fri Dec 24 08:47:59 2010 +0000
    53.2 +++ b/xen/include/xen/shutdown.h	Fri Dec 24 10:10:45 2010 +0000
    53.3 @@ -2,7 +2,7 @@
    53.4  #define __XEN_SHUTDOWN_H__
    53.5  
    53.6  /* opt_noreboot: If true, machine will need manual reset on error. */
    53.7 -extern int opt_noreboot;
    53.8 +extern bool_t opt_noreboot;
    53.9  
   53.10  void dom0_shutdown(u8 reason);
   53.11  

    54.1 --- a/xen/include/xen/tmem_xen.h	Fri Dec 24 08:47:59 2010 +0000
    54.2 +++ b/xen/include/xen/tmem_xen.h	Fri Dec 24 10:10:45 2010 +0000
    54.3 @@ -51,20 +51,20 @@ extern int tmh_init(void);
    54.4  extern void tmh_release_avail_pages_to_host(void);
    54.5  extern void tmh_scrub_page(struct page_info *pi, unsigned int memflags);
    54.6  
    54.7 -extern int opt_tmem_compress;
    54.8 -static inline int tmh_compression_enabled(void)
    54.9 +extern bool_t opt_tmem_compress;
   54.10 +static inline bool_t tmh_compression_enabled(void)
   54.11  {
   54.12      return opt_tmem_compress;
   54.13  }
   54.14  
   54.15 -extern int opt_tmem_dedup;
   54.16 -static inline int tmh_dedup_enabled(void)
   54.17 +extern bool_t opt_tmem_dedup;
   54.18 +static inline bool_t tmh_dedup_enabled(void)
   54.19  {
   54.20      return opt_tmem_dedup;
   54.21  }
   54.22  
   54.23 -extern int opt_tmem_tze;
   54.24 -static inline int tmh_tze_enabled(void)
   54.25 +extern bool_t opt_tmem_tze;
   54.26 +static inline bool_t tmh_tze_enabled(void)
   54.27  {
   54.28      return opt_tmem_tze;
   54.29  }
   54.30 @@ -74,22 +74,20 @@ static inline void tmh_tze_disable(void)
   54.31      opt_tmem_tze = 0;
   54.32  }
   54.33  
   54.34 -extern int opt_tmem_shared_auth;
   54.35 -static inline int tmh_shared_auth(void)
   54.36 +extern bool_t opt_tmem_shared_auth;
   54.37 +static inline bool_t tmh_shared_auth(void)
   54.38  {
   54.39      return opt_tmem_shared_auth;
   54.40  }
   54.41  
   54.42 -extern int opt_tmem;
   54.43 -static inline int tmh_enabled(void)
   54.44 +extern bool_t opt_tmem;
   54.45 +static inline bool_t tmh_enabled(void)
   54.46  {
   54.47      return opt_tmem;
   54.48  }
   54.49  
   54.50  extern int opt_tmem_lock;
   54.51  
   54.52 -extern int opt_tmem_flush_dups;
   54.53 -
   54.54  /*
   54.55   * Memory free page list management
   54.56   */
   54.57 @@ -289,7 +287,6 @@ static inline void tmh_free_infra(void *
   54.58  }
   54.59  
   54.60  #define tmh_lock_all  opt_tmem_lock
   54.61 -#define tmh_flush_dups  opt_tmem_flush_dups
   54.62  #define tmh_called_from_tmem(_memflags) (_memflags & MEMF_tmem)
   54.63  
   54.64  /*  "Client" (==domain) abstraction */