extern int apic_verbosity;
 extern int local_apic_timer_c2_ok;
 
-extern int disable_apic;
+extern bool apic_is_disabled;
 extern unsigned int lapic_timer_period;
 
 extern int cpuid_to_apicid[];
  */
 static inline bool apic_from_smp_config(void)
 {
-       return smp_found_config && !disable_apic;
+       return smp_found_config && !apic_is_disabled;
 }
 
 /*
 
 #endif
 
 unsigned long mp_lapic_addr __ro_after_init;
-int disable_apic __ro_after_init;
+bool apic_is_disabled __ro_after_init;
 /* Disable local APIC timer from the kernel commandline or via dmi quirk */
 static int disable_apic_timer __initdata;
 /* Local APIC timer works in C2 */
                return true;
 
        /* Is there an APIC at all or is it disabled? */
-       if (!boot_cpu_has(X86_FEATURE_APIC) || disable_apic)
+       if (!boot_cpu_has(X86_FEATURE_APIC) || apic_is_disabled)
                return true;
 
        /*
 static int __init __apic_intr_mode_select(void)
 {
        /* Check kernel option */
-       if (disable_apic) {
+       if (apic_is_disabled) {
                pr_info("APIC disabled via kernel command line\n");
                return APIC_PIC;
        }
 #ifdef CONFIG_X86_64
        /* On 64-bit, the APIC must be integrated, Check local APIC only */
        if (!boot_cpu_has(X86_FEATURE_APIC)) {
-               disable_apic = 1;
+               apic_is_disabled = true;
                pr_info("APIC disabled by BIOS\n");
                return APIC_PIC;
        }
 
        /* Neither 82489DX nor integrated APIC ? */
        if (!boot_cpu_has(X86_FEATURE_APIC) && !smp_found_config) {
-               disable_apic = 1;
+               apic_is_disabled = true;
                return APIC_PIC;
        }
 
        /* If the BIOS pretends there is an integrated APIC ? */
        if (!boot_cpu_has(X86_FEATURE_APIC) &&
                APIC_INTEGRATED(boot_cpu_apic_version)) {
-               disable_apic = 1;
+               apic_is_disabled = true;
                pr_err(FW_BUG "Local APIC %d not detected, force emulation\n",
                                       boot_cpu_physical_apicid);
                return APIC_PIC;
        int cpu = smp_processor_id();
        unsigned int value;
 
-       if (disable_apic) {
+       if (apic_is_disabled) {
                disable_ioapic_support();
                return;
        }
        pr_err("Kernel does not support x2APIC, please recompile with CONFIG_X86_X2APIC.\n");
        pr_err("Disabling APIC, expect reduced performance and functionality.\n");
 
-       disable_apic = 1;
+       apic_is_disabled = true;
        setup_clear_cpu_cap(X86_FEATURE_APIC);
 }
 
 {
        u32 h, l;
 
-       if (disable_apic)
+       if (apic_is_disabled)
                return -1;
 
        /*
 static int __init detect_init_APIC(void)
 {
        /* Disabled by kernel option? */
-       if (disable_apic)
+       if (apic_is_disabled)
                return -1;
 
        switch (boot_cpu_data.x86_vendor) {
  */
 static int __init setup_disableapic(char *arg)
 {
-       disable_apic = 1;
+       apic_is_disabled = true;
        setup_clear_cpu_cap(X86_FEATURE_APIC);
        return 0;
 }
 
 
 static u32 noop_apic_read(u32 reg)
 {
-       WARN_ON_ONCE(boot_cpu_has(X86_FEATURE_APIC) && !disable_apic);
+       WARN_ON_ONCE(boot_cpu_has(X86_FEATURE_APIC) && !apic_is_disabled);
        return 0;
 }
 
-static void noop_apic_write(u32 reg, u32 v)
+static void noop_apic_write(u32 reg, u32 val)
 {
-       WARN_ON_ONCE(boot_cpu_has(X86_FEATURE_APIC) && !disable_apic);
+       WARN_ON_ONCE(boot_cpu_has(X86_FEATURE_APIC) && !apic_is_disabled);
 }
 
 #ifdef CONFIG_X86_32