pbrook | 714fa30 | 2009-04-01 12:27:59 +0000 | [diff] [blame] | 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. |
Paolo Bonzini | 6b620ca | 2012-01-13 17:44:23 +0100 | [diff] [blame] | 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. |
pbrook | 714fa30 | 2009-04-01 12:27:59 +0000 | [diff] [blame] | 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.h" |
| 21 | #include "console.h" |
| 22 | #include "framebuffer.h" |
pbrook | 714fa30 | 2009-04-01 12:27:59 +0000 | [diff] [blame] | 23 | |
| 24 | /* Render an image from a shared memory framebuffer. */ |
| 25 | |
| 26 | void framebuffer_update_display( |
| 27 | DisplayState *ds, |
Avi Kivity | 75c9d6c | 2011-12-08 16:00:54 +0200 | [diff] [blame] | 28 | MemoryRegion *address_space, |
Anthony Liguori | c227f09 | 2009-10-01 16:12:16 -0500 | [diff] [blame] | 29 | target_phys_addr_t base, |
pbrook | 714fa30 | 2009-04-01 12:27:59 +0000 | [diff] [blame] | 30 | int cols, /* Width in pixels. */ |
| 31 | int rows, /* Leight in pixels. */ |
| 32 | int src_width, /* Length of source line, in bytes. */ |
| 33 | int dest_row_pitch, /* Bytes between adjacent horizontal output pixels. */ |
| 34 | int dest_col_pitch, /* Bytes between adjacent vertical output pixels. */ |
| 35 | int invalidate, /* nonzero to redraw the whole image. */ |
| 36 | drawfn fn, |
| 37 | void *opaque, |
| 38 | int *first_row, /* Input and output. */ |
| 39 | int *last_row /* Output only */) |
| 40 | { |
Anthony Liguori | c227f09 | 2009-10-01 16:12:16 -0500 | [diff] [blame] | 41 | target_phys_addr_t src_len; |
pbrook | 714fa30 | 2009-04-01 12:27:59 +0000 | [diff] [blame] | 42 | uint8_t *dest; |
| 43 | uint8_t *src; |
| 44 | uint8_t *src_base; |
| 45 | int first, last = 0; |
| 46 | int dirty; |
| 47 | int i; |
Anthony Liguori | c227f09 | 2009-10-01 16:12:16 -0500 | [diff] [blame] | 48 | ram_addr_t addr; |
Avi Kivity | 75c9d6c | 2011-12-08 16:00:54 +0200 | [diff] [blame] | 49 | MemoryRegionSection mem_section; |
| 50 | MemoryRegion *mem; |
pbrook | 714fa30 | 2009-04-01 12:27:59 +0000 | [diff] [blame] | 51 | |
| 52 | i = *first_row; |
| 53 | *first_row = -1; |
| 54 | src_len = src_width * rows; |
| 55 | |
Avi Kivity | 75c9d6c | 2011-12-08 16:00:54 +0200 | [diff] [blame] | 56 | mem_section = memory_region_find(address_space, base, src_len); |
| 57 | if (mem_section.size != src_len || !memory_region_is_ram(mem_section.mr)) { |
pbrook | 714fa30 | 2009-04-01 12:27:59 +0000 | [diff] [blame] | 58 | return; |
| 59 | } |
Avi Kivity | 75c9d6c | 2011-12-08 16:00:54 +0200 | [diff] [blame] | 60 | mem = mem_section.mr; |
| 61 | assert(mem); |
| 62 | assert(mem_section.offset_within_address_space == base); |
pbrook | 714fa30 | 2009-04-01 12:27:59 +0000 | [diff] [blame] | 63 | |
Avi Kivity | c1cd0b2 | 2011-12-15 16:07:48 +0200 | [diff] [blame] | 64 | memory_region_sync_dirty_bitmap(mem); |
pbrook | 714fa30 | 2009-04-01 12:27:59 +0000 | [diff] [blame] | 65 | src_base = cpu_physical_memory_map(base, &src_len, 0); |
| 66 | /* If we can't map the framebuffer then bail. We could try harder, |
| 67 | but it's not really worth it as dirty flag tracking will probably |
| 68 | already have failed above. */ |
| 69 | if (!src_base) |
| 70 | return; |
| 71 | if (src_len != src_width * rows) { |
| 72 | cpu_physical_memory_unmap(src_base, src_len, 0, 0); |
| 73 | return; |
| 74 | } |
| 75 | src = src_base; |
| 76 | dest = ds_get_data(ds); |
| 77 | if (dest_col_pitch < 0) |
| 78 | dest -= dest_col_pitch * (cols - 1); |
Vasily Khoruzhick | 9312805 | 2011-06-17 13:04:36 +0300 | [diff] [blame] | 79 | if (dest_row_pitch < 0) { |
| 80 | dest -= dest_row_pitch * (rows - 1); |
| 81 | } |
pbrook | 714fa30 | 2009-04-01 12:27:59 +0000 | [diff] [blame] | 82 | first = -1; |
Avi Kivity | 75c9d6c | 2011-12-08 16:00:54 +0200 | [diff] [blame] | 83 | addr = mem_section.offset_within_region; |
pbrook | 714fa30 | 2009-04-01 12:27:59 +0000 | [diff] [blame] | 84 | |
| 85 | addr += i * src_width; |
| 86 | src += i * src_width; |
| 87 | dest += i * dest_row_pitch; |
| 88 | |
| 89 | for (; i < rows; i++) { |
Blue Swirl | d1f3dd3 | 2012-02-04 17:09:14 +0000 | [diff] [blame] | 90 | dirty = memory_region_get_dirty(mem, addr, src_width, |
Avi Kivity | 75c9d6c | 2011-12-08 16:00:54 +0200 | [diff] [blame] | 91 | DIRTY_MEMORY_VGA); |
pbrook | 714fa30 | 2009-04-01 12:27:59 +0000 | [diff] [blame] | 92 | if (dirty || invalidate) { |
| 93 | fn(opaque, dest, src, cols, dest_col_pitch); |
| 94 | if (first == -1) |
| 95 | first = i; |
| 96 | last = i; |
| 97 | } |
| 98 | addr += src_width; |
| 99 | src += src_width; |
| 100 | dest += dest_row_pitch; |
| 101 | } |
| 102 | cpu_physical_memory_unmap(src_base, src_len, 0, 0); |
| 103 | if (first < 0) { |
| 104 | return; |
| 105 | } |
Avi Kivity | 75c9d6c | 2011-12-08 16:00:54 +0200 | [diff] [blame] | 106 | memory_region_reset_dirty(mem, mem_section.offset_within_region, src_len, |
| 107 | DIRTY_MEMORY_VGA); |
pbrook | 714fa30 | 2009-04-01 12:27:59 +0000 | [diff] [blame] | 108 | *first_row = first; |
| 109 | *last_row = last; |
| 110 | return; |
| 111 | } |