Changes in kernel/generic/include/ddi/ddi.h [8cd680c:9d58539] in mainline

File:

• kernel/generic/include/ddi/ddi.h (modified) (1 diff)

kernel/generic/include/ddi/ddi.h

@@ -70 +70 @@
  */
 extern int ddi_iospace_enable_arch(task_t *, uintptr_t, size_t);
-extern int ddi_iospace_disable_arch(task_t *, uintptr_t, size_t);
 
 #endif