/*

 *  Intel Multiprocessor Specification 1.1 and 1.4

 *  compliant MP-table parsing routines.

 *

 *  (c) 1995 Alan Cox, Building #3 <alan@redhat.com>

 *  (c) 1998, 1999, 2000 Ingo Molnar <mingo@redhat.com>

 *

 *  Fixes

 *    Erich Boleyn  : MP v1.4 and additional changes.

 *    Alan Cox  : Added EBDA scanning

 *    Ingo Molnar : various cleanups and rewrites

 *    Maciej W. Rozycki:  Bits for default MP configurations

 *    Paul Diefenbaugh: Added full ACPI support

 */

#include <xen/types.h>

#include <xen/irq.h>

#include <xen/init.h>

#include <xen/acpi.h>

#include <xen/delay.h>

#include <xen/efi.h>

#include <xen/sched.h>

#include <xen/bitops.h>

#include <asm/smp.h>

#include <asm/acpi.h>

#include <asm/mtrr.h>

#include <asm/mpspec.h>

#include <asm/io_apic.h>

#include <asm/setup.h>

#include <mach_apic.h>

#include <mach_mpparse.h>

#include <bios_ebda.h>

/* Have we found an MP table */

bool __initdata smp_found_config;

/*

 * Various Linux-internal data structures created from the

 * MP-table.

 */

unsigned char __read_mostly apic_version[MAX_APICS];

unsigned char __read_mostly mp_bus_id_to_type[MAX_MP_BUSSES];

/* I/O APIC entries */

struct mpc_config_ioapic __read_mostly mp_ioapics[MAX_IO_APICS];

/* # of MP IRQ source entries */

struct mpc_config_intsrc __read_mostly mp_irqs[MAX_IRQ_SOURCES];

/* MP IRQ source entries */

int __read_mostly mp_irq_entries;

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 */

unsigned int __read_mostly boot_cpu_physical_apicid = BAD_APICID;

/* Internal processor count */

static unsigned int num_processors;

static unsigned int __initdata disabled_cpus;

/* Bitmask of physically existing CPUs */

physid_mask_t phys_cpu_present_map;

void __init set_nr_cpu_ids(unsigned int max_cpus)

{

  if (!max_cpus)

    max_cpus = num_processors + disabled_cpus;

  if (max_cpus > NR_CPUS)

    max_cpus = NR_CPUS;

  else if (!max_cpus)

    max_cpus = 1;

  printk(XENLOG_INFO "SMP: Allowing %u CPUs (%d hotplug CPUs)\n",

         max_cpus, max_t(int, max_cpus - num_processors, 0));

  nr_cpu_ids = max_cpus;

#ifndef nr_cpumask_bits

  nr_cpumask_bits = (max_cpus + (BITS_PER_LONG - 1)) &

        ~(BITS_PER_LONG - 1);

  printk(XENLOG_DEBUG "NR_CPUS:%u nr_cpumask_bits:%u\n",

         NR_CPUS, nr_cpumask_bits);

#endif

}

void __init set_nr_sockets(void)

{

  nr_sockets = last_physid(phys_cpu_present_map)

         / boot_cpu_data.x86_max_cores

         / boot_cpu_data.x86_num_siblings + 1;

  if (disabled_cpus)

    nr_sockets += (disabled_cpus - 1)

            / boot_cpu_data.x86_max_cores

            / boot_cpu_data.x86_num_siblings + 1;

  printk(XENLOG_DEBUG "nr_sockets: %u\n", nr_sockets);

}

/*

 * Intel MP BIOS table parsing routines:

 */

/*

 * Checksum an MP configuration block.

 */

static int __init mpf_checksum(unsigned char *mp, int len)

{

  int sum = 0;

  while (len--)

    sum += *mp++;

  return sum & 0xFF;

}

/* 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 hotplug)

{

  int ver, cpu = 0;

  if (!(m->mpc_cpuflag & CPU_ENABLED)) {

    if (!hotplug)

      ++disabled_cpus;

    return -EINVAL;

  }

  if (m->mpc_cpuflag & CPU_BOOTPROCESSOR) {

    Dprintk("    Bootup CPU\n");

    boot_cpu_physical_apicid = apicid;

  }

  ver = m->mpc_apicver;

  /*

   * Validate version

   */

  if (ver == 0x0) {

    printk(KERN_WARNING "BIOS bug, APIC version is 0 for CPU#%d! "

        "fixing up to 0x10. (tell your hw vendor)\n",

        apicid);

    ver = 0x10;

  }

  apic_version[apicid] = ver;

  set_apicid(apicid, &phys_cpu_present_map);

  if (num_processors >= nr_cpu_ids) {

    printk(KERN_WARNING "WARNING: NR_CPUS limit of %u reached."

      "  Processor ignored.\n", nr_cpu_ids);

    return -ENOSPC;

  }

  if (num_processors >= 8 && hotplug && genapic == &apic_default) {

    printk(KERN_WARNING "WARNING: CPUs limit of 8 reached."

      " Processor ignored.\n");

    return -ENOSPC;

  }

  /* Boot cpu has been marked present in smp_prepare_boot_cpu */

  if (!(m->mpc_cpuflag & CPU_BOOTPROCESSOR)) {

    cpu = alloc_cpu_id();

    if (cpu < 0) {

      printk(KERN_WARNING "WARNING: Can't alloc cpu_id."

             " Processor with apicid %i ignored\n", apicid);

      return cpu;

    }

    x86_cpu_to_apicid[cpu] = apicid;

    cpumask_set_cpu(cpu, &cpu_present_map);

  }

  if (++num_processors > 8) {

    /*

     * No need for processor or APIC checks: physical delivery

     * (bigsmp) mode should always work.

     */

    def_to_bigsmp = true;

  }

  return cpu;

}

static int MP_processor_info(struct mpc_config_processor *m)

{

  return MP_processor_info_x(m, m->mpc_apicid, 0);

}

static void __init MP_bus_info (struct mpc_config_bus *m)

{

  char str[7];

  memcpy(str, m->mpc_bustype, 6);

  str[6] = 0;

#if 0 /* size of mpc_busid (8 bits) makes this check unnecessary */

  if (m->mpc_busid >= MAX_MP_BUSSES) {

    printk(KERN_WARNING "MP table busid value (%d) for bustype %s "

      " is too large, max. supported is %d\n",

      m->mpc_busid, str, MAX_MP_BUSSES - 1);

    return;

  }

#endif

  if (strncmp(str, BUSTYPE_ISA, sizeof(BUSTYPE_ISA)-1) == 0) {

    mp_bus_id_to_type[m->mpc_busid] = MP_BUS_ISA;

  } else if (strncmp(str, BUSTYPE_EISA, sizeof(BUSTYPE_EISA)-1) == 0) {

    mp_bus_id_to_type[m->mpc_busid] = MP_BUS_EISA;

  } else if (strncmp(str, BUSTYPE_PCI, sizeof(BUSTYPE_PCI)-1) == 0) {

    mp_bus_id_to_type[m->mpc_busid] = MP_BUS_PCI;

  } else if (strncmp(str, BUSTYPE_MCA, sizeof(BUSTYPE_MCA)-1) == 0) {

    mp_bus_id_to_type[m->mpc_busid] = MP_BUS_MCA;

  } else if (strncmp(str, BUSTYPE_NEC98, sizeof(BUSTYPE_NEC98)-1) == 0) {

    mp_bus_id_to_type[m->mpc_busid] = MP_BUS_NEC98;

  } else {

    printk(KERN_WARNING "Unknown bustype %s - ignoring\n", str);

  }

}

static void __init MP_ioapic_info (struct mpc_config_ioapic *m)

{

  if (!(m->mpc_flags & MPC_APIC_USABLE))

    return;

  printk(KERN_INFO "I/O APIC #%d Version %d at %#x.\n",

    m->mpc_apicid, m->mpc_apicver, m->mpc_apicaddr);

  if (nr_ioapics >= MAX_IO_APICS) {

    printk(KERN_CRIT "Max # of I/O APICs (%d) exceeded (found %d).\n",

      MAX_IO_APICS, nr_ioapics);

    panic("Recompile kernel with bigger MAX_IO_APICS");

  }

  if (!m->mpc_apicaddr) {

    printk(KERN_ERR "WARNING: bogus zero I/O APIC address"

      " found in MP table, skipping!\n");

    return;

  }

  mp_ioapics[nr_ioapics] = *m;

  nr_ioapics++;

}

static void __init MP_intsrc_info (struct mpc_config_intsrc *m)

{

  mp_irqs [mp_irq_entries] = *m;

  Dprintk("Int: type %d, pol %d, trig %d, bus %d,"

    " IRQ %02x, APIC ID %x, APIC INT %02x\n",

      m->mpc_irqtype, m->mpc_irqflag & 3,

      (m->mpc_irqflag >> 2) & 3, m->mpc_srcbus,

      m->mpc_srcbusirq, m->mpc_dstapic, m->mpc_dstirq);

  if (++mp_irq_entries == MAX_IRQ_SOURCES)

    panic("Max # of irq sources exceeded");

}

static void __init MP_lintsrc_info (struct mpc_config_lintsrc *m)

{

  Dprintk("Lint: type %d, pol %d, trig %d, bus %d,"

    " IRQ %02x, APIC ID %x, APIC LINT %02x\n",

      m->mpc_irqtype, m->mpc_irqflag & 3,

      (m->mpc_irqflag >> 2) &3, m->mpc_srcbusid,

      m->mpc_srcbusirq, m->mpc_destapic, m->mpc_destapiclint);

  /*

   * Well it seems all SMP boards in existence

   * use ExtINT/LVT1 == LINT0 and

   * NMI/LVT2 == LINT1 - the following check

   * will show us if this assumptions is false.

   * Until then we do not have to add baggage.

   */

  if ((m->mpc_irqtype == mp_ExtINT) &&

    (m->mpc_destapiclint != 0))

      BUG();

  if ((m->mpc_irqtype == mp_NMI) &&

    (m->mpc_destapiclint != 1))

      BUG();

}

/*

 * Read/parse the MPC

 */

static int __init smp_read_mpc(struct mp_config_table *mpc)

{

  char str[16];

  char oem[10];

  int count=sizeof(*mpc);

  unsigned char *mpt=((unsigned char *)mpc)+count;

  if (memcmp(mpc->mpc_signature,MPC_SIGNATURE,4)) {

    printk(KERN_ERR "SMP mptable: bad signature [%#x]!\n",

      *(u32 *)mpc->mpc_signature);

    return 0;

  }

  if (mpf_checksum((unsigned char *)mpc,mpc->mpc_length)) {

    printk(KERN_ERR "SMP mptable: checksum error!\n");

    return 0;

  }

  if (mpc->mpc_spec!=0x01 && mpc->mpc_spec!=0x04) {

    printk(KERN_ERR "SMP mptable: bad table version (%d)!!\n",

      mpc->mpc_spec);

    return 0;

  }

  if (!mpc->mpc_lapic) {

    printk(KERN_ERR "SMP mptable: null local APIC address!\n");

    return 0;

  }

  memcpy(oem,mpc->mpc_oem,8);

  oem[8]=0;

  printk(KERN_INFO "OEM ID: %s ",oem);

  memcpy(str,mpc->mpc_productid,12);

  str[12]=0;

  printk("Product ID: %s ",str);

  mps_oem_check(mpc, oem, str);

  printk("APIC at: %#x\n", mpc->mpc_lapic);

  /* 

   * Save the local APIC address (it might be non-default) -- but only

   * if we're not using ACPI.

   */

  if (!acpi_lapic)

    mp_lapic_addr = mpc->mpc_lapic;

  /*

   *  Now process the configuration blocks.

   */

  while (count < mpc->mpc_length) {

    switch(*mpt) {

      case MP_PROCESSOR:

      {

        struct mpc_config_processor *m=

          (struct mpc_config_processor *)mpt;

        mpt += sizeof(*m);

        count += sizeof(*m);

        /* ACPI may have already provided this data. */

        if (acpi_lapic)

          break;

        printk("Processor #%02x %u:%u APIC version %u%s\n",

               m->mpc_apicid,

               MASK_EXTR(m->mpc_cpufeature,

             CPU_FAMILY_MASK),

               MASK_EXTR(m->mpc_cpufeature,

             CPU_MODEL_MASK),

               m->mpc_apicver,

               m->mpc_cpuflag & CPU_ENABLED

               ? "" : " [disabled]");

        MP_processor_info(m);

        break;

      }

      case MP_BUS:

      {

        struct mpc_config_bus *m=

          (struct mpc_config_bus *)mpt;

        MP_bus_info(m);

        mpt += sizeof(*m);

        count += sizeof(*m);

        break;

      }

      case MP_IOAPIC:

      {

        struct mpc_config_ioapic *m=

          (struct mpc_config_ioapic *)mpt;

        MP_ioapic_info(m);

        mpt+=sizeof(*m);

        count+=sizeof(*m);

        break;

      }

      case MP_INTSRC:

      {

        struct mpc_config_intsrc *m=

          (struct mpc_config_intsrc *)mpt;

        MP_intsrc_info(m);

        mpt+=sizeof(*m);

        count+=sizeof(*m);

        break;

      }

      case MP_LINTSRC:

      {

        struct mpc_config_lintsrc *m=

          (struct mpc_config_lintsrc *)mpt;

        MP_lintsrc_info(m);

        mpt+=sizeof(*m);

        count+=sizeof(*m);

        break;

      }

      default:

      {

        count = mpc->mpc_length;

        break;

      }

    }

  }

  clustered_apic_check();

  if (!num_processors)

    printk(KERN_ERR "SMP mptable: no processors registered!\n");

  return num_processors;

}

static int __init ELCR_trigger(unsigned int irq)

{

  unsigned int port;

  port = 0x4d0 + (irq >> 3);

  return (inb(port) >> (irq & 7)) & 1;

}

static void __init construct_default_ioirq_mptable(int mpc_default_type)

{

  struct mpc_config_intsrc intsrc;

  int i;

  int ELCR_fallback = 0;

  intsrc.mpc_type = MP_INTSRC;

  intsrc.mpc_irqflag = 0;     /* conforming */

  intsrc.mpc_srcbus = 0;

  intsrc.mpc_dstapic = mp_ioapics[0].mpc_apicid;

  intsrc.mpc_irqtype = mp_INT;

  /*

   *  If true, we have an ISA/PCI system with no IRQ entries

   *  in the MP table. To prevent the PCI interrupts from being set up

   *  incorrectly, we try to use the ELCR. The sanity check to see if

   *  there is good ELCR data is very simple - IRQ0, 1, 2 and 13 can

   *  never be level sensitive, so we simply see if the ELCR agrees.

   *  If it does, we assume it's valid.

   */

  if (mpc_default_type == 5) {

    printk(KERN_INFO "ISA/PCI bus type with no IRQ information... falling back to ELCR\n");

    if (ELCR_trigger(0) || ELCR_trigger(1) || ELCR_trigger(2) || ELCR_trigger(13))

      printk(KERN_WARNING "ELCR contains invalid data... not using ELCR\n");

    else {

      printk(KERN_INFO "Using ELCR to identify PCI interrupts\n");

      ELCR_fallback = 1;

    }

  }

  for (i = 0; platform_legacy_irq(i); i++) {

    switch (mpc_default_type) {

    case 2:

      if (i == 0 || i == 13)

        continue; /* IRQ0 & IRQ13 not connected */

      /* fall through */

    default:

      if (i == 2)

        continue; /* IRQ2 is never connected */

    }

    if (ELCR_fallback) {

      /*

       *  If the ELCR indicates a level-sensitive interrupt, we

       *  copy that information over to the MP table in the

       *  irqflag field (level sensitive, active high polarity).

       */

      if (ELCR_trigger(i))

        intsrc.mpc_irqflag = 13;

      else

        intsrc.mpc_irqflag = 0;

    }

    intsrc.mpc_srcbusirq = i;

    intsrc.mpc_dstirq = i ? i : 2;   /* IRQ0 to INTIN2 */

    MP_intsrc_info(&intsrc);

  }

  intsrc.mpc_irqtype = mp_ExtINT;

  intsrc.mpc_srcbusirq = 0;

  intsrc.mpc_dstirq = 0;        /* 8259A to INTIN0 */

  MP_intsrc_info(&intsrc);

}

static inline void __init construct_default_ISA_mptable(int mpc_default_type)

{

  struct mpc_config_processor processor;

  struct mpc_config_bus bus;

  struct mpc_config_ioapic ioapic;

  struct mpc_config_lintsrc lintsrc;

  int linttypes[2] = { mp_ExtINT, mp_NMI };

  int i;

  /*

   * local APIC has default address

   */

  mp_lapic_addr = APIC_DEFAULT_PHYS_BASE;

  /*

   * 2 CPUs, numbered 0 & 1.

   */

  processor.mpc_type = MP_PROCESSOR;

  /* Either an integrated APIC or a discrete 82489DX. */

  processor.mpc_apicver = mpc_default_type > 4 ? 0x10 : 0x01;

  processor.mpc_cpuflag = CPU_ENABLED;

  processor.mpc_cpufeature = (boot_cpu_data.x86 << 8) |

           (boot_cpu_data.x86_model << 4) |

           boot_cpu_data.x86_mask;

  processor.mpc_featureflag =

            boot_cpu_data.x86_capability[cpufeat_word(X86_FEATURE_FPU)];

  processor.mpc_reserved[0] = 0;

  processor.mpc_reserved[1] = 0;

  for (i = 0; i < 2; i++) {

    processor.mpc_apicid = i;

    MP_processor_info(&processor);

  }

  bus.mpc_type = MP_BUS;

  bus.mpc_busid = 0;

  switch (mpc_default_type) {

    default:

      printk("???\n");

      printk(KERN_ERR "Unknown standard configuration %d\n",

        mpc_default_type);

      /* fall through */

    case 1:

    case 5:

      memcpy(bus.mpc_bustype, "ISA   ", 6);

      break;

    case 2:

    case 6:

    case 3:

      memcpy(bus.mpc_bustype, "EISA  ", 6);

      break;

    case 4:

    case 7:

      memcpy(bus.mpc_bustype, "MCA   ", 6);

  }

  MP_bus_info(&bus);

  if (mpc_default_type > 4) {

    bus.mpc_busid = 1;

    memcpy(bus.mpc_bustype, "PCI   ", 6);

    MP_bus_info(&bus);

  }

  ioapic.mpc_type = MP_IOAPIC;

  ioapic.mpc_apicid = 2;

  ioapic.mpc_apicver = mpc_default_type > 4 ? 0x10 : 0x01;

  ioapic.mpc_flags = MPC_APIC_USABLE;

  ioapic.mpc_apicaddr = 0xFEC00000;

  MP_ioapic_info(&ioapic);

  /*

   * We set up most of the low 16 IO-APIC pins according to MPS rules.

   */

  construct_default_ioirq_mptable(mpc_default_type);

  lintsrc.mpc_type = MP_LINTSRC;

  lintsrc.mpc_irqflag = 0;    /* conforming */

  lintsrc.mpc_srcbusid = 0;

  lintsrc.mpc_srcbusirq = 0;

  lintsrc.mpc_destapic = MP_APIC_ALL;

  for (i = 0; i < 2; i++) {

    lintsrc.mpc_irqtype = linttypes[i];

    lintsrc.mpc_destapiclint = i;

    MP_lintsrc_info(&lintsrc);

  }

}

static __init void efi_unmap_mpf(void)

{

  if (efi_enabled(EFI_BOOT))

    clear_fixmap(FIX_EFI_MPF);

}

static struct intel_mp_floating *__initdata mpf_found;

/*

 * Scan the memory blocks for an SMP configuration block.

 */

void __init get_smp_config (void)

{

  struct intel_mp_floating *mpf = mpf_found;

  /*

   * ACPI supports both logical (e.g. Hyper-Threading) and physical 

   * processors, where MPS only supports physical.

   */

  if (acpi_lapic && acpi_ioapic) {

    efi_unmap_mpf();

    printk(KERN_INFO "Using ACPI (MADT) for SMP configuration information\n");

    return;

  }

  else if (acpi_lapic)

    printk(KERN_INFO "Using ACPI for processor (LAPIC) configuration information\n");

  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 = true;

  } else {

    printk(KERN_INFO "    Virtual Wire compatibility mode.\n");

    pic_mode = false;

  }

  /*

   * Now see if we need to read further.

   */

  if (mpf->mpf_feature1 != 0) {

    printk(KERN_INFO "Default MP configuration #%d\n", mpf->mpf_feature1);

    construct_default_ISA_mptable(mpf->mpf_feature1);

  } else if (mpf->mpf_physptr) {

    /*

     * Read the physical hardware table.  Anything here will

     * override the defaults.

     */

    if (!smp_read_mpc((void *)(unsigned long)mpf->mpf_physptr)) {

      efi_unmap_mpf();

      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;

    }

    /*

     * If there are no explicit MP IRQ entries, then we are

     * broken.  We set up most of the low 16 IO-APIC pins to

     * ISA defaults and hope it will work.

     */

    if (!mp_irq_entries) {

      struct mpc_config_bus bus;

      printk(KERN_ERR "BIOS bug, no explicit IRQ entries, using default mptable. (tell your hw vendor)\n");

      bus.mpc_type = MP_BUS;

      bus.mpc_busid = 0;

      memcpy(bus.mpc_bustype, "ISA   ", 6);

      MP_bus_info(&bus);

      construct_default_ioirq_mptable(0);

    }

  } else

    BUG();

  efi_unmap_mpf();

  printk(KERN_INFO "Processors: %d\n", num_processors);

  /*

   * Only use the first configuration found.

   */

}

static int __init smp_scan_config (unsigned long base, unsigned long length)

{

  unsigned int *bp = maddr_to_virt(base);

  struct intel_mp_floating *mpf;

  Dprintk("Scan SMP from %p for %ld bytes.\n", bp,length);

  if (sizeof(*mpf) != 16)

    printk("Error: MPF size\n");

  while (length > 0) {

    mpf = (struct intel_mp_floating *)bp;

    if ((*bp == SMP_MAGIC_IDENT) &&

      (mpf->mpf_length == 1) &&

      !mpf_checksum((unsigned char *)bp, 16) &&

      ((mpf->mpf_specification == 1)

        || (mpf->mpf_specification == 4)) ) {

      smp_found_config = true;

      printk(KERN_INFO "found SMP MP-table at %08lx\n",

            virt_to_maddr(mpf));

#if 0

      reserve_bootmem(virt_to_maddr(mpf), PAGE_SIZE);

      if (mpf->mpf_physptr) {

        /*

         * We cannot access to MPC table to compute

         * table size yet, as only few megabytes from

         * the bottom is mapped now.

         * PC-9800's MPC table places on the very last

         * of physical memory; so that simply reserving

         * PAGE_SIZE from mpg->mpf_physptr yields BUG()

         * in reserve_bootmem.

         */

        unsigned long size = PAGE_SIZE;

        unsigned long end = max_low_pfn * PAGE_SIZE;

        if (mpf->mpf_physptr + size > end)

          size = end - mpf->mpf_physptr;

        reserve_bootmem(mpf->mpf_physptr, size);

      }

#endif

      mpf_found = mpf;

      return 1;

    }

    bp += 4;

    length -= 16;

  }

  return 0;

}

static void __init efi_check_config(void)

{

  struct intel_mp_floating *mpf;

  if (efi.mps == EFI_INVALID_TABLE_ADDR)

    return;

  __set_fixmap(FIX_EFI_MPF, PFN_DOWN(efi.mps), __PAGE_HYPERVISOR);

  mpf = (void *)fix_to_virt(FIX_EFI_MPF) + ((long)efi.mps & (PAGE_SIZE-1));

  if (memcmp(mpf->mpf_signature, "_MP_", 4) == 0 &&

      mpf->mpf_length == 1 &&

      mpf_checksum((void *)mpf, 16) &&

      (mpf->mpf_specification == 1 || mpf->mpf_specification == 4)) {

    smp_found_config = true;

    printk(KERN_INFO "SMP MP-table at %08lx\n", efi.mps);

    mpf_found = mpf;

  }

  else

    efi_unmap_mpf();

}

void __init find_smp_config (void)

{

  unsigned int address;

  if (efi_enabled(EFI_BOOT)) {

    efi_check_config();

    return;

  }

  /*

   * FIXME: Linux assumes you have 640K of base ram..

   * this continues the error...

   *

   * 1) Scan the bottom 1K for a signature

   * 2) Scan the top 1K of base RAM

   * 3) Scan the 64K of bios

   */

  if (smp_scan_config(0x0,0x400) ||

    smp_scan_config(639*0x400,0x400) ||

      smp_scan_config(0xF0000,0x10000))

    return;

  /*

   * If it is an SMP machine we should know now, unless the

   * configuration is in an EISA/MCA bus machine with an

   * extended bios data area.

   *

   * there is a real-mode segmented pointer pointing to the

   * 4K EBDA area at 0x40E, calculate and scan it here.

   *

   * NOTE! There are Linux loaders that will corrupt the EBDA

   * area, and as such this kind of SMP config may be less

   * trustworthy, simply because the SMP table may have been

   * stomped on during early boot. These loaders are buggy and

   * should be fixed.

   *

   * MP1.4 SPEC states to only scan first 1K of 4K EBDA.

   */

  address = get_bios_ebda();

  if (address)

    smp_scan_config(address, 0x400);

}

/* --------------------------------------------------------------------------

                            ACPI-based MP Configuration

   -------------------------------------------------------------------------- */

#ifdef CONFIG_ACPI

void __init mp_register_lapic_address (

  u64     address)

{

  if (!x2apic_enabled) {

    mp_lapic_addr = (unsigned long) address;

    set_fixmap_nocache(FIX_APIC_BASE, mp_lapic_addr);

  }

  if (boot_cpu_physical_apicid == -1U)

    boot_cpu_physical_apicid = get_apic_id();

  Dprintk("Boot CPU = %d\n", boot_cpu_physical_apicid);

}

int mp_register_lapic(u32 id, bool enabled, bool hotplug)

{

  struct mpc_config_processor processor = {

    .mpc_type = MP_PROCESSOR,

    /* Note: We don't fill in fields not consumed anywhere. */

    .mpc_apicid = id,

    .mpc_apicver = GET_APIC_VERSION(apic_read(APIC_LVR)),

    .mpc_cpuflag = (enabled ? CPU_ENABLED : 0) |

             (id == boot_cpu_physical_apicid ?

        CPU_BOOTPROCESSOR : 0),

  };

  if (MAX_APICS <= id) {

    printk(KERN_WARNING "Processor #%d invalid (max %d)\n",

      id, MAX_APICS);

    return -EINVAL;

  }

  return MP_processor_info_x(&processor, id, hotplug);

}

void mp_unregister_lapic(uint32_t apic_id, uint32_t cpu)

{

  if (!cpu || (apic_id == boot_cpu_physical_apicid))

    return;

  if (x86_cpu_to_apicid[cpu] != apic_id)

    return;

  physid_clear(apic_id, phys_cpu_present_map);

  x86_cpu_to_apicid[cpu] = BAD_APICID;

  cpumask_clear_cpu(cpu, &cpu_present_map);

}

#define MP_ISA_BUS    0

#define MP_MAX_IOAPIC_PIN 127

static struct mp_ioapic_routing {

  int   gsi_base;

  int   gsi_end;

  unsigned long pin_programmed[BITS_TO_LONGS(MP_MAX_IOAPIC_PIN + 1)];

} mp_ioapic_routing[MAX_IO_APICS];

static int mp_find_ioapic (

  int     gsi)

{

  unsigned int    i;

  /* Find the IOAPIC that manages this GSI. */

  for (i = 0; i < nr_ioapics; i++) {

    if ((gsi >= mp_ioapic_routing[i].gsi_base)

      && (gsi <= mp_ioapic_routing[i].gsi_end))

      return i;

  }

  printk(KERN_ERR "ERROR: Unable to locate IOAPIC for GSI %d\n", gsi);

  return -1;

}

void __init mp_register_ioapic (

  u8      id, 

  u32     address,

  u32     gsi_base)

{

  int     idx = 0;

  int     tmpid;

  if (nr_ioapics >= MAX_IO_APICS) {

    printk(KERN_ERR "ERROR: Max # of I/O APICs (%d) exceeded "

      "(found %d)\n", MAX_IO_APICS, nr_ioapics);

    panic("Recompile kernel with bigger MAX_IO_APICS");

  }

  if (!address) {

    printk(KERN_ERR "WARNING: Bogus (zero) I/O APIC address"

      " found in MADT table, skipping!\n");

    return;

  }

  idx = nr_ioapics++;

  mp_ioapics[idx].mpc_type = MP_IOAPIC;

  mp_ioapics[idx].mpc_flags = MPC_APIC_USABLE;

  mp_ioapics[idx].mpc_apicaddr = address;

  set_fixmap_nocache(FIX_IO_APIC_BASE_0 + idx, address);

  if ((boot_cpu_data.x86_vendor == X86_VENDOR_INTEL)

    && !APIC_XAPIC(apic_version[boot_cpu_physical_apicid]))

    tmpid = io_apic_get_unique_id(idx, id);

  else

    tmpid = id;

  if (tmpid == -1) {

    nr_ioapics--;

    return;

  }

  mp_ioapics[idx].mpc_apicid = tmpid;

  mp_ioapics[idx].mpc_apicver = io_apic_get_version(idx);

  /* 

   * Build basic GSI lookup table to facilitate gsi->io_apic lookups

   * and to prevent reprogramming of IOAPIC pins (PCI GSIs).

   */

  mp_ioapic_routing[idx].gsi_base = gsi_base;

  mp_ioapic_routing[idx].gsi_end = gsi_base + 

    io_apic_get_redir_entries(idx);

  printk("IOAPIC[%d]: apic_id %d, version %d, address %#x, "

    "GSI %d-%d\n", idx, mp_ioapics[idx].mpc_apicid, 

    mp_ioapics[idx].mpc_apicver, mp_ioapics[idx].mpc_apicaddr,

    mp_ioapic_routing[idx].gsi_base,

    mp_ioapic_routing[idx].gsi_end);

  return;

}

unsigned __init highest_gsi(void)

{

  unsigned x, res = 0;