HelenOS sources

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