iospace_disable 418 kernel/generic/src/ddi/ddi.c return (sys_errno_t) iospace_disable((task_id_t) arg.task_id, iospace_disable 321 uspace/lib/c/generic/ddi.c return iospace_disable(task_get_id(), virt, size); iospace_disable 323 uspace/lib/c/generic/ddi.c (void) iospace_disable;HelenOS homepage, sources at GitHub