blob: 543e0cc7c8a0182ecfef629b58b81620bb767a2b [file] [log] [blame]
Avi Kivity093bc2c2011-07-26 14:26:01 +03001/*
2 * Physical memory management
3 *
4 * Copyright 2011 Red Hat, Inc. and/or its affiliates
5 *
6 * Authors:
7 * Avi Kivity <avi@redhat.com>
8 *
9 * This work is licensed under the terms of the GNU GPL, version 2. See
10 * the COPYING file in the top-level directory.
11 *
Paolo Bonzini6b620ca2012-01-13 17:44:23 +010012 * Contributions after 2012-01-13 are licensed under the terms of the
13 * GNU GPL, version 2 or (at your option) any later version.
Avi Kivity093bc2c2011-07-26 14:26:01 +030014 */
15
Paolo Bonzini022c62c2012-12-17 18:19:49 +010016#include "exec/memory.h"
17#include "exec/address-spaces.h"
18#include "exec/ioport.h"
Paolo Bonzini1de7afc2012-12-17 18:20:00 +010019#include "qemu/bitops.h"
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -040020#include "qom/object.h"
Paolo Bonzini9c17d612012-12-17 18:20:04 +010021#include "sysemu/kvm.h"
Avi Kivity093bc2c2011-07-26 14:26:01 +030022#include <assert.h>
23
Paolo Bonzini022c62c2012-12-17 18:19:49 +010024#include "exec/memory-internal.h"
Avi Kivity67d95c12011-12-15 15:25:22 +020025
Paolo Bonzinid1970632013-05-24 13:23:38 +020026//#define DEBUG_UNASSIGNED
27
Jan Kiszka22bde712012-11-05 16:45:56 +010028static unsigned memory_region_transaction_depth;
29static bool memory_region_update_pending;
Avi Kivity7664e802011-12-11 14:47:25 +020030static bool global_dirty_log = false;
31
Avi Kivity72e22d22012-02-08 15:05:50 +020032static QTAILQ_HEAD(memory_listeners, MemoryListener) memory_listeners
33 = QTAILQ_HEAD_INITIALIZER(memory_listeners);
Avi Kivity4ef4db82011-07-26 14:26:13 +030034
Avi Kivity0d673e32012-10-02 15:28:50 +020035static QTAILQ_HEAD(, AddressSpace) address_spaces
36 = QTAILQ_HEAD_INITIALIZER(address_spaces);
37
Avi Kivity093bc2c2011-07-26 14:26:01 +030038typedef struct AddrRange AddrRange;
39
Avi Kivity8417ceb2011-08-03 11:56:14 +030040/*
41 * Note using signed integers limits us to physical addresses at most
42 * 63 bits wide. They are needed for negative offsetting in aliases
43 * (large MemoryRegion::alias_offset).
44 */
Avi Kivity093bc2c2011-07-26 14:26:01 +030045struct AddrRange {
Avi Kivity08dafab2011-10-16 13:19:17 +020046 Int128 start;
47 Int128 size;
Avi Kivity093bc2c2011-07-26 14:26:01 +030048};
49
Avi Kivity08dafab2011-10-16 13:19:17 +020050static AddrRange addrrange_make(Int128 start, Int128 size)
Avi Kivity093bc2c2011-07-26 14:26:01 +030051{
52 return (AddrRange) { start, size };
53}
54
55static bool addrrange_equal(AddrRange r1, AddrRange r2)
56{
Avi Kivity08dafab2011-10-16 13:19:17 +020057 return int128_eq(r1.start, r2.start) && int128_eq(r1.size, r2.size);
Avi Kivity093bc2c2011-07-26 14:26:01 +030058}
59
Avi Kivity08dafab2011-10-16 13:19:17 +020060static Int128 addrrange_end(AddrRange r)
Avi Kivity093bc2c2011-07-26 14:26:01 +030061{
Avi Kivity08dafab2011-10-16 13:19:17 +020062 return int128_add(r.start, r.size);
Avi Kivity093bc2c2011-07-26 14:26:01 +030063}
64
Avi Kivity08dafab2011-10-16 13:19:17 +020065static AddrRange addrrange_shift(AddrRange range, Int128 delta)
Avi Kivity093bc2c2011-07-26 14:26:01 +030066{
Avi Kivity08dafab2011-10-16 13:19:17 +020067 int128_addto(&range.start, delta);
Avi Kivity093bc2c2011-07-26 14:26:01 +030068 return range;
69}
70
Avi Kivity08dafab2011-10-16 13:19:17 +020071static bool addrrange_contains(AddrRange range, Int128 addr)
72{
73 return int128_ge(addr, range.start)
74 && int128_lt(addr, addrrange_end(range));
75}
76
Avi Kivity093bc2c2011-07-26 14:26:01 +030077static bool addrrange_intersects(AddrRange r1, AddrRange r2)
78{
Avi Kivity08dafab2011-10-16 13:19:17 +020079 return addrrange_contains(r1, r2.start)
80 || addrrange_contains(r2, r1.start);
Avi Kivity093bc2c2011-07-26 14:26:01 +030081}
82
83static AddrRange addrrange_intersection(AddrRange r1, AddrRange r2)
84{
Avi Kivity08dafab2011-10-16 13:19:17 +020085 Int128 start = int128_max(r1.start, r2.start);
86 Int128 end = int128_min(addrrange_end(r1), addrrange_end(r2));
87 return addrrange_make(start, int128_sub(end, start));
Avi Kivity093bc2c2011-07-26 14:26:01 +030088}
89
Avi Kivity0e0d36b2012-02-08 16:39:45 +020090enum ListenerDirection { Forward, Reverse };
91
Avi Kivity7376e582012-02-08 21:05:17 +020092static bool memory_listener_match(MemoryListener *listener,
93 MemoryRegionSection *section)
94{
95 return !listener->address_space_filter
96 || listener->address_space_filter == section->address_space;
97}
98
99#define MEMORY_LISTENER_CALL_GLOBAL(_callback, _direction, _args...) \
Avi Kivity0e0d36b2012-02-08 16:39:45 +0200100 do { \
101 MemoryListener *_listener; \
102 \
103 switch (_direction) { \
104 case Forward: \
105 QTAILQ_FOREACH(_listener, &memory_listeners, link) { \
Avi Kivity975aefe2012-10-02 16:39:57 +0200106 if (_listener->_callback) { \
107 _listener->_callback(_listener, ##_args); \
108 } \
Avi Kivity0e0d36b2012-02-08 16:39:45 +0200109 } \
110 break; \
111 case Reverse: \
112 QTAILQ_FOREACH_REVERSE(_listener, &memory_listeners, \
113 memory_listeners, link) { \
Avi Kivity975aefe2012-10-02 16:39:57 +0200114 if (_listener->_callback) { \
115 _listener->_callback(_listener, ##_args); \
116 } \
Avi Kivity0e0d36b2012-02-08 16:39:45 +0200117 } \
118 break; \
119 default: \
120 abort(); \
121 } \
122 } while (0)
123
Avi Kivity7376e582012-02-08 21:05:17 +0200124#define MEMORY_LISTENER_CALL(_callback, _direction, _section, _args...) \
125 do { \
126 MemoryListener *_listener; \
127 \
128 switch (_direction) { \
129 case Forward: \
130 QTAILQ_FOREACH(_listener, &memory_listeners, link) { \
Avi Kivity975aefe2012-10-02 16:39:57 +0200131 if (_listener->_callback \
132 && memory_listener_match(_listener, _section)) { \
Avi Kivity7376e582012-02-08 21:05:17 +0200133 _listener->_callback(_listener, _section, ##_args); \
134 } \
135 } \
136 break; \
137 case Reverse: \
138 QTAILQ_FOREACH_REVERSE(_listener, &memory_listeners, \
139 memory_listeners, link) { \
Avi Kivity975aefe2012-10-02 16:39:57 +0200140 if (_listener->_callback \
141 && memory_listener_match(_listener, _section)) { \
Avi Kivity7376e582012-02-08 21:05:17 +0200142 _listener->_callback(_listener, _section, ##_args); \
143 } \
144 } \
145 break; \
146 default: \
147 abort(); \
148 } \
149 } while (0)
150
Paolo Bonzinidfde4e62013-05-06 10:46:11 +0200151/* No need to ref/unref .mr, the FlatRange keeps it alive. */
Avi Kivity0e0d36b2012-02-08 16:39:45 +0200152#define MEMORY_LISTENER_UPDATE_REGION(fr, as, dir, callback) \
Avi Kivity7376e582012-02-08 21:05:17 +0200153 MEMORY_LISTENER_CALL(callback, dir, (&(MemoryRegionSection) { \
Avi Kivity0e0d36b2012-02-08 16:39:45 +0200154 .mr = (fr)->mr, \
Avi Kivityf6790af2012-10-02 20:13:51 +0200155 .address_space = (as), \
Avi Kivity0e0d36b2012-02-08 16:39:45 +0200156 .offset_within_region = (fr)->offset_in_region, \
Paolo Bonzini052e87b2013-05-27 10:08:27 +0200157 .size = (fr)->addr.size, \
Avi Kivity0e0d36b2012-02-08 16:39:45 +0200158 .offset_within_address_space = int128_get64((fr)->addr.start), \
Avi Kivity7a8499e2012-02-08 17:01:23 +0200159 .readonly = (fr)->readonly, \
Avi Kivity7376e582012-02-08 21:05:17 +0200160 }))
Avi Kivity0e0d36b2012-02-08 16:39:45 +0200161
Avi Kivity093bc2c2011-07-26 14:26:01 +0300162struct CoalescedMemoryRange {
163 AddrRange addr;
164 QTAILQ_ENTRY(CoalescedMemoryRange) link;
165};
166
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300167struct MemoryRegionIoeventfd {
168 AddrRange addr;
169 bool match_data;
170 uint64_t data;
Paolo Bonzini753d5e12012-07-05 17:16:27 +0200171 EventNotifier *e;
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300172};
173
174static bool memory_region_ioeventfd_before(MemoryRegionIoeventfd a,
175 MemoryRegionIoeventfd b)
176{
Avi Kivity08dafab2011-10-16 13:19:17 +0200177 if (int128_lt(a.addr.start, b.addr.start)) {
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300178 return true;
Avi Kivity08dafab2011-10-16 13:19:17 +0200179 } else if (int128_gt(a.addr.start, b.addr.start)) {
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300180 return false;
Avi Kivity08dafab2011-10-16 13:19:17 +0200181 } else if (int128_lt(a.addr.size, b.addr.size)) {
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300182 return true;
Avi Kivity08dafab2011-10-16 13:19:17 +0200183 } else if (int128_gt(a.addr.size, b.addr.size)) {
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300184 return false;
185 } else if (a.match_data < b.match_data) {
186 return true;
187 } else if (a.match_data > b.match_data) {
188 return false;
189 } else if (a.match_data) {
190 if (a.data < b.data) {
191 return true;
192 } else if (a.data > b.data) {
193 return false;
194 }
195 }
Paolo Bonzini753d5e12012-07-05 17:16:27 +0200196 if (a.e < b.e) {
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300197 return true;
Paolo Bonzini753d5e12012-07-05 17:16:27 +0200198 } else if (a.e > b.e) {
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300199 return false;
200 }
201 return false;
202}
203
204static bool memory_region_ioeventfd_equal(MemoryRegionIoeventfd a,
205 MemoryRegionIoeventfd b)
206{
207 return !memory_region_ioeventfd_before(a, b)
208 && !memory_region_ioeventfd_before(b, a);
209}
210
Avi Kivity093bc2c2011-07-26 14:26:01 +0300211typedef struct FlatRange FlatRange;
212typedef struct FlatView FlatView;
213
214/* Range of memory in the global map. Addresses are absolute. */
215struct FlatRange {
216 MemoryRegion *mr;
Avi Kivitya8170e52012-10-23 12:30:10 +0200217 hwaddr offset_in_region;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300218 AddrRange addr;
Avi Kivity5a583342011-07-26 14:26:02 +0300219 uint8_t dirty_log_mask;
Jan Kiszka5f9a5ea2013-05-07 19:04:25 +0200220 bool romd_mode;
Avi Kivityfb1cd6f2011-09-25 14:48:47 +0300221 bool readonly;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300222};
223
224/* Flattened global view of current active memory hierarchy. Kept in sorted
225 * order.
226 */
227struct FlatView {
228 FlatRange *ranges;
229 unsigned nr;
230 unsigned nr_allocated;
231};
232
Avi Kivitycc31e6e2011-07-26 14:26:05 +0300233typedef struct AddressSpaceOps AddressSpaceOps;
234
Avi Kivity093bc2c2011-07-26 14:26:01 +0300235#define FOR_EACH_FLAT_RANGE(var, view) \
236 for (var = (view)->ranges; var < (view)->ranges + (view)->nr; ++var)
237
Avi Kivity093bc2c2011-07-26 14:26:01 +0300238static bool flatrange_equal(FlatRange *a, FlatRange *b)
239{
240 return a->mr == b->mr
241 && addrrange_equal(a->addr, b->addr)
Avi Kivityd0a9b5b2011-08-08 19:58:49 +0300242 && a->offset_in_region == b->offset_in_region
Jan Kiszka5f9a5ea2013-05-07 19:04:25 +0200243 && a->romd_mode == b->romd_mode
Avi Kivityfb1cd6f2011-09-25 14:48:47 +0300244 && a->readonly == b->readonly;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300245}
246
247static void flatview_init(FlatView *view)
248{
249 view->ranges = NULL;
250 view->nr = 0;
251 view->nr_allocated = 0;
252}
253
254/* Insert a range into a given position. Caller is responsible for maintaining
255 * sorting order.
256 */
257static void flatview_insert(FlatView *view, unsigned pos, FlatRange *range)
258{
259 if (view->nr == view->nr_allocated) {
260 view->nr_allocated = MAX(2 * view->nr, 10);
Anthony Liguori7267c092011-08-20 22:09:37 -0500261 view->ranges = g_realloc(view->ranges,
Avi Kivity093bc2c2011-07-26 14:26:01 +0300262 view->nr_allocated * sizeof(*view->ranges));
263 }
264 memmove(view->ranges + pos + 1, view->ranges + pos,
265 (view->nr - pos) * sizeof(FlatRange));
266 view->ranges[pos] = *range;
Paolo Bonzinidfde4e62013-05-06 10:46:11 +0200267 memory_region_ref(range->mr);
Avi Kivity093bc2c2011-07-26 14:26:01 +0300268 ++view->nr;
269}
270
271static void flatview_destroy(FlatView *view)
272{
Paolo Bonzinidfde4e62013-05-06 10:46:11 +0200273 int i;
274
275 for (i = 0; i < view->nr; i++) {
276 memory_region_unref(view->ranges[i].mr);
277 }
Anthony Liguori7267c092011-08-20 22:09:37 -0500278 g_free(view->ranges);
Avi Kivity093bc2c2011-07-26 14:26:01 +0300279}
280
Avi Kivity3d8e6bf2011-07-26 14:26:03 +0300281static bool can_merge(FlatRange *r1, FlatRange *r2)
282{
Avi Kivity08dafab2011-10-16 13:19:17 +0200283 return int128_eq(addrrange_end(r1->addr), r2->addr.start)
Avi Kivity3d8e6bf2011-07-26 14:26:03 +0300284 && r1->mr == r2->mr
Avi Kivity08dafab2011-10-16 13:19:17 +0200285 && int128_eq(int128_add(int128_make64(r1->offset_in_region),
286 r1->addr.size),
287 int128_make64(r2->offset_in_region))
Avi Kivityd0a9b5b2011-08-08 19:58:49 +0300288 && r1->dirty_log_mask == r2->dirty_log_mask
Jan Kiszka5f9a5ea2013-05-07 19:04:25 +0200289 && r1->romd_mode == r2->romd_mode
Avi Kivityfb1cd6f2011-09-25 14:48:47 +0300290 && r1->readonly == r2->readonly;
Avi Kivity3d8e6bf2011-07-26 14:26:03 +0300291}
292
Peter Crosthwaite8508e022013-06-03 15:31:56 +1000293/* Attempt to simplify a view by merging adjacent ranges */
Avi Kivity3d8e6bf2011-07-26 14:26:03 +0300294static void flatview_simplify(FlatView *view)
295{
296 unsigned i, j;
297
298 i = 0;
299 while (i < view->nr) {
300 j = i + 1;
301 while (j < view->nr
302 && can_merge(&view->ranges[j-1], &view->ranges[j])) {
Avi Kivity08dafab2011-10-16 13:19:17 +0200303 int128_addto(&view->ranges[i].addr.size, view->ranges[j].addr.size);
Avi Kivity3d8e6bf2011-07-26 14:26:03 +0300304 ++j;
305 }
306 ++i;
307 memmove(&view->ranges[i], &view->ranges[j],
308 (view->nr - j) * sizeof(view->ranges[j]));
309 view->nr -= j - i;
310 }
311}
312
Paolo Bonzinice5d2f32013-05-24 17:45:48 +0200313static void memory_region_oldmmio_read_accessor(void *opaque,
314 hwaddr addr,
315 uint64_t *value,
316 unsigned size,
317 unsigned shift,
318 uint64_t mask)
319{
320 MemoryRegion *mr = opaque;
321 uint64_t tmp;
322
323 tmp = mr->ops->old_mmio.read[ctz32(size)](mr->opaque, addr);
324 *value |= (tmp & mask) << shift;
325}
326
Avi Kivity164a4dc2011-08-11 10:40:25 +0300327static void memory_region_read_accessor(void *opaque,
Avi Kivitya8170e52012-10-23 12:30:10 +0200328 hwaddr addr,
Avi Kivity164a4dc2011-08-11 10:40:25 +0300329 uint64_t *value,
330 unsigned size,
331 unsigned shift,
332 uint64_t mask)
333{
334 MemoryRegion *mr = opaque;
335 uint64_t tmp;
336
Jan Kiszkad4105152012-08-23 13:02:29 +0200337 if (mr->flush_coalesced_mmio) {
338 qemu_flush_coalesced_mmio_buffer();
339 }
Avi Kivity164a4dc2011-08-11 10:40:25 +0300340 tmp = mr->ops->read(mr->opaque, addr, size);
341 *value |= (tmp & mask) << shift;
342}
343
Paolo Bonzinice5d2f32013-05-24 17:45:48 +0200344static void memory_region_oldmmio_write_accessor(void *opaque,
345 hwaddr addr,
346 uint64_t *value,
347 unsigned size,
348 unsigned shift,
349 uint64_t mask)
350{
351 MemoryRegion *mr = opaque;
352 uint64_t tmp;
353
354 tmp = (*value >> shift) & mask;
355 mr->ops->old_mmio.write[ctz32(size)](mr->opaque, addr, tmp);
356}
357
Avi Kivity164a4dc2011-08-11 10:40:25 +0300358static void memory_region_write_accessor(void *opaque,
Avi Kivitya8170e52012-10-23 12:30:10 +0200359 hwaddr addr,
Avi Kivity164a4dc2011-08-11 10:40:25 +0300360 uint64_t *value,
361 unsigned size,
362 unsigned shift,
363 uint64_t mask)
364{
365 MemoryRegion *mr = opaque;
366 uint64_t tmp;
367
Jan Kiszkad4105152012-08-23 13:02:29 +0200368 if (mr->flush_coalesced_mmio) {
369 qemu_flush_coalesced_mmio_buffer();
370 }
Avi Kivity164a4dc2011-08-11 10:40:25 +0300371 tmp = (*value >> shift) & mask;
372 mr->ops->write(mr->opaque, addr, tmp, size);
373}
374
Avi Kivitya8170e52012-10-23 12:30:10 +0200375static void access_with_adjusted_size(hwaddr addr,
Avi Kivity164a4dc2011-08-11 10:40:25 +0300376 uint64_t *value,
377 unsigned size,
378 unsigned access_size_min,
379 unsigned access_size_max,
380 void (*access)(void *opaque,
Avi Kivitya8170e52012-10-23 12:30:10 +0200381 hwaddr addr,
Avi Kivity164a4dc2011-08-11 10:40:25 +0300382 uint64_t *value,
383 unsigned size,
384 unsigned shift,
385 uint64_t mask),
386 void *opaque)
387{
388 uint64_t access_mask;
389 unsigned access_size;
390 unsigned i;
391
392 if (!access_size_min) {
393 access_size_min = 1;
394 }
395 if (!access_size_max) {
396 access_size_max = 4;
397 }
Paolo Bonzinice5d2f32013-05-24 17:45:48 +0200398
399 /* FIXME: support unaligned access? */
Avi Kivity164a4dc2011-08-11 10:40:25 +0300400 access_size = MAX(MIN(size, access_size_max), access_size_min);
401 access_mask = -1ULL >> (64 - access_size * 8);
402 for (i = 0; i < size; i += access_size) {
Paolo Bonzini08521e22013-05-24 12:54:01 +0200403#ifdef TARGET_WORDS_BIGENDIAN
404 access(opaque, addr + i, value, access_size,
405 (size - access_size - i) * 8, access_mask);
406#else
Avi Kivity164a4dc2011-08-11 10:40:25 +0300407 access(opaque, addr + i, value, access_size, i * 8, access_mask);
Paolo Bonzini08521e22013-05-24 12:54:01 +0200408#endif
Avi Kivity164a4dc2011-08-11 10:40:25 +0300409 }
410}
411
Avi Kivitye2177952011-12-08 15:00:18 +0200412static AddressSpace *memory_region_to_address_space(MemoryRegion *mr)
413{
Avi Kivity0d673e32012-10-02 15:28:50 +0200414 AddressSpace *as;
415
Avi Kivitye2177952011-12-08 15:00:18 +0200416 while (mr->parent) {
417 mr = mr->parent;
418 }
Avi Kivity0d673e32012-10-02 15:28:50 +0200419 QTAILQ_FOREACH(as, &address_spaces, address_spaces_link) {
420 if (mr == as->root) {
421 return as;
422 }
Avi Kivitye2177952011-12-08 15:00:18 +0200423 }
424 abort();
425}
426
Avi Kivity093bc2c2011-07-26 14:26:01 +0300427/* Render a memory region into the global view. Ranges in @view obscure
428 * ranges in @mr.
429 */
430static void render_memory_region(FlatView *view,
431 MemoryRegion *mr,
Avi Kivity08dafab2011-10-16 13:19:17 +0200432 Int128 base,
Avi Kivityfb1cd6f2011-09-25 14:48:47 +0300433 AddrRange clip,
434 bool readonly)
Avi Kivity093bc2c2011-07-26 14:26:01 +0300435{
436 MemoryRegion *subregion;
437 unsigned i;
Avi Kivitya8170e52012-10-23 12:30:10 +0200438 hwaddr offset_in_region;
Avi Kivity08dafab2011-10-16 13:19:17 +0200439 Int128 remain;
440 Int128 now;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300441 FlatRange fr;
442 AddrRange tmp;
443
Avi Kivity6bba19b2011-09-14 11:54:58 +0300444 if (!mr->enabled) {
445 return;
446 }
447
Avi Kivity08dafab2011-10-16 13:19:17 +0200448 int128_addto(&base, int128_make64(mr->addr));
Avi Kivityfb1cd6f2011-09-25 14:48:47 +0300449 readonly |= mr->readonly;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300450
451 tmp = addrrange_make(base, mr->size);
452
453 if (!addrrange_intersects(tmp, clip)) {
454 return;
455 }
456
457 clip = addrrange_intersection(tmp, clip);
458
459 if (mr->alias) {
Avi Kivity08dafab2011-10-16 13:19:17 +0200460 int128_subfrom(&base, int128_make64(mr->alias->addr));
461 int128_subfrom(&base, int128_make64(mr->alias_offset));
Avi Kivityfb1cd6f2011-09-25 14:48:47 +0300462 render_memory_region(view, mr->alias, base, clip, readonly);
Avi Kivity093bc2c2011-07-26 14:26:01 +0300463 return;
464 }
465
466 /* Render subregions in priority order. */
467 QTAILQ_FOREACH(subregion, &mr->subregions, subregions_link) {
Avi Kivityfb1cd6f2011-09-25 14:48:47 +0300468 render_memory_region(view, subregion, base, clip, readonly);
Avi Kivity093bc2c2011-07-26 14:26:01 +0300469 }
470
Avi Kivity14a3c102011-07-26 14:26:06 +0300471 if (!mr->terminates) {
Avi Kivity093bc2c2011-07-26 14:26:01 +0300472 return;
473 }
474
Avi Kivity08dafab2011-10-16 13:19:17 +0200475 offset_in_region = int128_get64(int128_sub(clip.start, base));
Avi Kivity093bc2c2011-07-26 14:26:01 +0300476 base = clip.start;
477 remain = clip.size;
478
Peter Crosthwaite2eb74e12013-06-03 15:33:29 +1000479 fr.mr = mr;
480 fr.dirty_log_mask = mr->dirty_log_mask;
481 fr.romd_mode = mr->romd_mode;
482 fr.readonly = readonly;
483
Avi Kivity093bc2c2011-07-26 14:26:01 +0300484 /* Render the region itself into any gaps left by the current view. */
Avi Kivity08dafab2011-10-16 13:19:17 +0200485 for (i = 0; i < view->nr && int128_nz(remain); ++i) {
486 if (int128_ge(base, addrrange_end(view->ranges[i].addr))) {
Avi Kivity093bc2c2011-07-26 14:26:01 +0300487 continue;
488 }
Avi Kivity08dafab2011-10-16 13:19:17 +0200489 if (int128_lt(base, view->ranges[i].addr.start)) {
490 now = int128_min(remain,
491 int128_sub(view->ranges[i].addr.start, base));
Avi Kivity093bc2c2011-07-26 14:26:01 +0300492 fr.offset_in_region = offset_in_region;
493 fr.addr = addrrange_make(base, now);
494 flatview_insert(view, i, &fr);
495 ++i;
Avi Kivity08dafab2011-10-16 13:19:17 +0200496 int128_addto(&base, now);
497 offset_in_region += int128_get64(now);
498 int128_subfrom(&remain, now);
Avi Kivity093bc2c2011-07-26 14:26:01 +0300499 }
Avi Kivityd26a8ca2012-10-29 18:22:36 +0200500 now = int128_sub(int128_min(int128_add(base, remain),
501 addrrange_end(view->ranges[i].addr)),
502 base);
503 int128_addto(&base, now);
504 offset_in_region += int128_get64(now);
505 int128_subfrom(&remain, now);
Avi Kivity093bc2c2011-07-26 14:26:01 +0300506 }
Avi Kivity08dafab2011-10-16 13:19:17 +0200507 if (int128_nz(remain)) {
Avi Kivity093bc2c2011-07-26 14:26:01 +0300508 fr.offset_in_region = offset_in_region;
509 fr.addr = addrrange_make(base, remain);
510 flatview_insert(view, i, &fr);
511 }
512}
513
514/* Render a memory topology into a list of disjoint absolute ranges. */
515static FlatView generate_memory_topology(MemoryRegion *mr)
516{
517 FlatView view;
518
519 flatview_init(&view);
520
Avi Kivity83f3c252012-10-07 12:59:55 +0200521 if (mr) {
522 render_memory_region(&view, mr, int128_zero(),
523 addrrange_make(int128_zero(), int128_2_64()), false);
524 }
Avi Kivity3d8e6bf2011-07-26 14:26:03 +0300525 flatview_simplify(&view);
Avi Kivity093bc2c2011-07-26 14:26:01 +0300526
527 return view;
528}
529
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300530static void address_space_add_del_ioeventfds(AddressSpace *as,
531 MemoryRegionIoeventfd *fds_new,
532 unsigned fds_new_nb,
533 MemoryRegionIoeventfd *fds_old,
534 unsigned fds_old_nb)
535{
536 unsigned iold, inew;
Avi Kivity80a1ea32012-02-08 16:39:06 +0200537 MemoryRegionIoeventfd *fd;
538 MemoryRegionSection section;
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300539
540 /* Generate a symmetric difference of the old and new fd sets, adding
541 * and deleting as necessary.
542 */
543
544 iold = inew = 0;
545 while (iold < fds_old_nb || inew < fds_new_nb) {
546 if (iold < fds_old_nb
547 && (inew == fds_new_nb
548 || memory_region_ioeventfd_before(fds_old[iold],
549 fds_new[inew]))) {
Avi Kivity80a1ea32012-02-08 16:39:06 +0200550 fd = &fds_old[iold];
551 section = (MemoryRegionSection) {
Avi Kivityf6790af2012-10-02 20:13:51 +0200552 .address_space = as,
Avi Kivity80a1ea32012-02-08 16:39:06 +0200553 .offset_within_address_space = int128_get64(fd->addr.start),
Paolo Bonzini052e87b2013-05-27 10:08:27 +0200554 .size = fd->addr.size,
Avi Kivity80a1ea32012-02-08 16:39:06 +0200555 };
556 MEMORY_LISTENER_CALL(eventfd_del, Forward, &section,
Paolo Bonzini753d5e12012-07-05 17:16:27 +0200557 fd->match_data, fd->data, fd->e);
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300558 ++iold;
559 } else if (inew < fds_new_nb
560 && (iold == fds_old_nb
561 || memory_region_ioeventfd_before(fds_new[inew],
562 fds_old[iold]))) {
Avi Kivity80a1ea32012-02-08 16:39:06 +0200563 fd = &fds_new[inew];
564 section = (MemoryRegionSection) {
Avi Kivityf6790af2012-10-02 20:13:51 +0200565 .address_space = as,
Avi Kivity80a1ea32012-02-08 16:39:06 +0200566 .offset_within_address_space = int128_get64(fd->addr.start),
Paolo Bonzini052e87b2013-05-27 10:08:27 +0200567 .size = fd->addr.size,
Avi Kivity80a1ea32012-02-08 16:39:06 +0200568 };
569 MEMORY_LISTENER_CALL(eventfd_add, Reverse, &section,
Paolo Bonzini753d5e12012-07-05 17:16:27 +0200570 fd->match_data, fd->data, fd->e);
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300571 ++inew;
572 } else {
573 ++iold;
574 ++inew;
575 }
576 }
577}
578
579static void address_space_update_ioeventfds(AddressSpace *as)
580{
581 FlatRange *fr;
582 unsigned ioeventfd_nb = 0;
583 MemoryRegionIoeventfd *ioeventfds = NULL;
584 AddrRange tmp;
585 unsigned i;
586
Avi Kivity8786db72012-10-02 13:53:41 +0200587 FOR_EACH_FLAT_RANGE(fr, as->current_map) {
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300588 for (i = 0; i < fr->mr->ioeventfd_nb; ++i) {
589 tmp = addrrange_shift(fr->mr->ioeventfds[i].addr,
Avi Kivity08dafab2011-10-16 13:19:17 +0200590 int128_sub(fr->addr.start,
591 int128_make64(fr->offset_in_region)));
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300592 if (addrrange_intersects(fr->addr, tmp)) {
593 ++ioeventfd_nb;
Anthony Liguori7267c092011-08-20 22:09:37 -0500594 ioeventfds = g_realloc(ioeventfds,
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300595 ioeventfd_nb * sizeof(*ioeventfds));
596 ioeventfds[ioeventfd_nb-1] = fr->mr->ioeventfds[i];
597 ioeventfds[ioeventfd_nb-1].addr = tmp;
598 }
599 }
600 }
601
602 address_space_add_del_ioeventfds(as, ioeventfds, ioeventfd_nb,
603 as->ioeventfds, as->ioeventfd_nb);
604
Anthony Liguori7267c092011-08-20 22:09:37 -0500605 g_free(as->ioeventfds);
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300606 as->ioeventfds = ioeventfds;
607 as->ioeventfd_nb = ioeventfd_nb;
608}
609
Avi Kivityb8af1af2011-07-26 14:26:12 +0300610static void address_space_update_topology_pass(AddressSpace *as,
611 FlatView old_view,
612 FlatView new_view,
613 bool adding)
Avi Kivity093bc2c2011-07-26 14:26:01 +0300614{
Avi Kivity093bc2c2011-07-26 14:26:01 +0300615 unsigned iold, inew;
616 FlatRange *frold, *frnew;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300617
618 /* Generate a symmetric difference of the old and new memory maps.
619 * Kill ranges in the old map, and instantiate ranges in the new map.
620 */
621 iold = inew = 0;
622 while (iold < old_view.nr || inew < new_view.nr) {
623 if (iold < old_view.nr) {
624 frold = &old_view.ranges[iold];
625 } else {
626 frold = NULL;
627 }
628 if (inew < new_view.nr) {
629 frnew = &new_view.ranges[inew];
630 } else {
631 frnew = NULL;
632 }
633
634 if (frold
635 && (!frnew
Avi Kivity08dafab2011-10-16 13:19:17 +0200636 || int128_lt(frold->addr.start, frnew->addr.start)
637 || (int128_eq(frold->addr.start, frnew->addr.start)
Avi Kivity093bc2c2011-07-26 14:26:01 +0300638 && !flatrange_equal(frold, frnew)))) {
Peter Crosthwaite41a6e472013-06-03 15:32:42 +1000639 /* In old but not in new, or in both but attributes changed. */
Avi Kivity093bc2c2011-07-26 14:26:01 +0300640
Avi Kivityb8af1af2011-07-26 14:26:12 +0300641 if (!adding) {
Avi Kivity72e22d22012-02-08 15:05:50 +0200642 MEMORY_LISTENER_UPDATE_REGION(frold, as, Reverse, region_del);
Avi Kivityb8af1af2011-07-26 14:26:12 +0300643 }
644
Avi Kivity093bc2c2011-07-26 14:26:01 +0300645 ++iold;
646 } else if (frold && frnew && flatrange_equal(frold, frnew)) {
Peter Crosthwaite41a6e472013-06-03 15:32:42 +1000647 /* In both and unchanged (except logging may have changed) */
Avi Kivity093bc2c2011-07-26 14:26:01 +0300648
Avi Kivityb8af1af2011-07-26 14:26:12 +0300649 if (adding) {
Avi Kivity50c1e142012-02-08 21:36:02 +0200650 MEMORY_LISTENER_UPDATE_REGION(frnew, as, Forward, region_nop);
Avi Kivityb8af1af2011-07-26 14:26:12 +0300651 if (frold->dirty_log_mask && !frnew->dirty_log_mask) {
Avi Kivity72e22d22012-02-08 15:05:50 +0200652 MEMORY_LISTENER_UPDATE_REGION(frnew, as, Reverse, log_stop);
Avi Kivityb8af1af2011-07-26 14:26:12 +0300653 } else if (frnew->dirty_log_mask && !frold->dirty_log_mask) {
Avi Kivity72e22d22012-02-08 15:05:50 +0200654 MEMORY_LISTENER_UPDATE_REGION(frnew, as, Forward, log_start);
Avi Kivityb8af1af2011-07-26 14:26:12 +0300655 }
Avi Kivity5a583342011-07-26 14:26:02 +0300656 }
657
Avi Kivity093bc2c2011-07-26 14:26:01 +0300658 ++iold;
659 ++inew;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300660 } else {
661 /* In new */
662
Avi Kivityb8af1af2011-07-26 14:26:12 +0300663 if (adding) {
Avi Kivity72e22d22012-02-08 15:05:50 +0200664 MEMORY_LISTENER_UPDATE_REGION(frnew, as, Forward, region_add);
Avi Kivityb8af1af2011-07-26 14:26:12 +0300665 }
666
Avi Kivity093bc2c2011-07-26 14:26:01 +0300667 ++inew;
668 }
669 }
Avi Kivityb8af1af2011-07-26 14:26:12 +0300670}
671
672
673static void address_space_update_topology(AddressSpace *as)
674{
Avi Kivity8786db72012-10-02 13:53:41 +0200675 FlatView old_view = *as->current_map;
Avi Kivityb8af1af2011-07-26 14:26:12 +0300676 FlatView new_view = generate_memory_topology(as->root);
677
678 address_space_update_topology_pass(as, old_view, new_view, false);
679 address_space_update_topology_pass(as, old_view, new_view, true);
680
Avi Kivity8786db72012-10-02 13:53:41 +0200681 *as->current_map = new_view;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300682 flatview_destroy(&old_view);
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300683 address_space_update_ioeventfds(as);
Avi Kivity093bc2c2011-07-26 14:26:01 +0300684}
685
Avi Kivity4ef4db82011-07-26 14:26:13 +0300686void memory_region_transaction_begin(void)
687{
Jan Kiszkabb880de2012-08-23 13:02:32 +0200688 qemu_flush_coalesced_mmio_buffer();
Avi Kivity4ef4db82011-07-26 14:26:13 +0300689 ++memory_region_transaction_depth;
690}
691
692void memory_region_transaction_commit(void)
693{
Avi Kivity0d673e32012-10-02 15:28:50 +0200694 AddressSpace *as;
695
Avi Kivity4ef4db82011-07-26 14:26:13 +0300696 assert(memory_region_transaction_depth);
697 --memory_region_transaction_depth;
Jan Kiszka22bde712012-11-05 16:45:56 +0100698 if (!memory_region_transaction_depth && memory_region_update_pending) {
699 memory_region_update_pending = false;
Jan Kiszka02e2b952012-08-23 13:02:31 +0200700 MEMORY_LISTENER_CALL_GLOBAL(begin, Forward);
701
Avi Kivity0d673e32012-10-02 15:28:50 +0200702 QTAILQ_FOREACH(as, &address_spaces, address_spaces_link) {
703 address_space_update_topology(as);
Jan Kiszka02e2b952012-08-23 13:02:31 +0200704 }
705
706 MEMORY_LISTENER_CALL_GLOBAL(commit, Forward);
Avi Kivitye87c0992011-09-14 12:16:20 +0300707 }
Avi Kivity4ef4db82011-07-26 14:26:13 +0300708}
709
Avi Kivity545e92e2011-08-08 19:58:48 +0300710static void memory_region_destructor_none(MemoryRegion *mr)
711{
712}
713
714static void memory_region_destructor_ram(MemoryRegion *mr)
715{
716 qemu_ram_free(mr->ram_addr);
717}
718
Paolo Bonzinidfde4e62013-05-06 10:46:11 +0200719static void memory_region_destructor_alias(MemoryRegion *mr)
720{
721 memory_region_unref(mr->alias);
722}
723
Avi Kivity545e92e2011-08-08 19:58:48 +0300724static void memory_region_destructor_ram_from_ptr(MemoryRegion *mr)
725{
726 qemu_ram_free_from_ptr(mr->ram_addr);
727}
728
Avi Kivityd0a9b5b2011-08-08 19:58:49 +0300729static void memory_region_destructor_rom_device(MemoryRegion *mr)
730{
731 qemu_ram_free(mr->ram_addr & TARGET_PAGE_MASK);
Avi Kivityd0a9b5b2011-08-08 19:58:49 +0300732}
733
Avi Kivitybe675c92011-11-20 16:22:55 +0200734static bool memory_region_wrong_endianness(MemoryRegion *mr)
735{
Andreas Färber2c3579a2012-01-07 09:45:14 +0100736#ifdef TARGET_WORDS_BIGENDIAN
Avi Kivitybe675c92011-11-20 16:22:55 +0200737 return mr->ops->endianness == DEVICE_LITTLE_ENDIAN;
738#else
739 return mr->ops->endianness == DEVICE_BIG_ENDIAN;
740#endif
741}
742
Avi Kivity093bc2c2011-07-26 14:26:01 +0300743void memory_region_init(MemoryRegion *mr,
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -0400744 Object *owner,
Avi Kivity093bc2c2011-07-26 14:26:01 +0300745 const char *name,
746 uint64_t size)
747{
Paolo Bonzini2cdfcf22013-05-24 13:55:52 +0200748 mr->ops = &unassigned_mem_ops;
749 mr->opaque = NULL;
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -0400750 mr->owner = owner;
Avi Kivity30951152012-10-30 13:47:46 +0200751 mr->iommu_ops = NULL;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300752 mr->parent = NULL;
Paolo Bonzini803c0812013-05-07 06:59:09 +0200753 mr->owner = NULL;
Avi Kivity08dafab2011-10-16 13:19:17 +0200754 mr->size = int128_make64(size);
755 if (size == UINT64_MAX) {
756 mr->size = int128_2_64();
757 }
Avi Kivity093bc2c2011-07-26 14:26:01 +0300758 mr->addr = 0;
Avi Kivityb3b00c72012-01-02 13:20:11 +0200759 mr->subpage = false;
Avi Kivity6bba19b2011-09-14 11:54:58 +0300760 mr->enabled = true;
Avi Kivity14a3c102011-07-26 14:26:06 +0300761 mr->terminates = false;
Avi Kivity8ea92522011-12-08 15:58:43 +0200762 mr->ram = false;
Jan Kiszka5f9a5ea2013-05-07 19:04:25 +0200763 mr->romd_mode = true;
Avi Kivityfb1cd6f2011-09-25 14:48:47 +0300764 mr->readonly = false;
Avi Kivity75c578d2012-01-02 15:40:52 +0200765 mr->rom_device = false;
Avi Kivity545e92e2011-08-08 19:58:48 +0300766 mr->destructor = memory_region_destructor_none;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300767 mr->priority = 0;
768 mr->may_overlap = false;
769 mr->alias = NULL;
770 QTAILQ_INIT(&mr->subregions);
771 memset(&mr->subregions_link, 0, sizeof mr->subregions_link);
772 QTAILQ_INIT(&mr->coalesced);
Anthony Liguori7267c092011-08-20 22:09:37 -0500773 mr->name = g_strdup(name);
Avi Kivity5a583342011-07-26 14:26:02 +0300774 mr->dirty_log_mask = 0;
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300775 mr->ioeventfd_nb = 0;
776 mr->ioeventfds = NULL;
Jan Kiszkad4105152012-08-23 13:02:29 +0200777 mr->flush_coalesced_mmio = false;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300778}
779
Paolo Bonzinib018ddf2013-05-24 14:48:38 +0200780static uint64_t unassigned_mem_read(void *opaque, hwaddr addr,
781 unsigned size)
782{
783#ifdef DEBUG_UNASSIGNED
784 printf("Unassigned mem read " TARGET_FMT_plx "\n", addr);
785#endif
Andreas Färberc658b942013-05-27 06:49:53 +0200786 if (cpu_single_env != NULL) {
787 cpu_unassigned_access(ENV_GET_CPU(cpu_single_env),
788 addr, false, false, 0, size);
789 }
Paolo Bonzinib018ddf2013-05-24 14:48:38 +0200790 return 0;
791}
792
793static void unassigned_mem_write(void *opaque, hwaddr addr,
794 uint64_t val, unsigned size)
795{
796#ifdef DEBUG_UNASSIGNED
797 printf("Unassigned mem write " TARGET_FMT_plx " = 0x%"PRIx64"\n", addr, val);
798#endif
Andreas Färberc658b942013-05-27 06:49:53 +0200799 if (cpu_single_env != NULL) {
800 cpu_unassigned_access(ENV_GET_CPU(cpu_single_env),
801 addr, true, false, 0, size);
802 }
Paolo Bonzinib018ddf2013-05-24 14:48:38 +0200803}
804
Paolo Bonzinid1970632013-05-24 13:23:38 +0200805static bool unassigned_mem_accepts(void *opaque, hwaddr addr,
806 unsigned size, bool is_write)
807{
808 return false;
809}
810
811const MemoryRegionOps unassigned_mem_ops = {
812 .valid.accepts = unassigned_mem_accepts,
813 .endianness = DEVICE_NATIVE_ENDIAN,
814};
815
Paolo Bonzinid2702032013-05-24 11:55:06 +0200816bool memory_region_access_valid(MemoryRegion *mr,
817 hwaddr addr,
818 unsigned size,
819 bool is_write)
Avi Kivity093bc2c2011-07-26 14:26:01 +0300820{
Paolo Bonzinia014ed02013-05-24 17:48:52 +0200821 int access_size_min, access_size_max;
822 int access_size, i;
Avi Kivity897fa7c2011-11-13 13:05:27 +0200823
Avi Kivity093bc2c2011-07-26 14:26:01 +0300824 if (!mr->ops->valid.unaligned && (addr & (size - 1))) {
825 return false;
826 }
827
Paolo Bonzinia014ed02013-05-24 17:48:52 +0200828 if (!mr->ops->valid.accepts) {
Avi Kivity093bc2c2011-07-26 14:26:01 +0300829 return true;
830 }
831
Paolo Bonzinia014ed02013-05-24 17:48:52 +0200832 access_size_min = mr->ops->valid.min_access_size;
833 if (!mr->ops->valid.min_access_size) {
834 access_size_min = 1;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300835 }
Paolo Bonzinia014ed02013-05-24 17:48:52 +0200836
837 access_size_max = mr->ops->valid.max_access_size;
838 if (!mr->ops->valid.max_access_size) {
839 access_size_max = 4;
840 }
841
842 access_size = MAX(MIN(size, access_size_max), access_size_min);
843 for (i = 0; i < size; i += access_size) {
844 if (!mr->ops->valid.accepts(mr->opaque, addr + i, access_size,
845 is_write)) {
846 return false;
847 }
848 }
849
Avi Kivity093bc2c2011-07-26 14:26:01 +0300850 return true;
851}
852
Avi Kivitya621f382012-01-02 13:12:08 +0200853static uint64_t memory_region_dispatch_read1(MemoryRegion *mr,
Avi Kivitya8170e52012-10-23 12:30:10 +0200854 hwaddr addr,
Avi Kivitya621f382012-01-02 13:12:08 +0200855 unsigned size)
Avi Kivity093bc2c2011-07-26 14:26:01 +0300856{
Avi Kivity164a4dc2011-08-11 10:40:25 +0300857 uint64_t data = 0;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300858
Paolo Bonzinice5d2f32013-05-24 17:45:48 +0200859 if (mr->ops->read) {
860 access_with_adjusted_size(addr, &data, size,
861 mr->ops->impl.min_access_size,
862 mr->ops->impl.max_access_size,
863 memory_region_read_accessor, mr);
864 } else {
865 access_with_adjusted_size(addr, &data, size, 1, 4,
866 memory_region_oldmmio_read_accessor, mr);
Avi Kivity74901c32011-07-26 14:26:10 +0300867 }
868
Avi Kivity093bc2c2011-07-26 14:26:01 +0300869 return data;
870}
871
Avi Kivitya621f382012-01-02 13:12:08 +0200872static void adjust_endianness(MemoryRegion *mr, uint64_t *data, unsigned size)
Avi Kivity093bc2c2011-07-26 14:26:01 +0300873{
Avi Kivitya621f382012-01-02 13:12:08 +0200874 if (memory_region_wrong_endianness(mr)) {
875 switch (size) {
876 case 1:
877 break;
878 case 2:
879 *data = bswap16(*data);
880 break;
881 case 4:
882 *data = bswap32(*data);
Andreas Färber1470a0c2012-01-07 09:45:15 +0100883 break;
Paolo Bonzini968a5622013-05-24 17:58:37 +0200884 case 8:
885 *data = bswap64(*data);
886 break;
Avi Kivitya621f382012-01-02 13:12:08 +0200887 default:
888 abort();
889 }
890 }
891}
Avi Kivity093bc2c2011-07-26 14:26:01 +0300892
Paolo Bonzini791af8c2013-05-24 16:10:39 +0200893static bool memory_region_dispatch_read(MemoryRegion *mr,
894 hwaddr addr,
895 uint64_t *pval,
896 unsigned size)
Avi Kivitya621f382012-01-02 13:12:08 +0200897{
Paolo Bonzini791af8c2013-05-24 16:10:39 +0200898 if (!memory_region_access_valid(mr, addr, size, false)) {
899 *pval = unassigned_mem_read(mr, addr, size);
900 return true;
901 }
Avi Kivitya621f382012-01-02 13:12:08 +0200902
Paolo Bonzini791af8c2013-05-24 16:10:39 +0200903 *pval = memory_region_dispatch_read1(mr, addr, size);
904 adjust_endianness(mr, pval, size);
905 return false;
Avi Kivitya621f382012-01-02 13:12:08 +0200906}
907
Paolo Bonzini791af8c2013-05-24 16:10:39 +0200908static bool memory_region_dispatch_write(MemoryRegion *mr,
Avi Kivitya8170e52012-10-23 12:30:10 +0200909 hwaddr addr,
Avi Kivitya621f382012-01-02 13:12:08 +0200910 uint64_t data,
911 unsigned size)
912{
Avi Kivity897fa7c2011-11-13 13:05:27 +0200913 if (!memory_region_access_valid(mr, addr, size, true)) {
Paolo Bonzinib018ddf2013-05-24 14:48:38 +0200914 unassigned_mem_write(mr, addr, data, size);
Paolo Bonzini791af8c2013-05-24 16:10:39 +0200915 return true;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300916 }
917
Avi Kivitya621f382012-01-02 13:12:08 +0200918 adjust_endianness(mr, &data, size);
919
Paolo Bonzinice5d2f32013-05-24 17:45:48 +0200920 if (mr->ops->write) {
921 access_with_adjusted_size(addr, &data, size,
922 mr->ops->impl.min_access_size,
923 mr->ops->impl.max_access_size,
924 memory_region_write_accessor, mr);
925 } else {
926 access_with_adjusted_size(addr, &data, size, 1, 4,
927 memory_region_oldmmio_write_accessor, mr);
Avi Kivity74901c32011-07-26 14:26:10 +0300928 }
Paolo Bonzini791af8c2013-05-24 16:10:39 +0200929 return false;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300930}
931
Avi Kivity093bc2c2011-07-26 14:26:01 +0300932void memory_region_init_io(MemoryRegion *mr,
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -0400933 Object *owner,
Avi Kivity093bc2c2011-07-26 14:26:01 +0300934 const MemoryRegionOps *ops,
935 void *opaque,
936 const char *name,
937 uint64_t size)
938{
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -0400939 memory_region_init(mr, owner, name, size);
Avi Kivity093bc2c2011-07-26 14:26:01 +0300940 mr->ops = ops;
941 mr->opaque = opaque;
Avi Kivity14a3c102011-07-26 14:26:06 +0300942 mr->terminates = true;
Avi Kivity97161e12012-03-08 19:16:39 +0200943 mr->ram_addr = ~(ram_addr_t)0;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300944}
945
946void memory_region_init_ram(MemoryRegion *mr,
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -0400947 Object *owner,
Avi Kivity093bc2c2011-07-26 14:26:01 +0300948 const char *name,
949 uint64_t size)
950{
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -0400951 memory_region_init(mr, owner, name, size);
Avi Kivity8ea92522011-12-08 15:58:43 +0200952 mr->ram = true;
Avi Kivity14a3c102011-07-26 14:26:06 +0300953 mr->terminates = true;
Avi Kivity545e92e2011-08-08 19:58:48 +0300954 mr->destructor = memory_region_destructor_ram;
Avi Kivityc5705a72011-12-20 15:59:12 +0200955 mr->ram_addr = qemu_ram_alloc(size, mr);
Avi Kivity093bc2c2011-07-26 14:26:01 +0300956}
957
958void memory_region_init_ram_ptr(MemoryRegion *mr,
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -0400959 Object *owner,
Avi Kivity093bc2c2011-07-26 14:26:01 +0300960 const char *name,
961 uint64_t size,
962 void *ptr)
963{
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -0400964 memory_region_init(mr, owner, name, size);
Avi Kivity8ea92522011-12-08 15:58:43 +0200965 mr->ram = true;
Avi Kivity14a3c102011-07-26 14:26:06 +0300966 mr->terminates = true;
Avi Kivity545e92e2011-08-08 19:58:48 +0300967 mr->destructor = memory_region_destructor_ram_from_ptr;
Avi Kivityc5705a72011-12-20 15:59:12 +0200968 mr->ram_addr = qemu_ram_alloc_from_ptr(size, ptr, mr);
Avi Kivity093bc2c2011-07-26 14:26:01 +0300969}
970
971void memory_region_init_alias(MemoryRegion *mr,
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -0400972 Object *owner,
Avi Kivity093bc2c2011-07-26 14:26:01 +0300973 const char *name,
974 MemoryRegion *orig,
Avi Kivitya8170e52012-10-23 12:30:10 +0200975 hwaddr offset,
Avi Kivity093bc2c2011-07-26 14:26:01 +0300976 uint64_t size)
977{
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -0400978 memory_region_init(mr, owner, name, size);
Paolo Bonzinidfde4e62013-05-06 10:46:11 +0200979 memory_region_ref(orig);
980 mr->destructor = memory_region_destructor_alias;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300981 mr->alias = orig;
982 mr->alias_offset = offset;
983}
984
Avi Kivityd0a9b5b2011-08-08 19:58:49 +0300985void memory_region_init_rom_device(MemoryRegion *mr,
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -0400986 Object *owner,
Avi Kivityd0a9b5b2011-08-08 19:58:49 +0300987 const MemoryRegionOps *ops,
Avi Kivity75f59412011-08-26 00:35:15 +0300988 void *opaque,
Avi Kivityd0a9b5b2011-08-08 19:58:49 +0300989 const char *name,
990 uint64_t size)
991{
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -0400992 memory_region_init(mr, owner, name, size);
Avi Kivity7bc2b9c2011-08-25 14:56:14 +0300993 mr->ops = ops;
Avi Kivity75f59412011-08-26 00:35:15 +0300994 mr->opaque = opaque;
Avi Kivityd0a9b5b2011-08-08 19:58:49 +0300995 mr->terminates = true;
Avi Kivity75c578d2012-01-02 15:40:52 +0200996 mr->rom_device = true;
Avi Kivityd0a9b5b2011-08-08 19:58:49 +0300997 mr->destructor = memory_region_destructor_rom_device;
Avi Kivityc5705a72011-12-20 15:59:12 +0200998 mr->ram_addr = qemu_ram_alloc(size, mr);
Avi Kivityd0a9b5b2011-08-08 19:58:49 +0300999}
1000
Avi Kivity30951152012-10-30 13:47:46 +02001001void memory_region_init_iommu(MemoryRegion *mr,
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -04001002 Object *owner,
Avi Kivity30951152012-10-30 13:47:46 +02001003 const MemoryRegionIOMMUOps *ops,
1004 const char *name,
1005 uint64_t size)
1006{
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -04001007 memory_region_init(mr, owner, name, size);
Avi Kivity30951152012-10-30 13:47:46 +02001008 mr->iommu_ops = ops,
1009 mr->terminates = true; /* then re-forwards */
David Gibson06866572013-05-14 19:13:56 +10001010 notifier_list_init(&mr->iommu_notify);
Avi Kivity30951152012-10-30 13:47:46 +02001011}
1012
Jan Kiszka1660e722011-10-23 16:01:19 +02001013void memory_region_init_reservation(MemoryRegion *mr,
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -04001014 Object *owner,
Jan Kiszka1660e722011-10-23 16:01:19 +02001015 const char *name,
1016 uint64_t size)
1017{
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -04001018 memory_region_init_io(mr, owner, &unassigned_mem_ops, mr, name, size);
Jan Kiszka1660e722011-10-23 16:01:19 +02001019}
1020
Avi Kivity093bc2c2011-07-26 14:26:01 +03001021void memory_region_destroy(MemoryRegion *mr)
1022{
1023 assert(QTAILQ_EMPTY(&mr->subregions));
Avi Kivity2be0e252012-10-17 17:14:41 +02001024 assert(memory_region_transaction_depth == 0);
Avi Kivity545e92e2011-08-08 19:58:48 +03001025 mr->destructor(mr);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001026 memory_region_clear_coalescing(mr);
Anthony Liguori7267c092011-08-20 22:09:37 -05001027 g_free((char *)mr->name);
1028 g_free(mr->ioeventfds);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001029}
1030
Paolo Bonzini803c0812013-05-07 06:59:09 +02001031Object *memory_region_owner(MemoryRegion *mr)
1032{
1033 return mr->owner;
1034}
1035
Paolo Bonzini46637be2013-05-07 09:06:00 +02001036void memory_region_ref(MemoryRegion *mr)
1037{
1038 if (mr && mr->owner) {
1039 object_ref(mr->owner);
1040 }
1041}
1042
1043void memory_region_unref(MemoryRegion *mr)
1044{
1045 if (mr && mr->owner) {
1046 object_unref(mr->owner);
1047 }
1048}
1049
Avi Kivity093bc2c2011-07-26 14:26:01 +03001050uint64_t memory_region_size(MemoryRegion *mr)
1051{
Avi Kivity08dafab2011-10-16 13:19:17 +02001052 if (int128_eq(mr->size, int128_2_64())) {
1053 return UINT64_MAX;
1054 }
1055 return int128_get64(mr->size);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001056}
1057
Avi Kivity8991c792011-12-20 15:53:11 +02001058const char *memory_region_name(MemoryRegion *mr)
1059{
1060 return mr->name;
1061}
1062
Avi Kivity8ea92522011-12-08 15:58:43 +02001063bool memory_region_is_ram(MemoryRegion *mr)
1064{
1065 return mr->ram;
1066}
1067
Avi Kivity55043ba2011-12-15 17:20:34 +02001068bool memory_region_is_logging(MemoryRegion *mr)
1069{
1070 return mr->dirty_log_mask;
1071}
1072
Avi Kivityce7923d2011-12-08 16:05:11 +02001073bool memory_region_is_rom(MemoryRegion *mr)
1074{
1075 return mr->ram && mr->readonly;
1076}
1077
Avi Kivity30951152012-10-30 13:47:46 +02001078bool memory_region_is_iommu(MemoryRegion *mr)
1079{
1080 return mr->iommu_ops;
1081}
1082
David Gibson06866572013-05-14 19:13:56 +10001083void memory_region_register_iommu_notifier(MemoryRegion *mr, Notifier *n)
1084{
1085 notifier_list_add(&mr->iommu_notify, n);
1086}
1087
1088void memory_region_unregister_iommu_notifier(Notifier *n)
1089{
1090 notifier_remove(n);
1091}
1092
1093void memory_region_notify_iommu(MemoryRegion *mr,
1094 IOMMUTLBEntry entry)
1095{
1096 assert(memory_region_is_iommu(mr));
1097 notifier_list_notify(&mr->iommu_notify, &entry);
1098}
1099
Avi Kivity093bc2c2011-07-26 14:26:01 +03001100void memory_region_set_log(MemoryRegion *mr, bool log, unsigned client)
1101{
Avi Kivity5a583342011-07-26 14:26:02 +03001102 uint8_t mask = 1 << client;
1103
Jan Kiszka59023ef2012-08-23 13:02:30 +02001104 memory_region_transaction_begin();
Avi Kivity5a583342011-07-26 14:26:02 +03001105 mr->dirty_log_mask = (mr->dirty_log_mask & ~mask) | (log * mask);
Jan Kiszka22bde712012-11-05 16:45:56 +01001106 memory_region_update_pending |= mr->enabled;
Jan Kiszka59023ef2012-08-23 13:02:30 +02001107 memory_region_transaction_commit();
Avi Kivity093bc2c2011-07-26 14:26:01 +03001108}
1109
Avi Kivitya8170e52012-10-23 12:30:10 +02001110bool memory_region_get_dirty(MemoryRegion *mr, hwaddr addr,
1111 hwaddr size, unsigned client)
Avi Kivity093bc2c2011-07-26 14:26:01 +03001112{
Avi Kivity14a3c102011-07-26 14:26:06 +03001113 assert(mr->terminates);
Blue Swirlcd7a45c2012-01-22 16:38:21 +00001114 return cpu_physical_memory_get_dirty(mr->ram_addr + addr, size,
1115 1 << client);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001116}
1117
Avi Kivitya8170e52012-10-23 12:30:10 +02001118void memory_region_set_dirty(MemoryRegion *mr, hwaddr addr,
1119 hwaddr size)
Avi Kivity093bc2c2011-07-26 14:26:01 +03001120{
Avi Kivity14a3c102011-07-26 14:26:06 +03001121 assert(mr->terminates);
Blue Swirlfd4aa972011-10-16 16:04:59 +00001122 return cpu_physical_memory_set_dirty_range(mr->ram_addr + addr, size, -1);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001123}
1124
Juan Quintela6c279db2012-10-17 20:24:28 +02001125bool memory_region_test_and_clear_dirty(MemoryRegion *mr, hwaddr addr,
1126 hwaddr size, unsigned client)
1127{
1128 bool ret;
1129 assert(mr->terminates);
1130 ret = cpu_physical_memory_get_dirty(mr->ram_addr + addr, size,
1131 1 << client);
1132 if (ret) {
1133 cpu_physical_memory_reset_dirty(mr->ram_addr + addr,
1134 mr->ram_addr + addr + size,
1135 1 << client);
1136 }
1137 return ret;
1138}
1139
1140
Avi Kivity093bc2c2011-07-26 14:26:01 +03001141void memory_region_sync_dirty_bitmap(MemoryRegion *mr)
1142{
Avi Kivity0d673e32012-10-02 15:28:50 +02001143 AddressSpace *as;
Avi Kivity5a583342011-07-26 14:26:02 +03001144 FlatRange *fr;
1145
Avi Kivity0d673e32012-10-02 15:28:50 +02001146 QTAILQ_FOREACH(as, &address_spaces, address_spaces_link) {
1147 FOR_EACH_FLAT_RANGE(fr, as->current_map) {
1148 if (fr->mr == mr) {
1149 MEMORY_LISTENER_UPDATE_REGION(fr, as, Forward, log_sync);
1150 }
Avi Kivity5a583342011-07-26 14:26:02 +03001151 }
1152 }
Avi Kivity093bc2c2011-07-26 14:26:01 +03001153}
1154
1155void memory_region_set_readonly(MemoryRegion *mr, bool readonly)
1156{
Avi Kivityfb1cd6f2011-09-25 14:48:47 +03001157 if (mr->readonly != readonly) {
Jan Kiszka59023ef2012-08-23 13:02:30 +02001158 memory_region_transaction_begin();
Avi Kivityfb1cd6f2011-09-25 14:48:47 +03001159 mr->readonly = readonly;
Jan Kiszka22bde712012-11-05 16:45:56 +01001160 memory_region_update_pending |= mr->enabled;
Jan Kiszka59023ef2012-08-23 13:02:30 +02001161 memory_region_transaction_commit();
Avi Kivityfb1cd6f2011-09-25 14:48:47 +03001162 }
Avi Kivity093bc2c2011-07-26 14:26:01 +03001163}
1164
Jan Kiszka5f9a5ea2013-05-07 19:04:25 +02001165void memory_region_rom_device_set_romd(MemoryRegion *mr, bool romd_mode)
Avi Kivityd0a9b5b2011-08-08 19:58:49 +03001166{
Jan Kiszka5f9a5ea2013-05-07 19:04:25 +02001167 if (mr->romd_mode != romd_mode) {
Jan Kiszka59023ef2012-08-23 13:02:30 +02001168 memory_region_transaction_begin();
Jan Kiszka5f9a5ea2013-05-07 19:04:25 +02001169 mr->romd_mode = romd_mode;
Jan Kiszka22bde712012-11-05 16:45:56 +01001170 memory_region_update_pending |= mr->enabled;
Jan Kiszka59023ef2012-08-23 13:02:30 +02001171 memory_region_transaction_commit();
Avi Kivityd0a9b5b2011-08-08 19:58:49 +03001172 }
1173}
1174
Avi Kivitya8170e52012-10-23 12:30:10 +02001175void memory_region_reset_dirty(MemoryRegion *mr, hwaddr addr,
1176 hwaddr size, unsigned client)
Avi Kivity093bc2c2011-07-26 14:26:01 +03001177{
Avi Kivity14a3c102011-07-26 14:26:06 +03001178 assert(mr->terminates);
Avi Kivity5a583342011-07-26 14:26:02 +03001179 cpu_physical_memory_reset_dirty(mr->ram_addr + addr,
1180 mr->ram_addr + addr + size,
1181 1 << client);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001182}
1183
1184void *memory_region_get_ram_ptr(MemoryRegion *mr)
1185{
1186 if (mr->alias) {
1187 return memory_region_get_ram_ptr(mr->alias) + mr->alias_offset;
1188 }
1189
Avi Kivity14a3c102011-07-26 14:26:06 +03001190 assert(mr->terminates);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001191
Jan Kiszka021d26d2011-08-30 00:38:24 +02001192 return qemu_get_ram_ptr(mr->ram_addr & TARGET_PAGE_MASK);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001193}
1194
Avi Kivity0d673e32012-10-02 15:28:50 +02001195static void memory_region_update_coalesced_range_as(MemoryRegion *mr, AddressSpace *as)
Avi Kivity093bc2c2011-07-26 14:26:01 +03001196{
1197 FlatRange *fr;
1198 CoalescedMemoryRange *cmr;
1199 AddrRange tmp;
Avi Kivity95d29942012-10-02 18:21:54 +02001200 MemoryRegionSection section;
Avi Kivity093bc2c2011-07-26 14:26:01 +03001201
Avi Kivity0d673e32012-10-02 15:28:50 +02001202 FOR_EACH_FLAT_RANGE(fr, as->current_map) {
Avi Kivity093bc2c2011-07-26 14:26:01 +03001203 if (fr->mr == mr) {
Avi Kivity95d29942012-10-02 18:21:54 +02001204 section = (MemoryRegionSection) {
Avi Kivityf6790af2012-10-02 20:13:51 +02001205 .address_space = as,
Avi Kivity95d29942012-10-02 18:21:54 +02001206 .offset_within_address_space = int128_get64(fr->addr.start),
Paolo Bonzini052e87b2013-05-27 10:08:27 +02001207 .size = fr->addr.size,
Avi Kivity95d29942012-10-02 18:21:54 +02001208 };
1209
1210 MEMORY_LISTENER_CALL(coalesced_mmio_del, Reverse, &section,
1211 int128_get64(fr->addr.start),
1212 int128_get64(fr->addr.size));
Avi Kivity093bc2c2011-07-26 14:26:01 +03001213 QTAILQ_FOREACH(cmr, &mr->coalesced, link) {
1214 tmp = addrrange_shift(cmr->addr,
Avi Kivity08dafab2011-10-16 13:19:17 +02001215 int128_sub(fr->addr.start,
1216 int128_make64(fr->offset_in_region)));
Avi Kivity093bc2c2011-07-26 14:26:01 +03001217 if (!addrrange_intersects(tmp, fr->addr)) {
1218 continue;
1219 }
1220 tmp = addrrange_intersection(tmp, fr->addr);
Avi Kivity95d29942012-10-02 18:21:54 +02001221 MEMORY_LISTENER_CALL(coalesced_mmio_add, Forward, &section,
1222 int128_get64(tmp.start),
1223 int128_get64(tmp.size));
Avi Kivity093bc2c2011-07-26 14:26:01 +03001224 }
1225 }
1226 }
1227}
1228
Avi Kivity0d673e32012-10-02 15:28:50 +02001229static void memory_region_update_coalesced_range(MemoryRegion *mr)
1230{
1231 AddressSpace *as;
1232
1233 QTAILQ_FOREACH(as, &address_spaces, address_spaces_link) {
1234 memory_region_update_coalesced_range_as(mr, as);
1235 }
1236}
1237
Avi Kivity093bc2c2011-07-26 14:26:01 +03001238void memory_region_set_coalescing(MemoryRegion *mr)
1239{
1240 memory_region_clear_coalescing(mr);
Avi Kivity08dafab2011-10-16 13:19:17 +02001241 memory_region_add_coalescing(mr, 0, int128_get64(mr->size));
Avi Kivity093bc2c2011-07-26 14:26:01 +03001242}
1243
1244void memory_region_add_coalescing(MemoryRegion *mr,
Avi Kivitya8170e52012-10-23 12:30:10 +02001245 hwaddr offset,
Avi Kivity093bc2c2011-07-26 14:26:01 +03001246 uint64_t size)
1247{
Anthony Liguori7267c092011-08-20 22:09:37 -05001248 CoalescedMemoryRange *cmr = g_malloc(sizeof(*cmr));
Avi Kivity093bc2c2011-07-26 14:26:01 +03001249
Avi Kivity08dafab2011-10-16 13:19:17 +02001250 cmr->addr = addrrange_make(int128_make64(offset), int128_make64(size));
Avi Kivity093bc2c2011-07-26 14:26:01 +03001251 QTAILQ_INSERT_TAIL(&mr->coalesced, cmr, link);
1252 memory_region_update_coalesced_range(mr);
Jan Kiszkad4105152012-08-23 13:02:29 +02001253 memory_region_set_flush_coalesced(mr);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001254}
1255
1256void memory_region_clear_coalescing(MemoryRegion *mr)
1257{
1258 CoalescedMemoryRange *cmr;
1259
Jan Kiszkad4105152012-08-23 13:02:29 +02001260 qemu_flush_coalesced_mmio_buffer();
1261 mr->flush_coalesced_mmio = false;
1262
Avi Kivity093bc2c2011-07-26 14:26:01 +03001263 while (!QTAILQ_EMPTY(&mr->coalesced)) {
1264 cmr = QTAILQ_FIRST(&mr->coalesced);
1265 QTAILQ_REMOVE(&mr->coalesced, cmr, link);
Anthony Liguori7267c092011-08-20 22:09:37 -05001266 g_free(cmr);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001267 }
1268 memory_region_update_coalesced_range(mr);
1269}
1270
Jan Kiszkad4105152012-08-23 13:02:29 +02001271void memory_region_set_flush_coalesced(MemoryRegion *mr)
1272{
1273 mr->flush_coalesced_mmio = true;
1274}
1275
1276void memory_region_clear_flush_coalesced(MemoryRegion *mr)
1277{
1278 qemu_flush_coalesced_mmio_buffer();
1279 if (QTAILQ_EMPTY(&mr->coalesced)) {
1280 mr->flush_coalesced_mmio = false;
1281 }
1282}
1283
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001284void memory_region_add_eventfd(MemoryRegion *mr,
Avi Kivitya8170e52012-10-23 12:30:10 +02001285 hwaddr addr,
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001286 unsigned size,
1287 bool match_data,
1288 uint64_t data,
Paolo Bonzini753d5e12012-07-05 17:16:27 +02001289 EventNotifier *e)
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001290{
1291 MemoryRegionIoeventfd mrfd = {
Avi Kivity08dafab2011-10-16 13:19:17 +02001292 .addr.start = int128_make64(addr),
1293 .addr.size = int128_make64(size),
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001294 .match_data = match_data,
1295 .data = data,
Paolo Bonzini753d5e12012-07-05 17:16:27 +02001296 .e = e,
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001297 };
1298 unsigned i;
1299
Alexander Graf28f362b2012-10-15 20:30:28 +02001300 adjust_endianness(mr, &mrfd.data, size);
Jan Kiszka59023ef2012-08-23 13:02:30 +02001301 memory_region_transaction_begin();
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001302 for (i = 0; i < mr->ioeventfd_nb; ++i) {
1303 if (memory_region_ioeventfd_before(mrfd, mr->ioeventfds[i])) {
1304 break;
1305 }
1306 }
1307 ++mr->ioeventfd_nb;
Anthony Liguori7267c092011-08-20 22:09:37 -05001308 mr->ioeventfds = g_realloc(mr->ioeventfds,
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001309 sizeof(*mr->ioeventfds) * mr->ioeventfd_nb);
1310 memmove(&mr->ioeventfds[i+1], &mr->ioeventfds[i],
1311 sizeof(*mr->ioeventfds) * (mr->ioeventfd_nb-1 - i));
1312 mr->ioeventfds[i] = mrfd;
Jan Kiszka22bde712012-11-05 16:45:56 +01001313 memory_region_update_pending |= mr->enabled;
Jan Kiszka59023ef2012-08-23 13:02:30 +02001314 memory_region_transaction_commit();
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001315}
1316
1317void memory_region_del_eventfd(MemoryRegion *mr,
Avi Kivitya8170e52012-10-23 12:30:10 +02001318 hwaddr addr,
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001319 unsigned size,
1320 bool match_data,
1321 uint64_t data,
Paolo Bonzini753d5e12012-07-05 17:16:27 +02001322 EventNotifier *e)
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001323{
1324 MemoryRegionIoeventfd mrfd = {
Avi Kivity08dafab2011-10-16 13:19:17 +02001325 .addr.start = int128_make64(addr),
1326 .addr.size = int128_make64(size),
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001327 .match_data = match_data,
1328 .data = data,
Paolo Bonzini753d5e12012-07-05 17:16:27 +02001329 .e = e,
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001330 };
1331 unsigned i;
1332
Alexander Graf28f362b2012-10-15 20:30:28 +02001333 adjust_endianness(mr, &mrfd.data, size);
Jan Kiszka59023ef2012-08-23 13:02:30 +02001334 memory_region_transaction_begin();
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001335 for (i = 0; i < mr->ioeventfd_nb; ++i) {
1336 if (memory_region_ioeventfd_equal(mrfd, mr->ioeventfds[i])) {
1337 break;
1338 }
1339 }
1340 assert(i != mr->ioeventfd_nb);
1341 memmove(&mr->ioeventfds[i], &mr->ioeventfds[i+1],
1342 sizeof(*mr->ioeventfds) * (mr->ioeventfd_nb - (i+1)));
1343 --mr->ioeventfd_nb;
Anthony Liguori7267c092011-08-20 22:09:37 -05001344 mr->ioeventfds = g_realloc(mr->ioeventfds,
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001345 sizeof(*mr->ioeventfds)*mr->ioeventfd_nb + 1);
Jan Kiszka22bde712012-11-05 16:45:56 +01001346 memory_region_update_pending |= mr->enabled;
Jan Kiszka59023ef2012-08-23 13:02:30 +02001347 memory_region_transaction_commit();
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001348}
1349
Avi Kivity093bc2c2011-07-26 14:26:01 +03001350static void memory_region_add_subregion_common(MemoryRegion *mr,
Avi Kivitya8170e52012-10-23 12:30:10 +02001351 hwaddr offset,
Avi Kivity093bc2c2011-07-26 14:26:01 +03001352 MemoryRegion *subregion)
1353{
1354 MemoryRegion *other;
1355
Jan Kiszka59023ef2012-08-23 13:02:30 +02001356 memory_region_transaction_begin();
1357
Avi Kivity093bc2c2011-07-26 14:26:01 +03001358 assert(!subregion->parent);
Paolo Bonzinidfde4e62013-05-06 10:46:11 +02001359 memory_region_ref(subregion);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001360 subregion->parent = mr;
1361 subregion->addr = offset;
1362 QTAILQ_FOREACH(other, &mr->subregions, subregions_link) {
1363 if (subregion->may_overlap || other->may_overlap) {
1364 continue;
1365 }
Hu Tao2c7cfd62013-03-15 14:32:01 +08001366 if (int128_ge(int128_make64(offset),
Avi Kivity08dafab2011-10-16 13:19:17 +02001367 int128_add(int128_make64(other->addr), other->size))
1368 || int128_le(int128_add(int128_make64(offset), subregion->size),
1369 int128_make64(other->addr))) {
Avi Kivity093bc2c2011-07-26 14:26:01 +03001370 continue;
1371 }
Anthony Liguoria5e1cbc2011-08-22 11:14:56 -05001372#if 0
Michael Walle860329b2011-09-15 23:16:49 +02001373 printf("warning: subregion collision %llx/%llx (%s) "
1374 "vs %llx/%llx (%s)\n",
Avi Kivity093bc2c2011-07-26 14:26:01 +03001375 (unsigned long long)offset,
Avi Kivity08dafab2011-10-16 13:19:17 +02001376 (unsigned long long)int128_get64(subregion->size),
Michael Walle860329b2011-09-15 23:16:49 +02001377 subregion->name,
1378 (unsigned long long)other->addr,
Avi Kivity08dafab2011-10-16 13:19:17 +02001379 (unsigned long long)int128_get64(other->size),
Michael Walle860329b2011-09-15 23:16:49 +02001380 other->name);
Anthony Liguoria5e1cbc2011-08-22 11:14:56 -05001381#endif
Avi Kivity093bc2c2011-07-26 14:26:01 +03001382 }
1383 QTAILQ_FOREACH(other, &mr->subregions, subregions_link) {
1384 if (subregion->priority >= other->priority) {
1385 QTAILQ_INSERT_BEFORE(other, subregion, subregions_link);
1386 goto done;
1387 }
1388 }
1389 QTAILQ_INSERT_TAIL(&mr->subregions, subregion, subregions_link);
1390done:
Jan Kiszka22bde712012-11-05 16:45:56 +01001391 memory_region_update_pending |= mr->enabled && subregion->enabled;
Jan Kiszka59023ef2012-08-23 13:02:30 +02001392 memory_region_transaction_commit();
Avi Kivity093bc2c2011-07-26 14:26:01 +03001393}
1394
1395
1396void memory_region_add_subregion(MemoryRegion *mr,
Avi Kivitya8170e52012-10-23 12:30:10 +02001397 hwaddr offset,
Avi Kivity093bc2c2011-07-26 14:26:01 +03001398 MemoryRegion *subregion)
1399{
1400 subregion->may_overlap = false;
1401 subregion->priority = 0;
1402 memory_region_add_subregion_common(mr, offset, subregion);
1403}
1404
1405void memory_region_add_subregion_overlap(MemoryRegion *mr,
Avi Kivitya8170e52012-10-23 12:30:10 +02001406 hwaddr offset,
Avi Kivity093bc2c2011-07-26 14:26:01 +03001407 MemoryRegion *subregion,
1408 unsigned priority)
1409{
1410 subregion->may_overlap = true;
1411 subregion->priority = priority;
1412 memory_region_add_subregion_common(mr, offset, subregion);
1413}
1414
1415void memory_region_del_subregion(MemoryRegion *mr,
1416 MemoryRegion *subregion)
1417{
Jan Kiszka59023ef2012-08-23 13:02:30 +02001418 memory_region_transaction_begin();
Avi Kivity093bc2c2011-07-26 14:26:01 +03001419 assert(subregion->parent == mr);
1420 subregion->parent = NULL;
1421 QTAILQ_REMOVE(&mr->subregions, subregion, subregions_link);
Paolo Bonzinidfde4e62013-05-06 10:46:11 +02001422 memory_region_unref(subregion);
Jan Kiszka22bde712012-11-05 16:45:56 +01001423 memory_region_update_pending |= mr->enabled && subregion->enabled;
Jan Kiszka59023ef2012-08-23 13:02:30 +02001424 memory_region_transaction_commit();
Avi Kivity6bba19b2011-09-14 11:54:58 +03001425}
1426
1427void memory_region_set_enabled(MemoryRegion *mr, bool enabled)
1428{
1429 if (enabled == mr->enabled) {
1430 return;
1431 }
Jan Kiszka59023ef2012-08-23 13:02:30 +02001432 memory_region_transaction_begin();
Avi Kivity6bba19b2011-09-14 11:54:58 +03001433 mr->enabled = enabled;
Jan Kiszka22bde712012-11-05 16:45:56 +01001434 memory_region_update_pending = true;
Jan Kiszka59023ef2012-08-23 13:02:30 +02001435 memory_region_transaction_commit();
Avi Kivity093bc2c2011-07-26 14:26:01 +03001436}
Avi Kivity1c0ffa52011-07-26 14:26:04 +03001437
Avi Kivitya8170e52012-10-23 12:30:10 +02001438void memory_region_set_address(MemoryRegion *mr, hwaddr addr)
Avi Kivity2282e1a2011-09-14 12:10:12 +03001439{
1440 MemoryRegion *parent = mr->parent;
1441 unsigned priority = mr->priority;
1442 bool may_overlap = mr->may_overlap;
1443
1444 if (addr == mr->addr || !parent) {
1445 mr->addr = addr;
1446 return;
1447 }
1448
1449 memory_region_transaction_begin();
Paolo Bonzinidfde4e62013-05-06 10:46:11 +02001450 memory_region_ref(mr);
Avi Kivity2282e1a2011-09-14 12:10:12 +03001451 memory_region_del_subregion(parent, mr);
1452 if (may_overlap) {
1453 memory_region_add_subregion_overlap(parent, addr, mr, priority);
1454 } else {
1455 memory_region_add_subregion(parent, addr, mr);
1456 }
Paolo Bonzinidfde4e62013-05-06 10:46:11 +02001457 memory_region_unref(mr);
Avi Kivity2282e1a2011-09-14 12:10:12 +03001458 memory_region_transaction_commit();
1459}
1460
Avi Kivitya8170e52012-10-23 12:30:10 +02001461void memory_region_set_alias_offset(MemoryRegion *mr, hwaddr offset)
Avi Kivity47033592011-12-04 19:16:50 +02001462{
Avi Kivity47033592011-12-04 19:16:50 +02001463 assert(mr->alias);
Avi Kivity47033592011-12-04 19:16:50 +02001464
Jan Kiszka59023ef2012-08-23 13:02:30 +02001465 if (offset == mr->alias_offset) {
Avi Kivity47033592011-12-04 19:16:50 +02001466 return;
1467 }
1468
Jan Kiszka59023ef2012-08-23 13:02:30 +02001469 memory_region_transaction_begin();
1470 mr->alias_offset = offset;
Jan Kiszka22bde712012-11-05 16:45:56 +01001471 memory_region_update_pending |= mr->enabled;
Jan Kiszka59023ef2012-08-23 13:02:30 +02001472 memory_region_transaction_commit();
Avi Kivity47033592011-12-04 19:16:50 +02001473}
1474
Avi Kivitye34911c2011-12-19 12:06:23 +02001475ram_addr_t memory_region_get_ram_addr(MemoryRegion *mr)
1476{
Avi Kivitye34911c2011-12-19 12:06:23 +02001477 return mr->ram_addr;
1478}
1479
Avi Kivitye2177952011-12-08 15:00:18 +02001480static int cmp_flatrange_addr(const void *addr_, const void *fr_)
1481{
1482 const AddrRange *addr = addr_;
1483 const FlatRange *fr = fr_;
1484
1485 if (int128_le(addrrange_end(*addr), fr->addr.start)) {
1486 return -1;
1487 } else if (int128_ge(addr->start, addrrange_end(fr->addr))) {
1488 return 1;
1489 }
1490 return 0;
1491}
1492
1493static FlatRange *address_space_lookup(AddressSpace *as, AddrRange addr)
1494{
Avi Kivity8786db72012-10-02 13:53:41 +02001495 return bsearch(&addr, as->current_map->ranges, as->current_map->nr,
Avi Kivitye2177952011-12-08 15:00:18 +02001496 sizeof(FlatRange), cmp_flatrange_addr);
1497}
1498
Paolo Bonzini3ce10902013-07-02 13:40:48 +02001499bool memory_region_present(MemoryRegion *parent, hwaddr addr)
1500{
1501 MemoryRegion *mr = memory_region_find(parent, addr, 1).mr;
1502 if (!mr) {
1503 return false;
1504 }
Paolo Bonzinidfde4e62013-05-06 10:46:11 +02001505 memory_region_unref(mr);
Paolo Bonzini3ce10902013-07-02 13:40:48 +02001506 return true;
1507}
1508
Paolo Bonzini73034e92013-05-07 15:48:28 +02001509MemoryRegionSection memory_region_find(MemoryRegion *mr,
Avi Kivitya8170e52012-10-23 12:30:10 +02001510 hwaddr addr, uint64_t size)
Avi Kivitye2177952011-12-08 15:00:18 +02001511{
Paolo Bonzini052e87b2013-05-27 10:08:27 +02001512 MemoryRegionSection ret = { .mr = NULL };
Paolo Bonzini73034e92013-05-07 15:48:28 +02001513 MemoryRegion *root;
1514 AddressSpace *as;
1515 AddrRange range;
1516 FlatRange *fr;
Avi Kivitye2177952011-12-08 15:00:18 +02001517
Paolo Bonzini73034e92013-05-07 15:48:28 +02001518 addr += mr->addr;
1519 for (root = mr; root->parent; ) {
1520 root = root->parent;
1521 addr += root->addr;
1522 }
1523
1524 as = memory_region_to_address_space(root);
1525 range = addrrange_make(int128_make64(addr), int128_make64(size));
1526 fr = address_space_lookup(as, range);
Avi Kivitye2177952011-12-08 15:00:18 +02001527 if (!fr) {
1528 return ret;
1529 }
1530
Avi Kivity8786db72012-10-02 13:53:41 +02001531 while (fr > as->current_map->ranges
Avi Kivitye2177952011-12-08 15:00:18 +02001532 && addrrange_intersects(fr[-1].addr, range)) {
1533 --fr;
1534 }
1535
1536 ret.mr = fr->mr;
Paolo Bonzini73034e92013-05-07 15:48:28 +02001537 ret.address_space = as;
Avi Kivitye2177952011-12-08 15:00:18 +02001538 range = addrrange_intersection(range, fr->addr);
1539 ret.offset_within_region = fr->offset_in_region;
1540 ret.offset_within_region += int128_get64(int128_sub(range.start,
1541 fr->addr.start));
Paolo Bonzini052e87b2013-05-27 10:08:27 +02001542 ret.size = range.size;
Avi Kivitye2177952011-12-08 15:00:18 +02001543 ret.offset_within_address_space = int128_get64(range.start);
Avi Kivity7a8499e2012-02-08 17:01:23 +02001544 ret.readonly = fr->readonly;
Paolo Bonzinidfde4e62013-05-06 10:46:11 +02001545 memory_region_ref(ret.mr);
1546
Avi Kivitye2177952011-12-08 15:00:18 +02001547 return ret;
1548}
1549
Paolo Bonzini1d671362013-04-24 10:46:55 +02001550void address_space_sync_dirty_bitmap(AddressSpace *as)
Avi Kivity86e775c2011-12-15 16:24:49 +02001551{
Avi Kivity7664e802011-12-11 14:47:25 +02001552 FlatRange *fr;
1553
Avi Kivity8786db72012-10-02 13:53:41 +02001554 FOR_EACH_FLAT_RANGE(fr, as->current_map) {
Avi Kivity72e22d22012-02-08 15:05:50 +02001555 MEMORY_LISTENER_UPDATE_REGION(fr, as, Forward, log_sync);
Avi Kivity7664e802011-12-11 14:47:25 +02001556 }
1557}
1558
1559void memory_global_dirty_log_start(void)
1560{
Avi Kivity7664e802011-12-11 14:47:25 +02001561 global_dirty_log = true;
Avi Kivity7376e582012-02-08 21:05:17 +02001562 MEMORY_LISTENER_CALL_GLOBAL(log_global_start, Forward);
Avi Kivity7664e802011-12-11 14:47:25 +02001563}
1564
1565void memory_global_dirty_log_stop(void)
1566{
Avi Kivity7664e802011-12-11 14:47:25 +02001567 global_dirty_log = false;
Avi Kivity7376e582012-02-08 21:05:17 +02001568 MEMORY_LISTENER_CALL_GLOBAL(log_global_stop, Reverse);
Avi Kivity7664e802011-12-11 14:47:25 +02001569}
1570
1571static void listener_add_address_space(MemoryListener *listener,
1572 AddressSpace *as)
1573{
1574 FlatRange *fr;
1575
Julien Grall221b3a32012-04-04 15:15:41 +01001576 if (listener->address_space_filter
Avi Kivityf6790af2012-10-02 20:13:51 +02001577 && listener->address_space_filter != as) {
Julien Grall221b3a32012-04-04 15:15:41 +01001578 return;
1579 }
1580
Avi Kivity7664e802011-12-11 14:47:25 +02001581 if (global_dirty_log) {
Avi Kivity975aefe2012-10-02 16:39:57 +02001582 if (listener->log_global_start) {
1583 listener->log_global_start(listener);
1584 }
Avi Kivity7664e802011-12-11 14:47:25 +02001585 }
Avi Kivity975aefe2012-10-02 16:39:57 +02001586
Avi Kivity8786db72012-10-02 13:53:41 +02001587 FOR_EACH_FLAT_RANGE(fr, as->current_map) {
Avi Kivity7664e802011-12-11 14:47:25 +02001588 MemoryRegionSection section = {
1589 .mr = fr->mr,
Avi Kivityf6790af2012-10-02 20:13:51 +02001590 .address_space = as,
Avi Kivity7664e802011-12-11 14:47:25 +02001591 .offset_within_region = fr->offset_in_region,
Paolo Bonzini052e87b2013-05-27 10:08:27 +02001592 .size = fr->addr.size,
Avi Kivity7664e802011-12-11 14:47:25 +02001593 .offset_within_address_space = int128_get64(fr->addr.start),
Avi Kivity7a8499e2012-02-08 17:01:23 +02001594 .readonly = fr->readonly,
Avi Kivity7664e802011-12-11 14:47:25 +02001595 };
Avi Kivity975aefe2012-10-02 16:39:57 +02001596 if (listener->region_add) {
1597 listener->region_add(listener, &section);
1598 }
Avi Kivity7664e802011-12-11 14:47:25 +02001599 }
1600}
1601
Avi Kivityf6790af2012-10-02 20:13:51 +02001602void memory_listener_register(MemoryListener *listener, AddressSpace *filter)
Avi Kivity7664e802011-12-11 14:47:25 +02001603{
Avi Kivity72e22d22012-02-08 15:05:50 +02001604 MemoryListener *other = NULL;
Avi Kivity0d673e32012-10-02 15:28:50 +02001605 AddressSpace *as;
Avi Kivity72e22d22012-02-08 15:05:50 +02001606
Avi Kivity7376e582012-02-08 21:05:17 +02001607 listener->address_space_filter = filter;
Avi Kivity72e22d22012-02-08 15:05:50 +02001608 if (QTAILQ_EMPTY(&memory_listeners)
1609 || listener->priority >= QTAILQ_LAST(&memory_listeners,
1610 memory_listeners)->priority) {
1611 QTAILQ_INSERT_TAIL(&memory_listeners, listener, link);
1612 } else {
1613 QTAILQ_FOREACH(other, &memory_listeners, link) {
1614 if (listener->priority < other->priority) {
1615 break;
1616 }
1617 }
1618 QTAILQ_INSERT_BEFORE(other, listener, link);
1619 }
Avi Kivity0d673e32012-10-02 15:28:50 +02001620
1621 QTAILQ_FOREACH(as, &address_spaces, address_spaces_link) {
1622 listener_add_address_space(listener, as);
1623 }
Avi Kivity7664e802011-12-11 14:47:25 +02001624}
1625
1626void memory_listener_unregister(MemoryListener *listener)
1627{
Avi Kivity72e22d22012-02-08 15:05:50 +02001628 QTAILQ_REMOVE(&memory_listeners, listener, link);
Avi Kivity86e775c2011-12-15 16:24:49 +02001629}
Avi Kivitye2177952011-12-08 15:00:18 +02001630
Alexey Kardashevskiy7dca8042013-04-29 16:25:51 +00001631void address_space_init(AddressSpace *as, MemoryRegion *root, const char *name)
Avi Kivity1c0ffa52011-07-26 14:26:04 +03001632{
Jan Kiszka59023ef2012-08-23 13:02:30 +02001633 memory_region_transaction_begin();
Avi Kivity8786db72012-10-02 13:53:41 +02001634 as->root = root;
1635 as->current_map = g_new(FlatView, 1);
1636 flatview_init(as->current_map);
Avi Kivity4c19eb72012-10-30 13:47:44 +02001637 as->ioeventfd_nb = 0;
1638 as->ioeventfds = NULL;
Avi Kivity0d673e32012-10-02 15:28:50 +02001639 QTAILQ_INSERT_TAIL(&address_spaces, as, address_spaces_link);
Alexey Kardashevskiy7dca8042013-04-29 16:25:51 +00001640 as->name = g_strdup(name ? name : "anonymous");
Avi Kivityac1970f2012-10-03 16:22:53 +02001641 address_space_init_dispatch(as);
Paolo Bonzinif43793c2013-04-16 15:39:51 +02001642 memory_region_update_pending |= root->enabled;
1643 memory_region_transaction_commit();
Avi Kivity1c0ffa52011-07-26 14:26:04 +03001644}
Avi Kivity658b2222011-07-26 14:26:08 +03001645
Avi Kivity83f3c252012-10-07 12:59:55 +02001646void address_space_destroy(AddressSpace *as)
1647{
1648 /* Flush out anything from MemoryListeners listening in on this */
1649 memory_region_transaction_begin();
1650 as->root = NULL;
1651 memory_region_transaction_commit();
1652 QTAILQ_REMOVE(&address_spaces, as, address_spaces_link);
1653 address_space_destroy_dispatch(as);
1654 flatview_destroy(as->current_map);
Alexey Kardashevskiy7dca8042013-04-29 16:25:51 +00001655 g_free(as->name);
Avi Kivity83f3c252012-10-07 12:59:55 +02001656 g_free(as->current_map);
Avi Kivity4c19eb72012-10-30 13:47:44 +02001657 g_free(as->ioeventfds);
Avi Kivity83f3c252012-10-07 12:59:55 +02001658}
1659
Paolo Bonzini791af8c2013-05-24 16:10:39 +02001660bool io_mem_read(MemoryRegion *mr, hwaddr addr, uint64_t *pval, unsigned size)
Avi Kivityacbbec52011-11-21 12:27:03 +02001661{
Paolo Bonzini791af8c2013-05-24 16:10:39 +02001662 return memory_region_dispatch_read(mr, addr, pval, size);
Avi Kivityacbbec52011-11-21 12:27:03 +02001663}
1664
Paolo Bonzini791af8c2013-05-24 16:10:39 +02001665bool io_mem_write(MemoryRegion *mr, hwaddr addr,
Avi Kivityacbbec52011-11-21 12:27:03 +02001666 uint64_t val, unsigned size)
1667{
Paolo Bonzini791af8c2013-05-24 16:10:39 +02001668 return memory_region_dispatch_write(mr, addr, val, size);
Avi Kivityacbbec52011-11-21 12:27:03 +02001669}
1670
Blue Swirl314e2982011-09-11 20:22:05 +00001671typedef struct MemoryRegionList MemoryRegionList;
1672
1673struct MemoryRegionList {
1674 const MemoryRegion *mr;
1675 bool printed;
1676 QTAILQ_ENTRY(MemoryRegionList) queue;
1677};
1678
1679typedef QTAILQ_HEAD(queue, MemoryRegionList) MemoryRegionListHead;
1680
1681static void mtree_print_mr(fprintf_function mon_printf, void *f,
1682 const MemoryRegion *mr, unsigned int level,
Avi Kivitya8170e52012-10-23 12:30:10 +02001683 hwaddr base,
Jan Kiszka9479c572011-09-27 15:00:41 +02001684 MemoryRegionListHead *alias_print_queue)
Blue Swirl314e2982011-09-11 20:22:05 +00001685{
Jan Kiszka9479c572011-09-27 15:00:41 +02001686 MemoryRegionList *new_ml, *ml, *next_ml;
1687 MemoryRegionListHead submr_print_queue;
Blue Swirl314e2982011-09-11 20:22:05 +00001688 const MemoryRegion *submr;
1689 unsigned int i;
1690
Jan Kiszka7ea692b2012-10-31 10:49:02 +01001691 if (!mr || !mr->enabled) {
Blue Swirl314e2982011-09-11 20:22:05 +00001692 return;
1693 }
1694
1695 for (i = 0; i < level; i++) {
1696 mon_printf(f, " ");
1697 }
1698
1699 if (mr->alias) {
1700 MemoryRegionList *ml;
1701 bool found = false;
1702
1703 /* check if the alias is already in the queue */
Jan Kiszka9479c572011-09-27 15:00:41 +02001704 QTAILQ_FOREACH(ml, alias_print_queue, queue) {
Blue Swirl314e2982011-09-11 20:22:05 +00001705 if (ml->mr == mr->alias && !ml->printed) {
1706 found = true;
1707 }
1708 }
1709
1710 if (!found) {
1711 ml = g_new(MemoryRegionList, 1);
1712 ml->mr = mr->alias;
1713 ml->printed = false;
Jan Kiszka9479c572011-09-27 15:00:41 +02001714 QTAILQ_INSERT_TAIL(alias_print_queue, ml, queue);
Blue Swirl314e2982011-09-11 20:22:05 +00001715 }
Jan Kiszka4896d742012-02-04 16:25:42 +01001716 mon_printf(f, TARGET_FMT_plx "-" TARGET_FMT_plx
1717 " (prio %d, %c%c): alias %s @%s " TARGET_FMT_plx
1718 "-" TARGET_FMT_plx "\n",
Blue Swirl314e2982011-09-11 20:22:05 +00001719 base + mr->addr,
Avi Kivity08dafab2011-10-16 13:19:17 +02001720 base + mr->addr
Paolo Bonzini052e87b2013-05-27 10:08:27 +02001721 + (hwaddr)int128_get64(int128_sub(mr->size, int128_make64(1))),
Jan Kiszka4b474ba2011-09-27 15:00:31 +02001722 mr->priority,
Jan Kiszka5f9a5ea2013-05-07 19:04:25 +02001723 mr->romd_mode ? 'R' : '-',
1724 !mr->readonly && !(mr->rom_device && mr->romd_mode) ? 'W'
1725 : '-',
Blue Swirl314e2982011-09-11 20:22:05 +00001726 mr->name,
1727 mr->alias->name,
1728 mr->alias_offset,
Avi Kivity08dafab2011-10-16 13:19:17 +02001729 mr->alias_offset
Avi Kivitya8170e52012-10-23 12:30:10 +02001730 + (hwaddr)int128_get64(mr->size) - 1);
Blue Swirl314e2982011-09-11 20:22:05 +00001731 } else {
Jan Kiszka4896d742012-02-04 16:25:42 +01001732 mon_printf(f,
1733 TARGET_FMT_plx "-" TARGET_FMT_plx " (prio %d, %c%c): %s\n",
Blue Swirl314e2982011-09-11 20:22:05 +00001734 base + mr->addr,
Avi Kivity08dafab2011-10-16 13:19:17 +02001735 base + mr->addr
Paolo Bonzini052e87b2013-05-27 10:08:27 +02001736 + (hwaddr)int128_get64(int128_sub(mr->size, int128_make64(1))),
Jan Kiszka4b474ba2011-09-27 15:00:31 +02001737 mr->priority,
Jan Kiszka5f9a5ea2013-05-07 19:04:25 +02001738 mr->romd_mode ? 'R' : '-',
1739 !mr->readonly && !(mr->rom_device && mr->romd_mode) ? 'W'
1740 : '-',
Blue Swirl314e2982011-09-11 20:22:05 +00001741 mr->name);
1742 }
Jan Kiszka9479c572011-09-27 15:00:41 +02001743
1744 QTAILQ_INIT(&submr_print_queue);
1745
Blue Swirl314e2982011-09-11 20:22:05 +00001746 QTAILQ_FOREACH(submr, &mr->subregions, subregions_link) {
Jan Kiszka9479c572011-09-27 15:00:41 +02001747 new_ml = g_new(MemoryRegionList, 1);
1748 new_ml->mr = submr;
1749 QTAILQ_FOREACH(ml, &submr_print_queue, queue) {
1750 if (new_ml->mr->addr < ml->mr->addr ||
1751 (new_ml->mr->addr == ml->mr->addr &&
1752 new_ml->mr->priority > ml->mr->priority)) {
1753 QTAILQ_INSERT_BEFORE(ml, new_ml, queue);
1754 new_ml = NULL;
1755 break;
1756 }
1757 }
1758 if (new_ml) {
1759 QTAILQ_INSERT_TAIL(&submr_print_queue, new_ml, queue);
1760 }
1761 }
1762
1763 QTAILQ_FOREACH(ml, &submr_print_queue, queue) {
1764 mtree_print_mr(mon_printf, f, ml->mr, level + 1, base + mr->addr,
1765 alias_print_queue);
1766 }
1767
Avi Kivity88365e42011-11-13 12:00:55 +02001768 QTAILQ_FOREACH_SAFE(ml, &submr_print_queue, queue, next_ml) {
Jan Kiszka9479c572011-09-27 15:00:41 +02001769 g_free(ml);
Blue Swirl314e2982011-09-11 20:22:05 +00001770 }
1771}
1772
1773void mtree_info(fprintf_function mon_printf, void *f)
1774{
1775 MemoryRegionListHead ml_head;
1776 MemoryRegionList *ml, *ml2;
Avi Kivity0d673e32012-10-02 15:28:50 +02001777 AddressSpace *as;
Blue Swirl314e2982011-09-11 20:22:05 +00001778
1779 QTAILQ_INIT(&ml_head);
1780
Avi Kivity0d673e32012-10-02 15:28:50 +02001781 QTAILQ_FOREACH(as, &address_spaces, address_spaces_link) {
Avi Kivity0d673e32012-10-02 15:28:50 +02001782 mon_printf(f, "%s\n", as->name);
1783 mtree_print_mr(mon_printf, f, as->root, 0, 0, &ml_head);
Blue Swirlb9f9be82012-03-10 16:58:35 +00001784 }
1785
1786 mon_printf(f, "aliases\n");
Blue Swirl314e2982011-09-11 20:22:05 +00001787 /* print aliased regions */
1788 QTAILQ_FOREACH(ml, &ml_head, queue) {
1789 if (!ml->printed) {
1790 mon_printf(f, "%s\n", ml->mr->name);
1791 mtree_print_mr(mon_printf, f, ml->mr, 0, 0, &ml_head);
1792 }
1793 }
1794
1795 QTAILQ_FOREACH_SAFE(ml, &ml_head, queue, ml2) {
Avi Kivity88365e42011-11-13 12:00:55 +02001796 g_free(ml);
Blue Swirl314e2982011-09-11 20:22:05 +00001797 }
Blue Swirl314e2982011-09-11 20:22:05 +00001798}