Index: kernel/generic/src/ddi/ddi.c
===================================================================
--- kernel/generic/src/ddi/ddi.c	(revision b366a6f4b86cb7fe82fcf415965c5a7de1a59638)
+++ kernel/generic/src/ddi/ddi.c	(revision b538ca5cefd42f154f31ac8a6eaeb314a2eb8bf9)
@@ -41,5 +41,4 @@
 
 #include <ddi/ddi.h>
-#include <ddi/ddi_arg.h>
 #include <proc/task.h>
 #include <security/cap.h>