X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdevices%2Fpci.h;h=f2dfb77345f75375da2fe3c8a29cf07b987cf77a;hb=refs%2Fheads%2Fadar-usb;hp=a66ac76f14718aaa8ac6bf954399509040e14492;hpb=0d59f33ca7a5512305b2ab099d91031e1b3e4e4c;p=pintos-anon

diff --git a/src/devices/pci.h b/src/devices/pci.h
index a66ac76..f2dfb77 100755
--- a/src/devices/pci.h
+++ b/src/devices/pci.h
@@ -17,6 +17,9 @@
 #define PCI_REG_CLASS_SUB 0x0a
 #define PCI_REG_CLASS_BASE 0x0b
 #define PCI_REG_HEADER_TYPE 0x0e
+#define PCI_INTERRUPT_MASK_PIN 0xff00
+#define PCI_INTERRUPT_MASK_LINE 0xff
+#define PCI_REGNUM_INTERRUPT 15
 #define PCI_REGNUM_BASE_ADDRESS 4
 
 /* Base address related numbers */
@@ -46,6 +49,9 @@ struct pci_dev
 
   /* Resource space */
   struct resource resources[PCI_NUM_BARS];
+
+  /* Interrupt */
+  uint8_t irq;
 };
 
 void pci_init (void);