HelenOS sources

ddi_iospace_disable_arch   87 kernel/arch/ia64/src/ddi/ddi.c errno_t ddi_iospace_disable_arch(task_t *task, uintptr_t ioaddr, size_t size)
ddi_iospace_disable_arch  122 kernel/genarch/src/ddi/ddi-bitmap.c errno_t ddi_iospace_disable_arch(task_t *task, uintptr_t ioaddr, size_t size)
ddi_iospace_disable_arch   65 kernel/genarch/src/ddi/ddi-dummy.c errno_t ddi_iospace_disable_arch(task_t *task, uintptr_t ioaddr, size_t size)