From 6d5657d620e941f419d252e53ad79f2c1b41ea08 Mon Sep 17 00:00:00 2001 From: Alexandru Gagniuc Date: Sat, 6 Dec 2014 03:29:25 -0600 Subject: hp/pavilion_m6_1035dx: Enable IOMMU Change-Id: Ia14490c9074d35b7dde99e38b4ee169d4e4589a4 Signed-off-by: Alexandru Gagniuc Reviewed-on: http://review.coreboot.org/7678 Reviewed-by: Edward O'Callaghan Tested-by: build bot (Jenkins) Reviewed-by: Paul Menzel --- src/mainboard/hp/pavilion_m6_1035dx/mptable.c | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'src/mainboard/hp/pavilion_m6_1035dx/mptable.c') diff --git a/src/mainboard/hp/pavilion_m6_1035dx/mptable.c b/src/mainboard/hp/pavilion_m6_1035dx/mptable.c index f47b9d9495..65b1279e47 100644 --- a/src/mainboard/hp/pavilion_m6_1035dx/mptable.c +++ b/src/mainboard/hp/pavilion_m6_1035dx/mptable.c @@ -118,6 +118,12 @@ static void *smp_write_config_table(void *v) #define PCI_INT(bus, dev, int_sign, pin) \ smp_write_intsrc(mc, mp_INT, MP_IRQ_TRIGGER_LEVEL|MP_IRQ_POLARITY_LOW, (bus), (((dev)<<2)|(int_sign)), ioapic_id, (pin)) + /* IOMMU */ + PCI_INT(0x0, 0x00, 0x0, 0x10); + PCI_INT(0x0, 0x00, 0x1, 0x11); + PCI_INT(0x0, 0x00, 0x2, 0x12); + PCI_INT(0x0, 0x00, 0x3, 0x13); + /* Internal VGA */ PCI_INT(0x0, 0x01, 0x0, intr_data[0x02]); PCI_INT(0x0, 0x01, 0x1, intr_data[0x03]); -- cgit v1.2.3