HelenOS sources

ddi_iospace_enable_arch   84 kernel/generic/include/ddi/ddi.h extern errno_t ddi_iospace_enable_arch(task_t *, uintptr_t, size_t);
ddi_iospace_enable_arch  349 kernel/generic/src/ddi/ddi.c 		rc = ddi_iospace_enable_arch(task, ioaddr, size);