[ion] 14743: Fix win32k building

Fix win32k building
Modified: trunk/reactos/ntoskrnl/include/internal/mm.h
  _____  

Modified: trunk/reactos/ntoskrnl/include/internal/mm.h
--- trunk/reactos/ntoskrnl/include/internal/mm.h	2005-04-22
12:52:25 UTC (rev 14742)
+++ trunk/reactos/ntoskrnl/include/internal/mm.h	2005-04-22
13:17:35 UTC (rev 14743)
@@ -508,7 +508,7 @@

 STDCALL
 MmCreatePeb(PEPROCESS Process);
 
-PTEB
+struct _TEB*
 STDCALL
 MmCreateTeb(PEPROCESS Process,
             PCLIENT_ID ClientId,
@@ -517,7 +517,7 @@
 VOID
 STDCALL
 MmDeleteTeb(PEPROCESS Process,
-            PTEB Teb);
+            struct _TEB* Teb);
 
 /* i386/pfault.c
*************************************************************/