Changeset 3e828ea in mainline for kernel/genarch/src/drivers/i8259/i8259.c

Timestamp:

2019-09-23T12:49:29Z (7 years ago)

Author:

Jiri Svoboda <jiri@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

9be2358

Parents:

9259d20 (diff), 1a4ec93f (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

git-author:

Jiri Svoboda <jiri@…> (2019-09-22 12:49:07)

git-committer:

Jiri Svoboda <jiri@…> (2019-09-23 12:49:29)

Message:

Merge changes from master, especially Meson build

File:

• kernel/genarch/src/drivers/i8259/i8259.c (modified) (7 diffs)

kernel/genarch/src/drivers/i8259/i8259.c

@@ -32 +32 @@
 /**
  * @file
- * @brief PIC driver.
+ * @brief i8259 driver.
  *
  * Programmable Interrupt Controller for UP systems based on i8259 chip.
@@ -43 +43 @@
 #include <interrupt.h>
 
-static void pic_spurious(unsigned int n, istate_t *istate);
+/* ICW1 bits */
+#define I8259_ICW1           (1 << 4)
+#define I8259_ICW1_NEEDICW4  (1 << 0)
+
+/* OCW3 bits */
+#define I8259_OCW3           (1 << 3)
+#define I8259_OCW3_READ_ISR  (3 << 0)
+
+/* OCW4 bits */
+#define I8259_OCW4           (0 << 3)
+#define I8259_OCW4_NSEOI     (1 << 5)
+
+#define I8259_IRQ_COUNT 8
+
+#define I8259_IRQ_SLAVE 2
+
+static const char *i8259_get_name(void);
+
+pic_ops_t i8259_pic_ops = {
+        .get_name = i8259_get_name,
+        .enable_irqs = i8259_enable_irqs,
+        .disable_irqs = i8259_disable_irqs,
+        .eoi = i8259_eoi,
+        .is_spurious = i8259_is_spurious,
+        .handle_spurious = i8259_handle_spurious
+};
 
 // XXX: need to change pic_* API to get rid of these
@@ -49 +74 @@
 static i8259_t *saved_pic1;
 
-void i8259_init(i8259_t *pic0, i8259_t *pic1, inr_t pic1_irq,
-    unsigned int irq0_int, unsigned int irq8_int)
+void i8259_init(i8259_t *pic0, i8259_t *pic1, unsigned int irq0_vec)
 {
         saved_pic0 = pic0;
@@ -56 +80 @@
 
         /* ICW1: this is ICW1, ICW4 to follow */
-        pio_write_8(&pic0->port1, PIC_ICW1 | PIC_ICW1_NEEDICW4);
+        pio_write_8(&pic0->port1, I8259_ICW1 | I8259_ICW1_NEEDICW4);
 
-        /* ICW2: IRQ 0 maps to INT irq0_int */
-        pio_write_8(&pic0->port2, irq0_int);
+        /* ICW2: IRQ 0 maps to interrupt vector address irq0_vec */
+        pio_write_8(&pic0->port2, irq0_vec);
 
-        /* ICW3: pic1 using IRQ IRQ_PIC1 */
-        pio_write_8(&pic0->port2, 1 << pic1_irq);
+        /* ICW3: pic1 using IRQ I8259_IRQ_SLAVE */
+        pio_write_8(&pic0->port2, 1 << I8259_IRQ_SLAVE);
 
         /* ICW4: i8086 mode */
@@ -68 +92 @@
 
         /* ICW1: ICW1, ICW4 to follow */
-        pio_write_8(&pic1->port1, PIC_ICW1 | PIC_ICW1_NEEDICW4);
+        pio_write_8(&pic1->port1, I8259_ICW1 | I8259_ICW1_NEEDICW4);
 
-        /* ICW2: IRQ 8 maps to INT irq8_int */
-        pio_write_8(&pic1->port2, irq8_int);
+        /* ICW2: IRQ 8 maps to interrupt vector address irq0_vec + 8 */
+        pio_write_8(&pic1->port2, irq0_vec + I8259_IRQ_COUNT);
 
-        /* ICW3: pic1 is known as IRQ_PIC1 */
-        pio_write_8(&pic1->port2, pic1_irq);
+        /* ICW3: pic1 is known as I8259_IRQ_SLAVE */
+        pio_write_8(&pic1->port2, I8259_IRQ_SLAVE);
 
         /* ICW4: i8086 mode */
         pio_write_8(&pic1->port2, 1);
 
-        /*
-         * Register interrupt handler for the PIC spurious interrupt.
-         *
-         * XXX: This is currently broken. Both IRQ 7 and IRQ 15 can be spurious
-         *      or can be actual interrupts. This needs to be detected when
-         *      the interrupt happens by inspecting ISR.
-         */
-        exc_register(irq0_int + 7, "pic_spurious", false,
-            (iroutine_t) pic_spurious);
-
-        pic_disable_irqs(0xffff);               /* disable all irq's */
-        pic_enable_irqs(1 << pic1_irq);         /* but enable pic1_irq */
+        /* disable all irq's */
+        i8259_disable_irqs(0xffff);
+        /* but enable I8259_IRQ_SLAVE */
+        i8259_enable_irqs(1 << I8259_IRQ_SLAVE);
 }
 
-void pic_enable_irqs(uint16_t irqmask)
+const char *i8259_get_name(void)
+{
+        return "i8259";
+}
+
+void i8259_enable_irqs(uint16_t irqmask)
 {
         uint8_t x;
@@ -102 +123 @@
                     (uint8_t) (x & (~(irqmask & 0xff))));
         }
-        if (irqmask >> 8) {
+        if (irqmask >> I8259_IRQ_COUNT) {
                 x = pio_read_8(&saved_pic1->port2);
                 pio_write_8(&saved_pic1->port2,
-                    (uint8_t) (x & (~(irqmask >> 8))));
+                    (uint8_t) (x & (~(irqmask >> I8259_IRQ_COUNT))));
         }
 }
 
-void pic_disable_irqs(uint16_t irqmask)
+void i8259_disable_irqs(uint16_t irqmask)
 {
         uint8_t x;
@@ -118 +139 @@
                     (uint8_t) (x | (irqmask & 0xff)));
         }
-        if (irqmask >> 8) {
+        if (irqmask >> I8259_IRQ_COUNT) {
                 x = pio_read_8(&saved_pic1->port2);
-                pio_write_8(&saved_pic1->port2, (uint8_t) (x | (irqmask >> 8)));
+                pio_write_8(&saved_pic1->port2,
+                    (uint8_t) (x | (irqmask >> I8259_IRQ_COUNT)));
         }
 }
 
-void pic_eoi(void)
+void i8259_eoi(unsigned int irq)
 {
-        pio_write_8(&saved_pic0->port1, PIC_OCW4 | PIC_OCW4_NSEOI);
-        pio_write_8(&saved_pic1->port1, PIC_OCW4 | PIC_OCW4_NSEOI);
+        if (irq >= I8259_IRQ_COUNT)
+                pio_write_8(&saved_pic1->port1, I8259_OCW4 | I8259_OCW4_NSEOI);
+        pio_write_8(&saved_pic0->port1, I8259_OCW4 | I8259_OCW4_NSEOI);
 }
 
-void pic_spurious(unsigned int n __attribute__((unused)), istate_t *istate __attribute__((unused)))
+bool i8259_is_spurious(unsigned int irq)
 {
-#ifdef CONFIG_DEBUG
-        log(LF_ARCH, LVL_DEBUG, "cpu%u: PIC spurious interrupt", CPU->id);
-#endif
+        pio_write_8(&saved_pic0->port1, I8259_OCW3 | I8259_OCW3_READ_ISR);
+        pio_write_8(&saved_pic1->port1, I8259_OCW3 | I8259_OCW3_READ_ISR);
+        uint8_t isr_lo = pio_read_8(&saved_pic0->port1);
+        uint8_t isr_hi = pio_read_8(&saved_pic1->port1);
+        return !(((isr_hi << I8259_IRQ_COUNT) | isr_lo) & (1 << irq));
+}
+
+void i8259_handle_spurious(unsigned int irq)
+{
+        /* For spurious IRQs from pic1, we need to isssue an EOI to pic0 */
+        if (irq >= I8259_IRQ_COUNT)
+                pio_write_8(&saved_pic0->port1, I8259_OCW4 | I8259_OCW4_NSEOI);
 }