platform/bios_ia32/video.cpp

614 	if (gKernelArgs.frame_buffer.depth != 8)
821 	switch (gKernelArgs.frame_buffer.depth) {
845 	addr_t lastBase = gKernelArgs.frame_buffer.physical_buffer.start;
846 	size_t lastSize = gKernelArgs.frame_buffer.physical_buffer.size;
866 		gKernelArgs.frame_buffer.width = modeInfo.width;
867 		gKernelArgs.frame_buffer.height = modeInfo.height;
868 		gKernelArgs.frame_buffer.bytes_per_row = modeInfo.bytes_per_row;
869 		gKernelArgs.frame_buffer.depth = modeInfo.bits_per_pixel;
870 		gKernelArgs.frame_buffer.physical_buffer.size
872 				* (phys_size_t)gKernelArgs.frame_buffer.height;
873 		gKernelArgs.frame_buffer.physical_buffer.start = modeInfo.physical_base;
882 		gKernelArgs.frame_buffer.width = 640;
883 		gKernelArgs.frame_buffer.height = 480;
884 		gKernelArgs.frame_buffer.bytes_per_row = 80;
885 		gKernelArgs.frame_buffer.depth = 4;
886 		gKernelArgs.frame_buffer.physical_buffer.size
887 			= (phys_size_t)gKernelArgs.frame_buffer.width
888 				* (phys_size_t)gKernelArgs.frame_buffer.height / 2;
889 		gKernelArgs.frame_buffer.physical_buffer.start = 0xa0000;
892 	dprintf("video mode: %ux%ux%u\n", gKernelArgs.frame_buffer.width,
893 		gKernelArgs.frame_buffer.height, gKernelArgs.frame_buffer.depth);
895 	gKernelArgs.frame_buffer.enabled = true;
901 		&& (lastBase != gKernelArgs.frame_buffer.physical_buffer.start
902 			|| lastSize < gKernelArgs.frame_buffer.physical_buffer.size)) {
909 			gKernelArgs.frame_buffer.physical_buffer.start,
910 			gKernelArgs.frame_buffer.physical_buffer.size, kDefaultPageFlags);
920 	if (!gKernelArgs.frame_buffer.enabled) {
926 	gKernelArgs.frame_buffer.enabled = 0;
935 	gKernelArgs.frame_buffer.enabled = 0;