Import backup from 2004-05-22

kernel/video/video.cpp

@@ -5,6 +5,7 @@
 #include "hos_defines.h"
 #include "video.h"
 #include "video/stdfont.h"
+#include "mm/vmm.h"
 
 ModeInfoBlock	video_mode;
 dword	videoMode = 0;			//what video mode # we are in, 0 for console mode
@@ -34,6 +35,14 @@ void	video_init()
 	case 32:
 		video_psetp = &video_psetp32;
 	}
+		
+	unsigned int vidPages = video_mode.XResolution * video_mode.YResolution * (video_mode.BitsPerPixel >> 3);
+	if (vidPages % 4096)
+		vidPages = (vidPages >> 12) + 1;
+	else
+		vidPages = (vidPages >> 12);
+	vmm_mapn(0xF0000000, video_mode.PhysBasePtr, vidPages);
+
 }
 
 //Renders a character using stdfont[] as a bitmask