diff --git a/reactos/include/ddk/kefuncs.h b/reactos/include/ddk/kefuncs.h
index b8b6b4ebddc..89ce18e9ba5 100644
--- a/reactos/include/ddk/kefuncs.h
+++ b/reactos/include/ddk/kefuncs.h
@@ -406,14 +406,6 @@ NTSTATUS KeI386ReleaseGdtSelectors(OUT PULONG SelArray,
 NTSTATUS KeI386AllocateGdtSelectors(OUT PULONG SelArray,
 				    IN ULONG NumOfSelectors);
 
-/*
- * FUNCTION: Raises a user mode exception
- * ARGUMENTS:
- *	ExceptionCode = Status code of the exception
- */
-VOID KeRaiseUserException(NTSTATUS ExceptionCode);
-
-
 /*
  * FUNCTION: Enters the kernel debugger
  * ARGUMENTS: