osfmk/console/video_console.c

2579 		struct vc_info new_vinfo = vinfo;
2583 		new_vinfo.v_name[0]  = 0;
2584 		new_vinfo.v_physaddr = boot_vinfo->v_baseAddr & ~3;		/* Get the physical address */
2586 		new_vinfo.v_physaddr |= (((uint64_t) boot_vinfo->v_baseAddrHigh) << 32);
2590 		    new_vinfo.v_width    = (unsigned int)boot_vinfo->v_width;
2591 		    new_vinfo.v_height   = (unsigned int)boot_vinfo->v_height;
2592 		    new_vinfo.v_depth    = (unsigned int)boot_vinfo->v_depth;
2593 		    new_vinfo.v_rowbytes = (unsigned int)boot_vinfo->v_rowBytes;
2595 		    new_vinfo.v_type     = (unsigned int)boot_vinfo->v_display;
2597 		    new_vinfo.v_type = 0;
2601                 new_vinfo.v_scale = kPEScaleFactor1x;
2603                 new_vinfo.v_scale = kPEScaleFactor2x;
2606                 new_vinfo.v_scale = kPEScaleFactor2x;
2608                 new_vinfo.v_scale = kPEScaleFactor1x;
2614 			    new_vinfo.v_physaddr, new_vinfo.v_width,  new_vinfo.v_height,  new_vinfo.v_rowbytes, new_vinfo.v_type);     /* (BRINGUP) */
2616 		if (!new_vinfo.v_physaddr)							/* Check to see if we have a framebuffer */
2619 			new_vinfo.v_depth = 0;						/* vc routines are nop */
2637 			    new_vinfo.v_physaddr = (((uint64_t)fbppage) << 12) | (boot_vinfo->v_baseAddr & PAGE_MASK);			/* Get the physical address */
2643 			    fbsize = (unsigned int) round_page(new_vinfo.v_height * new_vinfo.v_rowbytes);			/* Remember size */
2646 		    if ((lastVideoPhys != new_vinfo.v_physaddr) || (fbsize > lastVideoSize))		/* Did framebuffer change location or get bigger? */
2649 			    newVideoVirt = io_map_spec((vm_map_offset_t)new_vinfo.v_physaddr, fbsize, flags);	/* Allocate address space for framebuffer */
2654 		    new_vinfo.v_baseaddr = newVideoVirt + boot_vinfo->v_offset;				/* Set the new framebuffer address */
2656 		    new_vinfo.v_baseaddr = lastVideoVirt + boot_vinfo->v_offset;				/* Set the new framebuffer address */
2660 		new_vinfo.v_baseaddr |= (VM_MIN_KERNEL_ADDRESS & ~LOW_4GB_MASK);
2667 		    vinfo = new_vinfo;
2672 		    vinfo = new_vinfo;
2692 			lastVideoPhys = new_vinfo.v_physaddr;					/* Remember the framebuffer address */