2 * Framebuffer device helper routines
4 * Copyright (c) 2009 CodeSourcery
5 * Written by Paul Brook <paul@codesourcery.com>
7 * This code is licensed under the GNU GPLv2.
11 - Do something similar for framebuffers with local ram
12 - Handle rotation here instead of hacking dest_pitch
13 - Use common pixel conversion routines instead of per-device drawfn
14 - Remove all DisplayState knowledge from devices.
19 #include "framebuffer.h"
22 /* Render an image from a shared memory framebuffer. */
24 void framebuffer_update_display(
26 target_phys_addr_t base
,
27 int cols
, /* Width in pixels. */
28 int rows
, /* Leight in pixels. */
29 int src_width
, /* Length of source line, in bytes. */
30 int dest_row_pitch
, /* Bytes between adjacent horizontal output pixels. */
31 int dest_col_pitch
, /* Bytes between adjacent vertical output pixels. */
32 int invalidate
, /* nonzero to redraw the whole image. */
35 int *first_row
, /* Input and output. */
36 int *last_row
/* Output only */)
38 target_phys_addr_t src_len
;
51 src_len
= src_width
* rows
;
54 kvm_physical_sync_dirty_bitmap(base
, src_len
);
56 pd
= cpu_get_physical_page_desc(base
);
57 pd2
= cpu_get_physical_page_desc(base
+ src_len
- 1);
58 /* We should reall check that this is a continuous ram region.
59 Instead we just check that the first and last pages are
60 both ram, and the right distance apart. */
61 if ((pd
& ~TARGET_PAGE_MASK
) > IO_MEM_ROM
62 || (pd2
& ~TARGET_PAGE_MASK
) > IO_MEM_ROM
) {
65 pd
= (pd
& TARGET_PAGE_MASK
) + (base
& ~TARGET_PAGE_MASK
);
66 if (((pd
+ src_len
- 1) & TARGET_PAGE_MASK
) != (pd2
& TARGET_PAGE_MASK
)) {
70 src_base
= cpu_physical_memory_map(base
, &src_len
, 0);
71 /* If we can't map the framebuffer then bail. We could try harder,
72 but it's not really worth it as dirty flag tracking will probably
73 already have failed above. */
76 if (src_len
!= src_width
* rows
) {
77 cpu_physical_memory_unmap(src_base
, src_len
, 0, 0);
81 dest
= ds_get_data(ds
);
82 if (dest_col_pitch
< 0)
83 dest
-= dest_col_pitch
* (cols
- 1);
87 addr
+= i
* src_width
;
89 dest
+= i
* dest_row_pitch
;
91 for (; i
< rows
; i
++) {
92 target_phys_addr_t dirty_offset
;
95 while (addr
+ dirty_offset
< TARGET_PAGE_ALIGN(addr
+ src_width
)) {
96 dirty
|= cpu_physical_memory_get_dirty(addr
+ dirty_offset
,
98 dirty_offset
+= TARGET_PAGE_SIZE
;
101 if (dirty
|| invalidate
) {
102 fn(opaque
, dest
, src
, cols
, dest_col_pitch
);
109 dest
+= dest_row_pitch
;
111 cpu_physical_memory_unmap(src_base
, src_len
, 0, 0);
115 cpu_physical_memory_reset_dirty(pd
, pd
+ src_len
, VGA_DIRTY_FLAG
);