platform/bios_ia32/video.cpp

585 	if (gKernelArgs.frame_buffer.depth != 8)
791 	switch (gKernelArgs.frame_buffer.depth) {
815 	addr_t lastBase = gKernelArgs.frame_buffer.physical_buffer.start;
816 	size_t lastSize = gKernelArgs.frame_buffer.physical_buffer.size;
836 		gKernelArgs.frame_buffer.width = modeInfo.width;
837 		gKernelArgs.frame_buffer.height = modeInfo.height;
838 		gKernelArgs.frame_buffer.bytes_per_row = modeInfo.bytes_per_row;
839 		gKernelArgs.frame_buffer.depth = modeInfo.bits_per_pixel;
840 		gKernelArgs.frame_buffer.physical_buffer.size
842 				* (phys_size_t)gKernelArgs.frame_buffer.height;
843 		gKernelArgs.frame_buffer.physical_buffer.start = modeInfo.physical_base;
849 		gKernelArgs.frame_buffer.width = 640;
850 		gKernelArgs.frame_buffer.height = 480;
851 		gKernelArgs.frame_buffer.bytes_per_row = 80;
852 		gKernelArgs.frame_buffer.depth = 4;
853 		gKernelArgs.frame_buffer.physical_buffer.size
854 			= (phys_size_t)gKernelArgs.frame_buffer.width
855 				* (phys_size_t)gKernelArgs.frame_buffer.height / 2;
856 		gKernelArgs.frame_buffer.physical_buffer.start = 0xa0000;
859 	dprintf("video mode: %ux%ux%u\n", gKernelArgs.frame_buffer.width,
860 		gKernelArgs.frame_buffer.height, gKernelArgs.frame_buffer.depth);
862 	gKernelArgs.frame_buffer.enabled = true;
868 		&& (lastBase != gKernelArgs.frame_buffer.physical_buffer.start
869 			|| lastSize < gKernelArgs.frame_buffer.physical_buffer.size)) {
876 			gKernelArgs.frame_buffer.physical_buffer.start,
877 			gKernelArgs.frame_buffer.physical_buffer.size, kDefaultPageFlags);
887 	if (!gKernelArgs.frame_buffer.enabled) {
893 	gKernelArgs.frame_buffer.enabled = 0;
902 	gKernelArgs.frame_buffer.enabled = 0;