diff options
author | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2020-07-09 23:46:32 +0200 |
---|---|---|
committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2020-07-09 23:52:46 +0200 |
commit | 297950e5dad7b18d27bb6ab53d676524a744c979 (patch) | |
tree | f479d83504ccb456d8c405fd9cedbfcd3df6df62 /device/intr.h | |
parent | af36dbf3fd0cd065afadf0d8e7ae3aac39280bc4 (diff) | |
parent | e85ae9d7befbfe7a79235e68fb0423d40b6baf6c (diff) |
Merge branch 'master-user_level_drivers2' into master-user_level_drivers2-debian
Diffstat (limited to 'device/intr.h')
-rw-r--r-- | device/intr.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/device/intr.h b/device/intr.h index cd3e0bce..bd639910 100644 --- a/device/intr.h +++ b/device/intr.h @@ -36,6 +36,7 @@ typedef struct { int n_unacked; /* Number of times irqs were disabled for this */ ipc_port_t dst_port; /* Notification port */ int id; /* Mapping to machine dependent irq_t array elem */ + int compat; } user_intr_t; struct irqdev { @@ -52,7 +53,7 @@ struct irqdev { extern queue_head_t main_intr_queue; extern int install_user_intr_handler (struct irqdev *dev, int id, unsigned long flags, user_intr_t *e); extern int deliver_user_intr (struct irqdev *dev, int id, user_intr_t *e); -extern user_intr_t *insert_intr_entry (struct irqdev *dev, int id, ipc_port_t receive_port); +extern user_intr_t *insert_intr_entry (struct irqdev *dev, int id, ipc_port_t receive_port, int compat); void intr_thread (void); kern_return_t irq_acknowledge (ipc_port_t receive_port); |