#include <sys/types.h>#include <kernel/ddi/irq.h>#include <task.h>Go to the source code of this file.
| Functions | |
| int | device_assign_devno (void) | 
| Return unique device number. | |
| int | iospace_enable (task_id_t id, void *ioaddr, unsigned long size) | 
| Enable I/O space range to task. | |
| int | physmem_map (void *pf, void *vp, unsigned long pages, int flags) | 
| Map piece of physical memory to task. | |
| int | pio_enable (void *pio_addr, size_t size, void **use_addr) | 
| Enable PIO for specified I/O range. | |
| int | register_irq (int inr, int devno, int method, irq_code_t *ucode) | 
| Register IRQ notification. | |
| int | unregister_irq (int inr, int devno) | 
| Unregister IRQ notification. | |
Definition in file ddi.h.
 1.4.7
 1.4.7