HelenOS sources

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;