| 
				
			 | 
			
			
				
				@@ -72,9 +72,9 @@ void * alloc_base_memory ( size_t size ) { 
			 | 
		
		
	
		
			
			| 
				72
			 | 
			
				72
			 | 
			
			
				
				 	 */ 
			 | 
		
		
	
		
			
			| 
				73
			 | 
			
				73
			 | 
			
			
				
				 	memset ( ptr, 0, size_kb << 10 ); 
			 | 
		
		
	
		
			
			| 
				74
			 | 
			
				74
			 | 
			
			
				
				  
			 | 
		
		
	
		
			
			| 
				75
			 | 
			
				
			 | 
			
			
				
				-	DBG ( "Allocated %d kB of base memory at [%hx:0000,%hx:0000), " \ 
			 | 
		
		
	
		
			
			| 
				76
			 | 
			
				
			 | 
			
			
				
				-	      "%d kB now free\n", size_kb, \ 
			 | 
		
		
	
		
			
			| 
				77
			 | 
			
				
			 | 
			
			
				
				-	      ( virt_to_phys ( ptr ) >> 4 ), \ 
			 | 
		
		
	
		
			
			| 
				
			 | 
			
				75
			 | 
			
			
				
				+	DBG ( "Allocated %d kB of base memory at [%4.4lx:0000,%4.4lx:0000), " 
			 | 
		
		
	
		
			
			| 
				
			 | 
			
				76
			 | 
			
			
				
				+	      "%d kB now free\n", size_kb, 
			 | 
		
		
	
		
			
			| 
				
			 | 
			
				77
			 | 
			
			
				
				+	      ( virt_to_phys ( ptr ) >> 4 ), 
			 | 
		
		
	
		
			
			| 
				78
			 | 
			
				78
			 | 
			
			
				
				 	      ( ( virt_to_phys ( ptr ) + ( size_kb << 10 ) ) >> 4 ), fbms ); 
			 | 
		
		
	
		
			
			| 
				79
			 | 
			
				79
			 | 
			
			
				
				  
			 | 
		
		
	
		
			
			| 
				80
			 | 
			
				80
			 | 
			
			
				
				 	/* Update our memory map */ 
			 | 
		
		
	
	
		
			
			| 
				
			 | 
			
			
				
				@@ -108,7 +108,7 @@ void free_base_memory ( void *ptr, size_t size ) { 
			 | 
		
		
	
		
			
			| 
				108
			 | 
			
				108
			 | 
			
			
				
				 		return;  
			 | 
		
		
	
		
			
			| 
				109
			 | 
			
				109
			 | 
			
			
				
				 	} 
			 | 
		
		
	
		
			
			| 
				110
			 | 
			
				110
			 | 
			
			
				
				  
			 | 
		
		
	
		
			
			| 
				111
			 | 
			
				
			 | 
			
			
				
				-	DBG ( "Trying to free %d bytes base memory at %hx:%hx " 
			 | 
		
		
	
		
			
			| 
				
			 | 
			
				111
			 | 
			
			
				
				+	DBG ( "Trying to free %d bytes base memory at %4.4lx:%4.4lx " 
			 | 
		
		
	
		
			
			| 
				112
			 | 
			
				112
			 | 
			
			
				
				 	      "from %d kB free\n", size, 
			 | 
		
		
	
		
			
			| 
				113
			 | 
			
				113
			 | 
			
			
				
				 	      ( virt_to_phys ( ptr - remainder ) >> 4 ), 
			 | 
		
		
	
		
			
			| 
				114
			 | 
			
				114
			 | 
			
			
				
				 	      ( virt_to_phys ( ptr - remainder ) & 0xf ) + remainder, 
			 | 
		
		
	
	
		
			
			| 
				
			 | 
			
			
				
				@@ -168,7 +168,7 @@ static void free_unused_base_memory ( void ) { 
			 | 
		
		
	
		
			
			| 
				168
			 | 
			
				168
			 | 
			
			
				
				 		/* Return memory to BIOS */ 
			 | 
		
		
	
		
			
			| 
				169
			 | 
			
				169
			 | 
			
			
				
				 		fbms += free_block->header.size_kb; 
			 | 
		
		
	
		
			
			| 
				170
			 | 
			
				170
			 | 
			
			
				
				  
			 | 
		
		
	
		
			
			| 
				171
			 | 
			
				
			 | 
			
			
				
				-		DBG ( "Freed %d kB of base memory at [%hx:0000,%hx:0000), " 
			 | 
		
		
	
		
			
			| 
				
			 | 
			
				171
			 | 
			
			
				
				+		DBG ( "Freed %ld kB of base memory at [%4.4lx:0000,%4.4lx:0000), " 
			 | 
		
		
	
		
			
			| 
				172
			 | 
			
				172
			 | 
			
			
				
				 		      "%d kB now free\n", 
			 | 
		
		
	
		
			
			| 
				173
			 | 
			
				173
			 | 
			
			
				
				 		      free_block->header.size_kb, 
			 | 
		
		
	
		
			
			| 
				174
			 | 
			
				174
			 | 
			
			
				
				 		      ( virt_to_phys ( free_block ) >> 4 ), 
			 |