#include <bios_ebda.h>
/* Have we found an MP table */
-bool_t __initdata smp_found_config;
+bool __initdata smp_found_config;
/*
* Various Linux-internal data structures created from the
/* MP IRQ source entries */
int __read_mostly mp_irq_entries;
-bool_t __read_mostly pic_mode;
-bool_t __read_mostly def_to_bigsmp = 0;
+bool __read_mostly pic_mode;
+bool __read_mostly def_to_bigsmp;
unsigned long __read_mostly mp_lapic_addr;
/* Processor that is doing the boot up */
/* Return xen's logical cpu_id of the new added cpu or <0 if error */
static int MP_processor_info_x(struct mpc_config_processor *m,
- u32 apicid, bool_t hotplug)
+ u32 apicid, bool hotplug)
{
int ver, cpu = 0;
* No need for processor or APIC checks: physical delivery
* (bigsmp) mode should always work.
*/
- def_to_bigsmp = 1;
+ def_to_bigsmp = true;
}
return cpu;
printk(KERN_INFO "Intel MultiProcessor Specification v1.%d\n", mpf->mpf_specification);
if (mpf->mpf_feature2 & (1<<7)) {
printk(KERN_INFO " IMCR and PIC compatibility mode.\n");
- pic_mode = 1;
+ pic_mode = true;
} else {
printk(KERN_INFO " Virtual Wire compatibility mode.\n");
- pic_mode = 0;
+ pic_mode = false;
}
/*
*/
if (!smp_read_mpc((void *)(unsigned long)mpf->mpf_physptr)) {
efi_unmap_mpf();
- smp_found_config = 0;
+ smp_found_config = false;
printk(KERN_ERR "BIOS bug, MP table errors detected!...\n");
printk(KERN_ERR "... disabling SMP support. (tell your hw vendor)\n");
return;
((mpf->mpf_specification == 1)
|| (mpf->mpf_specification == 4)) ) {
- smp_found_config = 1;
+ smp_found_config = true;
printk(KERN_INFO "found SMP MP-table at %08lx\n",
virt_to_maddr(mpf));
#if 0
mpf->mpf_length == 1 &&
mpf_checksum((void *)mpf, 16) &&
(mpf->mpf_specification == 1 || mpf->mpf_specification == 4)) {
- smp_found_config = 1;
+ smp_found_config = true;
printk(KERN_INFO "SMP MP-table at %08lx\n", efi.mps);
mpf_found = mpf;
}
}
-int mp_register_lapic (
- u32 id,
- bool_t enabled,
- bool_t hotplug)
+int mp_register_lapic(u32 id, bool enabled, bool hotplug)
{
struct mpc_config_processor processor = {
.mpc_type = MP_PROCESSOR,
extern unsigned char mp_bus_id_to_type[MAX_MP_BUSSES];
-extern bool_t def_to_bigsmp;
+extern bool def_to_bigsmp;
extern unsigned int boot_cpu_physical_apicid;
-extern bool_t smp_found_config;
+extern bool smp_found_config;
extern void find_smp_config (void);
extern void get_smp_config (void);
extern unsigned char apic_version [MAX_APICS];
extern struct mpc_config_intsrc mp_irqs [MAX_IRQ_SOURCES];
extern int mpc_default_type;
extern unsigned long mp_lapic_addr;
-extern bool_t pic_mode;
+extern bool pic_mode;
#ifdef CONFIG_ACPI
-extern int mp_register_lapic(u32 id, bool_t enabled, bool_t hotplug);
+extern int mp_register_lapic(u32 id, bool enabled, bool hotplug);
extern void mp_unregister_lapic(uint32_t apic_id, uint32_t cpu);
extern void mp_register_lapic_address (u64 address);
extern void mp_register_ioapic (u8 id, u32 address, u32 gsi_base);