#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.