[PATCH-3] A new irq device interface

2020-08-01 Thread Junling Ma
In this patch, the old interface of device_intr_register and device_intr_ack is removed. Junling Ma --- Makefrag.am| 2 - device/ds_routines.c | 62 -- device/intr.c | 104 - device/intr.h

[PATCH-2] A new irq device interface -- resend in plain text

2020-08-01 Thread Junling Ma
Sorry the previous PATCH-2 was not in plain text. Here is a resend. — Hi all, In this patch, the new interface of irq device is implemented. Please see the first patch for a description. Junling Ma --- device/ds_routines.c | 2 +- device/intr.c| 184

[PATCH-2] A new irq device interface

2020-08-01 Thread Junling Ma
Hi all, In this patch, the new interface of irq device is implemented. Please see the first patch for a description. Junling Ma --- device/ds_routines.c | 2 +- device/intr.c| 184 +-- device/intr.h| 11 ++- i386/i386at/conf.c | 4

[PATCH-1] A new irq device interface

2020-08-01 Thread Junling Ma
Hi all, When I am playing with the current irq device and user interrupt handling, I see that each device must implement the device_intr_register and device_intr_ack calls. However, they are only meaningful for the irq device. So when writing device translators, this seems a little confusing to