/* Get the session ID */
SessionId = SessionGlobal->SessionId;
- DPRINT1("Last process in sessino %d going down!!!\n", SessionId);
+ DPRINT1("Last process in sessino %lu going down!!!\n", SessionId);
/* Free the session page tables */
#ifndef _M_AMD64
MmSessionSpace->PageTables[PointerPde - MiAddressToPde(MmSessionBase)] = *PointerPde;
#endif
InitializeListHead(&MmSessionSpace->ImageList);
- DPRINT1("Session %d is ready to go: 0x%p 0x%p, %lx 0x%p\n",
+ DPRINT1("Session %lu is ready to go: 0x%p 0x%p, %lx 0x%p\n",
*SessionId, MmSessionSpace, SessionGlobal, SessionPageDirIndex, PageTables);
/* Initialize session pool */