diff --git a/sys/vmm/paging.c b/sys/vmm/paging.c index 58213f4..eccaddc 100644 --- a/sys/vmm/paging.c +++ b/sys/vmm/paging.c @@ -241,8 +241,6 @@ uint16_t destPageDirectoryIndex = 0x0, destPageTableIndex = 0x0; uint32_t *pageDir = 0x0, *pageTable = 0x0; - short i = 0x0; - if( pid < sysID ) kpanic( "Invalid PID %i", pid ); @@ -355,9 +353,9 @@ ***********************************************************************/ void *vmm_getFreeKernelPage( pidType pid, uint16_t count ) { - int pdI = 0x0, ptI = 0x0, c = 0, lc = 0; + int pdI = 0x0, ptI = 0x0, c = 0; - uint32_t *pageDirectory = PD_BASE_ADDR; + uint32_t *pageDirectory = ( uint32_t * ) PD_BASE_ADDR; uint32_t *pageTable = 0x0; @@ -431,7 +429,7 @@ spinUnlock( &pdSpinLock ); - return( startAddress ); + return( ( void * ) startAddress ); }