#ifndef DEVICE_INTERRUPT_H
#define DEVICE_INTERRUPT_H

struct intr_entry;
boolean_t queue_intr (struct intr_entry *e);
int insert_intr_entry (int line, ipc_port_t dest, struct intr_entry **entry);

int install_user_intr_handler (unsigned int line,
			       unsigned long flags,
			       struct intr_entry *entry);

void intr_thread (void);

#endif	/* DEVICE_INTERRUPT_H */