]>
Commit | Line | Data |
---|---|---|
1 | /* | |
2 | * Framebuffer device helper routines | |
3 | * | |
4 | * Copyright (c) 2009 CodeSourcery | |
5 | * Written by Paul Brook <[email protected]> | |
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 | /* Render an image from a shared memory framebuffer. */ | |
25 | ||
26 | void framebuffer_update_display( | |
27 | DisplaySurface *ds, | |
28 | MemoryRegion *address_space, | |
29 | hwaddr base, | |
30 | int cols, /* Width in pixels. */ | |
31 | int rows, /* Height 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 | { | |
41 | hwaddr src_len; | |
42 | uint8_t *dest; | |
43 | uint8_t *src; | |
44 | uint8_t *src_base; | |
45 | int first, last = 0; | |
46 | int dirty; | |
47 | int i; | |
48 | ram_addr_t addr; | |
49 | MemoryRegionSection mem_section; | |
50 | MemoryRegion *mem; | |
51 | ||
52 | i = *first_row; | |
53 | *first_row = -1; | |
54 | src_len = src_width * rows; | |
55 | ||
56 | mem_section = memory_region_find(address_space, base, src_len); | |
57 | mem = mem_section.mr; | |
58 | if (int128_get64(mem_section.size) != src_len || | |
59 | !memory_region_is_ram(mem_section.mr)) { | |
60 | goto out; | |
61 | } | |
62 | assert(mem); | |
63 | assert(mem_section.offset_within_address_space == base); | |
64 | ||
65 | memory_region_sync_dirty_bitmap(mem); | |
66 | src_base = cpu_physical_memory_map(base, &src_len, 0); | |
67 | /* If we can't map the framebuffer then bail. We could try harder, | |
68 | but it's not really worth it as dirty flag tracking will probably | |
69 | already have failed above. */ | |
70 | if (!src_base) | |
71 | goto out; | |
72 | if (src_len != src_width * rows) { | |
73 | cpu_physical_memory_unmap(src_base, src_len, 0, 0); | |
74 | goto out; | |
75 | } | |
76 | src = src_base; | |
77 | dest = surface_data(ds); | |
78 | if (dest_col_pitch < 0) | |
79 | dest -= dest_col_pitch * (cols - 1); | |
80 | if (dest_row_pitch < 0) { | |
81 | dest -= dest_row_pitch * (rows - 1); | |
82 | } | |
83 | first = -1; | |
84 | addr = mem_section.offset_within_region; | |
85 | ||
86 | addr += i * src_width; | |
87 | src += i * src_width; | |
88 | dest += i * dest_row_pitch; | |
89 | ||
90 | for (; i < rows; i++) { | |
91 | dirty = memory_region_get_dirty(mem, addr, src_width, | |
92 | DIRTY_MEMORY_VGA); | |
93 | if (dirty || invalidate) { | |
94 | fn(opaque, dest, src, cols, dest_col_pitch); | |
95 | if (first == -1) | |
96 | first = i; | |
97 | last = i; | |
98 | } | |
99 | addr += src_width; | |
100 | src += src_width; | |
101 | dest += dest_row_pitch; | |
102 | } | |
103 | cpu_physical_memory_unmap(src_base, src_len, 0, 0); | |
104 | if (first < 0) { | |
105 | goto out; | |
106 | } | |
107 | memory_region_reset_dirty(mem, mem_section.offset_within_region, src_len, | |
108 | DIRTY_MEMORY_VGA); | |
109 | *first_row = first; | |
110 | *last_row = last; | |
111 | out: | |
112 | memory_region_unref(mem); | |
113 | } |