1 /* 2 * Framebuffer device helper routines 3 * 4 * Copyright (c) 2009 CodeSourcery 5 * Written by Paul Brook <paul@codesourcery.com> 6 * 7 * This code is licensed under the GNU GPLv2. 8 * 9 * Contributions after 2012-01-13 are licensed under the terms of the 10 * GNU GPL, version 2 or (at your option) any later version. 11 */ 12 13 /* TODO: 14 - Do something similar for framebuffers with local ram 15 - Handle rotation here instead of hacking dest_pitch 16 - Use common pixel conversion routines instead of per-device drawfn 17 - Remove all DisplayState knowledge from devices. 18 */ 19 20 #include "hw/hw.h" 21 #include "ui/console.h" 22 #include "framebuffer.h" 23 24 void framebuffer_update_memory_section( 25 MemoryRegionSection *mem_section, 26 MemoryRegion *root, 27 hwaddr base, 28 unsigned rows, 29 unsigned src_width) 30 { 31 hwaddr src_len = (hwaddr)rows * src_width; 32 33 if (mem_section->mr) { 34 memory_region_set_log(mem_section->mr, false, DIRTY_MEMORY_VGA); 35 memory_region_unref(mem_section->mr); 36 mem_section->mr = NULL; 37 } 38 39 *mem_section = memory_region_find(root, base, src_len); 40 if (!mem_section->mr) { 41 return; 42 } 43 44 if (int128_get64(mem_section->size) < src_len || 45 !memory_region_is_ram(mem_section->mr)) { 46 memory_region_unref(mem_section->mr); 47 mem_section->mr = NULL; 48 return; 49 } 50 51 memory_region_set_log(mem_section->mr, true, DIRTY_MEMORY_VGA); 52 } 53 54 /* Render an image from a shared memory framebuffer. */ 55 void framebuffer_update_display( 56 DisplaySurface *ds, 57 MemoryRegionSection *mem_section, 58 int cols, /* Width in pixels. */ 59 int rows, /* Height in pixels. */ 60 int src_width, /* Length of source line, in bytes. */ 61 int dest_row_pitch, /* Bytes between adjacent horizontal output pixels. */ 62 int dest_col_pitch, /* Bytes between adjacent vertical output pixels. */ 63 int invalidate, /* nonzero to redraw the whole image. */ 64 drawfn fn, 65 void *opaque, 66 int *first_row, /* Input and output. */ 67 int *last_row /* Output only */) 68 { 69 hwaddr src_len; 70 uint8_t *dest; 71 uint8_t *src; 72 int first, last = 0; 73 int dirty; 74 int i; 75 ram_addr_t addr; 76 MemoryRegion *mem; 77 78 i = *first_row; 79 *first_row = -1; 80 src_len = src_width * rows; 81 82 mem = mem_section->mr; 83 if (!mem) { 84 return; 85 } 86 memory_region_sync_dirty_bitmap(mem); 87 88 addr = mem_section->offset_within_region; 89 src = memory_region_get_ram_ptr(mem) + addr; 90 91 dest = surface_data(ds); 92 if (dest_col_pitch < 0) { 93 dest -= dest_col_pitch * (cols - 1); 94 } 95 if (dest_row_pitch < 0) { 96 dest -= dest_row_pitch * (rows - 1); 97 } 98 first = -1; 99 100 addr += i * src_width; 101 src += i * src_width; 102 dest += i * dest_row_pitch; 103 104 for (; i < rows; i++) { 105 dirty = memory_region_get_dirty(mem, addr, src_width, 106 DIRTY_MEMORY_VGA); 107 if (dirty || invalidate) { 108 fn(opaque, dest, src, cols, dest_col_pitch); 109 if (first == -1) 110 first = i; 111 last = i; 112 } 113 addr += src_width; 114 src += src_width; 115 dest += dest_row_pitch; 116 } 117 if (first < 0) { 118 return; 119 } 120 memory_region_reset_dirty(mem, mem_section->offset_within_region, src_len, 121 DIRTY_MEMORY_VGA); 122 *first_row = first; 123 *last_row = last; 124 } 125