#include <io_ports.h>
#include <xen/kexec.h>
-static bool_t tdt_enabled __read_mostly;
-static bool_t tdt_enable __initdata = 1;
+static bool __read_mostly tdt_enabled;
+static bool __initdata tdt_enable = true;
boolean_param("tdt", tdt_enable);
static struct {
*/
u8 __read_mostly apic_verbosity;
-static bool_t __initdata opt_x2apic = 1;
+static bool __initdata opt_x2apic = true;
boolean_param("x2apic", opt_x2apic);
/*
*/
static enum apic_mode apic_boot_mode = APIC_MODE_INVALID;
-bool_t __read_mostly x2apic_enabled = 0;
-bool_t __read_mostly directed_eoi_enabled = 0;
+bool __read_mostly x2apic_enabled;
+bool __read_mostly directed_eoi_enabled;
static int modern_apic(void)
{
}
/* Using APIC to generate smp_local_timer_interrupt? */
-static bool_t __read_mostly using_apic_timer;
+static bool __read_mostly using_apic_timer;
-static bool_t __read_mostly enabled_via_apicbase;
+static bool __read_mostly enabled_via_apicbase;
int get_physical_broadcast(void)
{
else
{
ioapic_ack_new = 0;
- directed_eoi_enabled = 1;
+ directed_eoi_enabled = true;
printk("Enabled directed EOI with ioapic_ack_old on!\n");
}
}
msr_content &= ~MSR_IA32_APICBASE_BASE;
msr_content |= MSR_IA32_APICBASE_ENABLE | APIC_DEFAULT_PHYS_BASE;
wrmsrl(MSR_IA32_APICBASE, msr_content);
- enabled_via_apicbase = 1;
+ enabled_via_apicbase = true;
}
}
/*
if ( !x2apic_enabled )
{
- x2apic_enabled = 1;
+ x2apic_enabled = true;
__enable_x2apic();
}
{
unsigned long flags;
apic_printk(APIC_VERBOSE, "Using local APIC timer interrupts.\n");
- using_apic_timer = 1;
+ using_apic_timer = true;
local_irq_save(flags);
if ( tdt_enable && boot_cpu_has(X86_FEATURE_TSC_DEADLINE) )
{
printk(KERN_DEBUG "TSC deadline timer enabled\n");
- tdt_enabled = 1;
+ tdt_enabled = true;
}
setup_APIC_timer();
raise_softirq(TIMER_SOFTIRQ);
}
-static DEFINE_PER_CPU(bool_t, state_dump_pending);
+static DEFINE_PER_CPU(bool, state_dump_pending);
void smp_send_state_dump(unsigned int cpu)
{
/* We overload the spurious interrupt handler to handle the dump. */
- per_cpu(state_dump_pending, cpu) = 1;
+ per_cpu(state_dump_pending, cpu) = true;
send_IPI_mask(cpumask_of(cpu), SPURIOUS_APIC_VECTOR);
}
if (apic_isr_read(SPURIOUS_APIC_VECTOR)) {
ack_APIC_irq();
if (this_cpu(state_dump_pending)) {
- this_cpu(state_dump_pending) = 0;
+ this_cpu(state_dump_pending) = false;
dump_execstate(regs);
goto out;
}