int v3_pci_set_irq_bridge(struct vm_device * pci_bus, int bus_num,
int (*raise_pci_irq)(struct vm_device * dev, uint_t intr_line),
+ int (*lower_pci_irq)(struct vm_device * dev, uint_t intr_line),
struct vm_device * bridge_dev);
int v3_pci_raise_irq(struct vm_device * pci_bus, int bus_num, struct pci_device * dev);
+int v3_pci_lower_irq(struct vm_device * pci_bus, int bus_num, struct pci_device * dev);
struct pci_device *
v3_pci_register_device(struct vm_device * pci,
// Bitmap of the allocated device numbers
uint8_t dev_map[MAX_BUS_DEVICES / 8];
- int (*raise_pci_irq)(struct vm_device * dev, uint_t intr_line);
+ int (*raise_pci_irq)(struct vm_device * dev, uint_t intr_pin);
+ int (*lower_pci_irq)(struct vm_device * dev, uint_t intr_pin);
struct vm_device * irq_bridge_dev;
};
int v3_pci_set_irq_bridge(struct vm_device * pci_bus, int bus_num,
int (*raise_pci_irq)(struct vm_device * dev, uint_t intr_line),
+ int (*lower_pci_irq)(struct vm_device * dev, uint_t intr_line),
struct vm_device * bridge_dev) {
struct pci_internal * pci_state = (struct pci_internal *)pci_bus->private_data;
pci_state->bus_list[bus_num].raise_pci_irq = raise_pci_irq;
+ pci_state->bus_list[bus_num].lower_pci_irq = lower_pci_irq;
pci_state->bus_list[bus_num].irq_bridge_dev = bridge_dev;
return 0;
return bus->raise_pci_irq(bus->irq_bridge_dev, dev->config_header.intr_pin);
}
+int v3_pci_lower_irq(struct vm_device * pci_bus, int bus_num, struct pci_device * dev) {
+ struct pci_internal * pci_state = (struct pci_internal *)pci_bus->private_data;
+ struct pci_bus * bus = &(pci_state->bus_list[bus_num]);
+
+ return bus->lower_pci_irq(bus->irq_bridge_dev, dev->config_header.intr_pin);
+}
+
// if dev_num == -1, auto assign
struct pci_device * v3_pci_register_device(struct vm_device * pci,
pci_device_type_t dev_type,
* and the University of New Mexico. You can find out more at
* http://www.v3vee.org
*
- * Copyright (c) 2009, Lei Xia <lxia@northwestern.edu>
- * Copyright (c) 2009, Chang Seok Bae <jhuell@gmail.com>
* Copyright (c) 2009, Jack Lange <jarusl@cs.northwestern.edu>
* Copyright (c) 2009, The V3VEE Project <http://www.v3vee.org>
* All rights reserved.
*
- * Author: Lei Xia <lxia@northwestern.edu>
- * Chang Seok Bae <jhuell@gmail.com>
- * Jack Lange <jarusl@cs.northwestern.edu>
+ * Author: Jack Lange <jarusl@cs.northwestern.edu>
*
* This is free software. You are permitted to use,
* redistribute, and modify it as specified in the file "V3VEE_LICENSE".
+static int lower_pci_irq(struct vm_device * dev, uint_t intr_pin) {
+ struct v3_southbridge * piix3 = (struct v3_southbridge *)(dev->private_data);
+ struct pci_device * pci_dev = piix3->southbridge_pci;
+ struct piix3_config_space * piix3_cfg = (struct piix3_config_space *)(pci_dev->config_data);
+
+ PrintError("Lowering PCI IRQ %d\n", piix3_cfg->pirq_rc[intr_pin]);
+
+ v3_lower_irq(dev->vm, piix3_cfg->pirq_rc[intr_pin]);
+
+ return 0;
+}
+
+
+
static int piix_free(struct vm_device * dev) {
return 0;
}
piix3->southbridge_pci = pci_dev;
- v3_pci_set_irq_bridge(piix3->pci_bus, bus_num, raise_pci_irq, dev);
+ v3_pci_set_irq_bridge(piix3->pci_bus, bus_num, raise_pci_irq, lower_pci_irq, dev);
reset_piix3(dev);