src/mainboard/via/vt8454c/mptable.c

   1 /*
   2  * This file is part of the coreboot project.
   3  *
   4  * Copyright (C) 2007-2009 coresystems GmbH
   5  *
   6  * This program is free software; you can redistribute it and/or
   7  * modify it under the terms of the GNU General Public License as
   8  * published by the Free Software Foundation; version 2 of
   9  * the License.
  10  *
  11  * This program is distributed in the hope that it will be useful,
  12  * but WITHOUT ANY WARRANTY; without even the implied warranty of
  13  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  14  * GNU General Public License for more details.
  15  *
  16  * You should have received a copy of the GNU General Public License
  17  * along with this program; if not, write to the Free Software
  18  * Foundation, Inc., 51 Franklin St, Fifth Floor, Boston,
  19  * MA 02110-1301 USA
  20  */
  21
  22 #include <device/device.h>
  23 #include <device/pci.h>
  24 #include <arch/smp/mpspec.h>
  25 #include <arch/ioapic.h>
  26 #include <cpu/x86/lapic.h>
  27 #include <console/console.h>
  28 #include <string.h>
  29 #include <stdint.h>
  30
  31 static void *smp_write_config_table(void *v)
  32 {
  33         struct mp_config_table *mc;
  34         int isa_bus;
  35
  36         mc = (void *)(((char *)v) + SMP_FLOATING_TABLE_LEN);
  37
  38         mptable_init(mc, LOCAL_APIC_ADDR);
  39
  40         smp_write_processors(mc);
  41         mptable_write_buses(mc, NULL, &isa_bus);
  42
  43         /* I/O APICs:   APIC ID Version State Address */
  44         smp_write_ioapic(mc, 2, 17, IO_APIC_ADDR);
  45
  46         mptable_add_isa_interrupts(mc, isa_bus, 0x2, 0);
  47
  48         /* I/O Ints:    Type    Polarity    Trigger     Bus ID   IRQ    APIC ID PIN# */
  49         smp_write_intsrc(mc, mp_INT, MP_IRQ_TRIGGER_LEVEL | MP_IRQ_POLARITY_LOW, 0x0, 0x40, 0x2, 0x14);
  50         smp_write_intsrc(mc, mp_INT, MP_IRQ_TRIGGER_LEVEL | MP_IRQ_POLARITY_LOW, 0x0, 0x41, 0x2, 0x16);
  51         smp_write_intsrc(mc, mp_INT, MP_IRQ_TRIGGER_LEVEL | MP_IRQ_POLARITY_LOW, 0x0, 0x42, 0x2, 0x15);
  52         smp_write_intsrc(mc, mp_INT, MP_IRQ_TRIGGER_LEVEL | MP_IRQ_POLARITY_LOW, 0x0, 0x43, 0x2, 0x17);
  53         smp_write_intsrc(mc, mp_INT, MP_IRQ_TRIGGER_LEVEL | MP_IRQ_POLARITY_LOW, 0x80, 0x4, 0x2, 0x11);
  54         smp_write_intsrc(mc, mp_INT, MP_IRQ_TRIGGER_LEVEL | MP_IRQ_POLARITY_LOW, 0x1, 0x0, 0x2, 0x11);
  55         smp_write_intsrc(mc, mp_INT, MP_IRQ_TRIGGER_LEVEL | MP_IRQ_POLARITY_LOW, 0x2, 0x10, 0x2, 0x11);
  56
  57         /*Local Ints:   Type    Polarity    Trigger     Bus ID   IRQ    APIC ID PIN# */
  58         mptable_lintsrc(mc, 0x0);
  59
  60         /* Compute the checksums */
  61         return mptable_finalize(mc);
  62 }
  63
  64 unsigned long write_smp_table(unsigned long addr)
  65 {
  66         void *v;
  67         v = smp_write_floating_table(addr, 0);
  68         return (unsigned long)smp_write_config_table(v);
  69 }