blob: a2c8f1e5be93132a716af94bb3e63d3f210d1a8c [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"
Peter Crosthwaite409ddd02014-06-05 23:16:27 -070019#include "qapi/visitor.h"
Paolo Bonzini1de7afc2012-12-17 18:20:00 +010020#include "qemu/bitops.h"
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -040021#include "qom/object.h"
Paolo Bonzini55d5d042013-07-28 14:57:22 +020022#include "trace.h"
Avi Kivity093bc2c2011-07-26 14:26:01 +030023#include <assert.h>
24
Paolo Bonzini022c62c2012-12-17 18:19:49 +010025#include "exec/memory-internal.h"
Juan Quintela220c3eb2013-10-14 17:13:59 +020026#include "exec/ram_addr.h"
Paolo Bonzinie1c57ab2014-05-14 17:43:18 +080027#include "sysemu/sysemu.h"
Avi Kivity67d95c12011-12-15 15:25:22 +020028
Paolo Bonzinid1970632013-05-24 13:23:38 +020029//#define DEBUG_UNASSIGNED
30
Jan Kiszka22bde712012-11-05 16:45:56 +010031static unsigned memory_region_transaction_depth;
32static bool memory_region_update_pending;
Gonglei4dc56152014-05-08 11:47:32 +080033static bool ioeventfd_update_pending;
Avi Kivity7664e802011-12-11 14:47:25 +020034static bool global_dirty_log = false;
35
Paolo Bonzini856d7242013-05-06 11:57:21 +020036/* flat_view_mutex is taken around reading as->current_map; the critical
37 * section is extremely short, so I'm using a single mutex for every AS.
38 * We could also RCU for the read-side.
39 *
40 * The BQL is taken around transaction commits, hence both locks are taken
41 * while writing to as->current_map (with the BQL taken outside).
42 */
43static QemuMutex flat_view_mutex;
44
Avi Kivity72e22d22012-02-08 15:05:50 +020045static QTAILQ_HEAD(memory_listeners, MemoryListener) memory_listeners
46 = QTAILQ_HEAD_INITIALIZER(memory_listeners);
Avi Kivity4ef4db82011-07-26 14:26:13 +030047
Avi Kivity0d673e32012-10-02 15:28:50 +020048static QTAILQ_HEAD(, AddressSpace) address_spaces
49 = QTAILQ_HEAD_INITIALIZER(address_spaces);
50
Paolo Bonzini856d7242013-05-06 11:57:21 +020051static void memory_init(void)
52{
53 qemu_mutex_init(&flat_view_mutex);
54}
55
Avi Kivity093bc2c2011-07-26 14:26:01 +030056typedef struct AddrRange AddrRange;
57
Avi Kivity8417ceb2011-08-03 11:56:14 +030058/*
Fam Zhengc9cdaa32014-08-11 10:18:31 +080059 * Note that signed integers are needed for negative offsetting in aliases
Avi Kivity8417ceb2011-08-03 11:56:14 +030060 * (large MemoryRegion::alias_offset).
61 */
Avi Kivity093bc2c2011-07-26 14:26:01 +030062struct AddrRange {
Avi Kivity08dafab2011-10-16 13:19:17 +020063 Int128 start;
64 Int128 size;
Avi Kivity093bc2c2011-07-26 14:26:01 +030065};
66
Avi Kivity08dafab2011-10-16 13:19:17 +020067static AddrRange addrrange_make(Int128 start, Int128 size)
Avi Kivity093bc2c2011-07-26 14:26:01 +030068{
69 return (AddrRange) { start, size };
70}
71
72static bool addrrange_equal(AddrRange r1, AddrRange r2)
73{
Avi Kivity08dafab2011-10-16 13:19:17 +020074 return int128_eq(r1.start, r2.start) && int128_eq(r1.size, r2.size);
Avi Kivity093bc2c2011-07-26 14:26:01 +030075}
76
Avi Kivity08dafab2011-10-16 13:19:17 +020077static Int128 addrrange_end(AddrRange r)
Avi Kivity093bc2c2011-07-26 14:26:01 +030078{
Avi Kivity08dafab2011-10-16 13:19:17 +020079 return int128_add(r.start, r.size);
Avi Kivity093bc2c2011-07-26 14:26:01 +030080}
81
Avi Kivity08dafab2011-10-16 13:19:17 +020082static AddrRange addrrange_shift(AddrRange range, Int128 delta)
Avi Kivity093bc2c2011-07-26 14:26:01 +030083{
Avi Kivity08dafab2011-10-16 13:19:17 +020084 int128_addto(&range.start, delta);
Avi Kivity093bc2c2011-07-26 14:26:01 +030085 return range;
86}
87
Avi Kivity08dafab2011-10-16 13:19:17 +020088static bool addrrange_contains(AddrRange range, Int128 addr)
89{
90 return int128_ge(addr, range.start)
91 && int128_lt(addr, addrrange_end(range));
92}
93
Avi Kivity093bc2c2011-07-26 14:26:01 +030094static bool addrrange_intersects(AddrRange r1, AddrRange r2)
95{
Avi Kivity08dafab2011-10-16 13:19:17 +020096 return addrrange_contains(r1, r2.start)
97 || addrrange_contains(r2, r1.start);
Avi Kivity093bc2c2011-07-26 14:26:01 +030098}
99
100static AddrRange addrrange_intersection(AddrRange r1, AddrRange r2)
101{
Avi Kivity08dafab2011-10-16 13:19:17 +0200102 Int128 start = int128_max(r1.start, r2.start);
103 Int128 end = int128_min(addrrange_end(r1), addrrange_end(r2));
104 return addrrange_make(start, int128_sub(end, start));
Avi Kivity093bc2c2011-07-26 14:26:01 +0300105}
106
Avi Kivity0e0d36b2012-02-08 16:39:45 +0200107enum ListenerDirection { Forward, Reverse };
108
Avi Kivity7376e582012-02-08 21:05:17 +0200109static bool memory_listener_match(MemoryListener *listener,
110 MemoryRegionSection *section)
111{
112 return !listener->address_space_filter
113 || listener->address_space_filter == section->address_space;
114}
115
116#define MEMORY_LISTENER_CALL_GLOBAL(_callback, _direction, _args...) \
Avi Kivity0e0d36b2012-02-08 16:39:45 +0200117 do { \
118 MemoryListener *_listener; \
119 \
120 switch (_direction) { \
121 case Forward: \
122 QTAILQ_FOREACH(_listener, &memory_listeners, link) { \
Avi Kivity975aefe2012-10-02 16:39:57 +0200123 if (_listener->_callback) { \
124 _listener->_callback(_listener, ##_args); \
125 } \
Avi Kivity0e0d36b2012-02-08 16:39:45 +0200126 } \
127 break; \
128 case Reverse: \
129 QTAILQ_FOREACH_REVERSE(_listener, &memory_listeners, \
130 memory_listeners, link) { \
Avi Kivity975aefe2012-10-02 16:39:57 +0200131 if (_listener->_callback) { \
132 _listener->_callback(_listener, ##_args); \
133 } \
Avi Kivity0e0d36b2012-02-08 16:39:45 +0200134 } \
135 break; \
136 default: \
137 abort(); \
138 } \
139 } while (0)
140
Avi Kivity7376e582012-02-08 21:05:17 +0200141#define MEMORY_LISTENER_CALL(_callback, _direction, _section, _args...) \
142 do { \
143 MemoryListener *_listener; \
144 \
145 switch (_direction) { \
146 case Forward: \
147 QTAILQ_FOREACH(_listener, &memory_listeners, link) { \
Avi Kivity975aefe2012-10-02 16:39:57 +0200148 if (_listener->_callback \
149 && memory_listener_match(_listener, _section)) { \
Avi Kivity7376e582012-02-08 21:05:17 +0200150 _listener->_callback(_listener, _section, ##_args); \
151 } \
152 } \
153 break; \
154 case Reverse: \
155 QTAILQ_FOREACH_REVERSE(_listener, &memory_listeners, \
156 memory_listeners, link) { \
Avi Kivity975aefe2012-10-02 16:39:57 +0200157 if (_listener->_callback \
158 && memory_listener_match(_listener, _section)) { \
Avi Kivity7376e582012-02-08 21:05:17 +0200159 _listener->_callback(_listener, _section, ##_args); \
160 } \
161 } \
162 break; \
163 default: \
164 abort(); \
165 } \
166 } while (0)
167
Paolo Bonzinidfde4e62013-05-06 10:46:11 +0200168/* No need to ref/unref .mr, the FlatRange keeps it alive. */
Avi Kivity0e0d36b2012-02-08 16:39:45 +0200169#define MEMORY_LISTENER_UPDATE_REGION(fr, as, dir, callback) \
Avi Kivity7376e582012-02-08 21:05:17 +0200170 MEMORY_LISTENER_CALL(callback, dir, (&(MemoryRegionSection) { \
Avi Kivity0e0d36b2012-02-08 16:39:45 +0200171 .mr = (fr)->mr, \
Avi Kivityf6790af2012-10-02 20:13:51 +0200172 .address_space = (as), \
Avi Kivity0e0d36b2012-02-08 16:39:45 +0200173 .offset_within_region = (fr)->offset_in_region, \
Paolo Bonzini052e87b2013-05-27 10:08:27 +0200174 .size = (fr)->addr.size, \
Avi Kivity0e0d36b2012-02-08 16:39:45 +0200175 .offset_within_address_space = int128_get64((fr)->addr.start), \
Avi Kivity7a8499e2012-02-08 17:01:23 +0200176 .readonly = (fr)->readonly, \
Avi Kivity7376e582012-02-08 21:05:17 +0200177 }))
Avi Kivity0e0d36b2012-02-08 16:39:45 +0200178
Avi Kivity093bc2c2011-07-26 14:26:01 +0300179struct CoalescedMemoryRange {
180 AddrRange addr;
181 QTAILQ_ENTRY(CoalescedMemoryRange) link;
182};
183
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300184struct MemoryRegionIoeventfd {
185 AddrRange addr;
186 bool match_data;
187 uint64_t data;
Paolo Bonzini753d5e12012-07-05 17:16:27 +0200188 EventNotifier *e;
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300189};
190
191static bool memory_region_ioeventfd_before(MemoryRegionIoeventfd a,
192 MemoryRegionIoeventfd b)
193{
Avi Kivity08dafab2011-10-16 13:19:17 +0200194 if (int128_lt(a.addr.start, b.addr.start)) {
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300195 return true;
Avi Kivity08dafab2011-10-16 13:19:17 +0200196 } else if (int128_gt(a.addr.start, b.addr.start)) {
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300197 return false;
Avi Kivity08dafab2011-10-16 13:19:17 +0200198 } else if (int128_lt(a.addr.size, b.addr.size)) {
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300199 return true;
Avi Kivity08dafab2011-10-16 13:19:17 +0200200 } else if (int128_gt(a.addr.size, b.addr.size)) {
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300201 return false;
202 } else if (a.match_data < b.match_data) {
203 return true;
204 } else if (a.match_data > b.match_data) {
205 return false;
206 } else if (a.match_data) {
207 if (a.data < b.data) {
208 return true;
209 } else if (a.data > b.data) {
210 return false;
211 }
212 }
Paolo Bonzini753d5e12012-07-05 17:16:27 +0200213 if (a.e < b.e) {
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300214 return true;
Paolo Bonzini753d5e12012-07-05 17:16:27 +0200215 } else if (a.e > b.e) {
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300216 return false;
217 }
218 return false;
219}
220
221static bool memory_region_ioeventfd_equal(MemoryRegionIoeventfd a,
222 MemoryRegionIoeventfd b)
223{
224 return !memory_region_ioeventfd_before(a, b)
225 && !memory_region_ioeventfd_before(b, a);
226}
227
Avi Kivity093bc2c2011-07-26 14:26:01 +0300228typedef struct FlatRange FlatRange;
229typedef struct FlatView FlatView;
230
231/* Range of memory in the global map. Addresses are absolute. */
232struct FlatRange {
233 MemoryRegion *mr;
Avi Kivitya8170e52012-10-23 12:30:10 +0200234 hwaddr offset_in_region;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300235 AddrRange addr;
Avi Kivity5a583342011-07-26 14:26:02 +0300236 uint8_t dirty_log_mask;
Jan Kiszka5f9a5ea2013-05-07 19:04:25 +0200237 bool romd_mode;
Avi Kivityfb1cd6f2011-09-25 14:48:47 +0300238 bool readonly;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300239};
240
241/* Flattened global view of current active memory hierarchy. Kept in sorted
242 * order.
243 */
244struct FlatView {
Paolo Bonzini856d7242013-05-06 11:57:21 +0200245 unsigned ref;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300246 FlatRange *ranges;
247 unsigned nr;
248 unsigned nr_allocated;
249};
250
Avi Kivitycc31e6e2011-07-26 14:26:05 +0300251typedef struct AddressSpaceOps AddressSpaceOps;
252
Avi Kivity093bc2c2011-07-26 14:26:01 +0300253#define FOR_EACH_FLAT_RANGE(var, view) \
254 for (var = (view)->ranges; var < (view)->ranges + (view)->nr; ++var)
255
Avi Kivity093bc2c2011-07-26 14:26:01 +0300256static bool flatrange_equal(FlatRange *a, FlatRange *b)
257{
258 return a->mr == b->mr
259 && addrrange_equal(a->addr, b->addr)
Avi Kivityd0a9b5b2011-08-08 19:58:49 +0300260 && a->offset_in_region == b->offset_in_region
Jan Kiszka5f9a5ea2013-05-07 19:04:25 +0200261 && a->romd_mode == b->romd_mode
Avi Kivityfb1cd6f2011-09-25 14:48:47 +0300262 && a->readonly == b->readonly;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300263}
264
265static void flatview_init(FlatView *view)
266{
Paolo Bonzini856d7242013-05-06 11:57:21 +0200267 view->ref = 1;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300268 view->ranges = NULL;
269 view->nr = 0;
270 view->nr_allocated = 0;
271}
272
273/* Insert a range into a given position. Caller is responsible for maintaining
274 * sorting order.
275 */
276static void flatview_insert(FlatView *view, unsigned pos, FlatRange *range)
277{
278 if (view->nr == view->nr_allocated) {
279 view->nr_allocated = MAX(2 * view->nr, 10);
Anthony Liguori7267c092011-08-20 22:09:37 -0500280 view->ranges = g_realloc(view->ranges,
Avi Kivity093bc2c2011-07-26 14:26:01 +0300281 view->nr_allocated * sizeof(*view->ranges));
282 }
283 memmove(view->ranges + pos + 1, view->ranges + pos,
284 (view->nr - pos) * sizeof(FlatRange));
285 view->ranges[pos] = *range;
Paolo Bonzinidfde4e62013-05-06 10:46:11 +0200286 memory_region_ref(range->mr);
Avi Kivity093bc2c2011-07-26 14:26:01 +0300287 ++view->nr;
288}
289
290static void flatview_destroy(FlatView *view)
291{
Paolo Bonzinidfde4e62013-05-06 10:46:11 +0200292 int i;
293
294 for (i = 0; i < view->nr; i++) {
295 memory_region_unref(view->ranges[i].mr);
296 }
Anthony Liguori7267c092011-08-20 22:09:37 -0500297 g_free(view->ranges);
Paolo Bonzinia9a0c062013-05-06 10:29:07 +0200298 g_free(view);
Avi Kivity093bc2c2011-07-26 14:26:01 +0300299}
300
Paolo Bonzini856d7242013-05-06 11:57:21 +0200301static void flatview_ref(FlatView *view)
302{
303 atomic_inc(&view->ref);
304}
305
306static void flatview_unref(FlatView *view)
307{
308 if (atomic_fetch_dec(&view->ref) == 1) {
309 flatview_destroy(view);
310 }
311}
312
Avi Kivity3d8e6bf2011-07-26 14:26:03 +0300313static bool can_merge(FlatRange *r1, FlatRange *r2)
314{
Avi Kivity08dafab2011-10-16 13:19:17 +0200315 return int128_eq(addrrange_end(r1->addr), r2->addr.start)
Avi Kivity3d8e6bf2011-07-26 14:26:03 +0300316 && r1->mr == r2->mr
Avi Kivity08dafab2011-10-16 13:19:17 +0200317 && int128_eq(int128_add(int128_make64(r1->offset_in_region),
318 r1->addr.size),
319 int128_make64(r2->offset_in_region))
Avi Kivityd0a9b5b2011-08-08 19:58:49 +0300320 && r1->dirty_log_mask == r2->dirty_log_mask
Jan Kiszka5f9a5ea2013-05-07 19:04:25 +0200321 && r1->romd_mode == r2->romd_mode
Avi Kivityfb1cd6f2011-09-25 14:48:47 +0300322 && r1->readonly == r2->readonly;
Avi Kivity3d8e6bf2011-07-26 14:26:03 +0300323}
324
Peter Crosthwaite8508e022013-06-03 15:31:56 +1000325/* Attempt to simplify a view by merging adjacent ranges */
Avi Kivity3d8e6bf2011-07-26 14:26:03 +0300326static void flatview_simplify(FlatView *view)
327{
328 unsigned i, j;
329
330 i = 0;
331 while (i < view->nr) {
332 j = i + 1;
333 while (j < view->nr
334 && can_merge(&view->ranges[j-1], &view->ranges[j])) {
Avi Kivity08dafab2011-10-16 13:19:17 +0200335 int128_addto(&view->ranges[i].addr.size, view->ranges[j].addr.size);
Avi Kivity3d8e6bf2011-07-26 14:26:03 +0300336 ++j;
337 }
338 ++i;
339 memmove(&view->ranges[i], &view->ranges[j],
340 (view->nr - j) * sizeof(view->ranges[j]));
341 view->nr -= j - i;
342 }
343}
344
Paolo Bonzinie7342aa2013-07-22 15:54:37 +0200345static bool memory_region_big_endian(MemoryRegion *mr)
346{
347#ifdef TARGET_WORDS_BIGENDIAN
348 return mr->ops->endianness != DEVICE_LITTLE_ENDIAN;
349#else
350 return mr->ops->endianness == DEVICE_BIG_ENDIAN;
351#endif
352}
353
Paolo Bonzinie11ef3d2013-07-22 15:54:35 +0200354static bool memory_region_wrong_endianness(MemoryRegion *mr)
355{
356#ifdef TARGET_WORDS_BIGENDIAN
357 return mr->ops->endianness == DEVICE_LITTLE_ENDIAN;
358#else
359 return mr->ops->endianness == DEVICE_BIG_ENDIAN;
360#endif
361}
362
363static void adjust_endianness(MemoryRegion *mr, uint64_t *data, unsigned size)
364{
365 if (memory_region_wrong_endianness(mr)) {
366 switch (size) {
367 case 1:
368 break;
369 case 2:
370 *data = bswap16(*data);
371 break;
372 case 4:
373 *data = bswap32(*data);
374 break;
375 case 8:
376 *data = bswap64(*data);
377 break;
378 default:
379 abort();
380 }
381 }
382}
383
Paolo Bonzini547e9202013-07-22 15:54:36 +0200384static void memory_region_oldmmio_read_accessor(MemoryRegion *mr,
Paolo Bonzinice5d2f32013-05-24 17:45:48 +0200385 hwaddr addr,
386 uint64_t *value,
387 unsigned size,
388 unsigned shift,
389 uint64_t mask)
390{
Paolo Bonzinice5d2f32013-05-24 17:45:48 +0200391 uint64_t tmp;
392
393 tmp = mr->ops->old_mmio.read[ctz32(size)](mr->opaque, addr);
Paolo Bonzini55d5d042013-07-28 14:57:22 +0200394 trace_memory_region_ops_read(mr, addr, tmp, size);
Paolo Bonzinice5d2f32013-05-24 17:45:48 +0200395 *value |= (tmp & mask) << shift;
396}
397
Paolo Bonzini547e9202013-07-22 15:54:36 +0200398static void memory_region_read_accessor(MemoryRegion *mr,
Avi Kivitya8170e52012-10-23 12:30:10 +0200399 hwaddr addr,
Avi Kivity164a4dc2011-08-11 10:40:25 +0300400 uint64_t *value,
401 unsigned size,
402 unsigned shift,
403 uint64_t mask)
404{
Avi Kivity164a4dc2011-08-11 10:40:25 +0300405 uint64_t tmp;
406
Jan Kiszkad4105152012-08-23 13:02:29 +0200407 if (mr->flush_coalesced_mmio) {
408 qemu_flush_coalesced_mmio_buffer();
409 }
Avi Kivity164a4dc2011-08-11 10:40:25 +0300410 tmp = mr->ops->read(mr->opaque, addr, size);
Paolo Bonzini55d5d042013-07-28 14:57:22 +0200411 trace_memory_region_ops_read(mr, addr, tmp, size);
Avi Kivity164a4dc2011-08-11 10:40:25 +0300412 *value |= (tmp & mask) << shift;
413}
414
Paolo Bonzini547e9202013-07-22 15:54:36 +0200415static void memory_region_oldmmio_write_accessor(MemoryRegion *mr,
Paolo Bonzinice5d2f32013-05-24 17:45:48 +0200416 hwaddr addr,
417 uint64_t *value,
418 unsigned size,
419 unsigned shift,
420 uint64_t mask)
421{
Paolo Bonzinice5d2f32013-05-24 17:45:48 +0200422 uint64_t tmp;
423
424 tmp = (*value >> shift) & mask;
Paolo Bonzini55d5d042013-07-28 14:57:22 +0200425 trace_memory_region_ops_write(mr, addr, tmp, size);
Paolo Bonzinice5d2f32013-05-24 17:45:48 +0200426 mr->ops->old_mmio.write[ctz32(size)](mr->opaque, addr, tmp);
427}
428
Paolo Bonzini547e9202013-07-22 15:54:36 +0200429static void memory_region_write_accessor(MemoryRegion *mr,
Avi Kivitya8170e52012-10-23 12:30:10 +0200430 hwaddr addr,
Avi Kivity164a4dc2011-08-11 10:40:25 +0300431 uint64_t *value,
432 unsigned size,
433 unsigned shift,
434 uint64_t mask)
435{
Avi Kivity164a4dc2011-08-11 10:40:25 +0300436 uint64_t tmp;
437
Jan Kiszkad4105152012-08-23 13:02:29 +0200438 if (mr->flush_coalesced_mmio) {
439 qemu_flush_coalesced_mmio_buffer();
440 }
Avi Kivity164a4dc2011-08-11 10:40:25 +0300441 tmp = (*value >> shift) & mask;
Paolo Bonzini55d5d042013-07-28 14:57:22 +0200442 trace_memory_region_ops_write(mr, addr, tmp, size);
Avi Kivity164a4dc2011-08-11 10:40:25 +0300443 mr->ops->write(mr->opaque, addr, tmp, size);
444}
445
Avi Kivitya8170e52012-10-23 12:30:10 +0200446static void access_with_adjusted_size(hwaddr addr,
Avi Kivity164a4dc2011-08-11 10:40:25 +0300447 uint64_t *value,
448 unsigned size,
449 unsigned access_size_min,
450 unsigned access_size_max,
Paolo Bonzini547e9202013-07-22 15:54:36 +0200451 void (*access)(MemoryRegion *mr,
Avi Kivitya8170e52012-10-23 12:30:10 +0200452 hwaddr addr,
Avi Kivity164a4dc2011-08-11 10:40:25 +0300453 uint64_t *value,
454 unsigned size,
455 unsigned shift,
456 uint64_t mask),
Paolo Bonzini547e9202013-07-22 15:54:36 +0200457 MemoryRegion *mr)
Avi Kivity164a4dc2011-08-11 10:40:25 +0300458{
459 uint64_t access_mask;
460 unsigned access_size;
461 unsigned i;
462
463 if (!access_size_min) {
464 access_size_min = 1;
465 }
466 if (!access_size_max) {
467 access_size_max = 4;
468 }
Paolo Bonzinice5d2f32013-05-24 17:45:48 +0200469
470 /* FIXME: support unaligned access? */
Avi Kivity164a4dc2011-08-11 10:40:25 +0300471 access_size = MAX(MIN(size, access_size_max), access_size_min);
472 access_mask = -1ULL >> (64 - access_size * 8);
Paolo Bonzinie7342aa2013-07-22 15:54:37 +0200473 if (memory_region_big_endian(mr)) {
474 for (i = 0; i < size; i += access_size) {
475 access(mr, addr + i, value, access_size,
476 (size - access_size - i) * 8, access_mask);
477 }
478 } else {
479 for (i = 0; i < size; i += access_size) {
480 access(mr, addr + i, value, access_size, i * 8, access_mask);
481 }
Avi Kivity164a4dc2011-08-11 10:40:25 +0300482 }
483}
484
Avi Kivitye2177952011-12-08 15:00:18 +0200485static AddressSpace *memory_region_to_address_space(MemoryRegion *mr)
486{
Avi Kivity0d673e32012-10-02 15:28:50 +0200487 AddressSpace *as;
488
Paolo Bonzinifeca4ac2014-06-11 11:18:09 +0200489 while (mr->container) {
490 mr = mr->container;
Avi Kivitye2177952011-12-08 15:00:18 +0200491 }
Avi Kivity0d673e32012-10-02 15:28:50 +0200492 QTAILQ_FOREACH(as, &address_spaces, address_spaces_link) {
493 if (mr == as->root) {
494 return as;
495 }
Avi Kivitye2177952011-12-08 15:00:18 +0200496 }
Igor Mammedoveed2bac2014-06-02 15:25:06 +0200497 return NULL;
Avi Kivitye2177952011-12-08 15:00:18 +0200498}
499
Avi Kivity093bc2c2011-07-26 14:26:01 +0300500/* Render a memory region into the global view. Ranges in @view obscure
501 * ranges in @mr.
502 */
503static void render_memory_region(FlatView *view,
504 MemoryRegion *mr,
Avi Kivity08dafab2011-10-16 13:19:17 +0200505 Int128 base,
Avi Kivityfb1cd6f2011-09-25 14:48:47 +0300506 AddrRange clip,
507 bool readonly)
Avi Kivity093bc2c2011-07-26 14:26:01 +0300508{
509 MemoryRegion *subregion;
510 unsigned i;
Avi Kivitya8170e52012-10-23 12:30:10 +0200511 hwaddr offset_in_region;
Avi Kivity08dafab2011-10-16 13:19:17 +0200512 Int128 remain;
513 Int128 now;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300514 FlatRange fr;
515 AddrRange tmp;
516
Avi Kivity6bba19b2011-09-14 11:54:58 +0300517 if (!mr->enabled) {
518 return;
519 }
520
Avi Kivity08dafab2011-10-16 13:19:17 +0200521 int128_addto(&base, int128_make64(mr->addr));
Avi Kivityfb1cd6f2011-09-25 14:48:47 +0300522 readonly |= mr->readonly;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300523
524 tmp = addrrange_make(base, mr->size);
525
526 if (!addrrange_intersects(tmp, clip)) {
527 return;
528 }
529
530 clip = addrrange_intersection(tmp, clip);
531
532 if (mr->alias) {
Avi Kivity08dafab2011-10-16 13:19:17 +0200533 int128_subfrom(&base, int128_make64(mr->alias->addr));
534 int128_subfrom(&base, int128_make64(mr->alias_offset));
Avi Kivityfb1cd6f2011-09-25 14:48:47 +0300535 render_memory_region(view, mr->alias, base, clip, readonly);
Avi Kivity093bc2c2011-07-26 14:26:01 +0300536 return;
537 }
538
539 /* Render subregions in priority order. */
540 QTAILQ_FOREACH(subregion, &mr->subregions, subregions_link) {
Avi Kivityfb1cd6f2011-09-25 14:48:47 +0300541 render_memory_region(view, subregion, base, clip, readonly);
Avi Kivity093bc2c2011-07-26 14:26:01 +0300542 }
543
Avi Kivity14a3c102011-07-26 14:26:06 +0300544 if (!mr->terminates) {
Avi Kivity093bc2c2011-07-26 14:26:01 +0300545 return;
546 }
547
Avi Kivity08dafab2011-10-16 13:19:17 +0200548 offset_in_region = int128_get64(int128_sub(clip.start, base));
Avi Kivity093bc2c2011-07-26 14:26:01 +0300549 base = clip.start;
550 remain = clip.size;
551
Peter Crosthwaite2eb74e12013-06-03 15:33:29 +1000552 fr.mr = mr;
553 fr.dirty_log_mask = mr->dirty_log_mask;
554 fr.romd_mode = mr->romd_mode;
555 fr.readonly = readonly;
556
Avi Kivity093bc2c2011-07-26 14:26:01 +0300557 /* Render the region itself into any gaps left by the current view. */
Avi Kivity08dafab2011-10-16 13:19:17 +0200558 for (i = 0; i < view->nr && int128_nz(remain); ++i) {
559 if (int128_ge(base, addrrange_end(view->ranges[i].addr))) {
Avi Kivity093bc2c2011-07-26 14:26:01 +0300560 continue;
561 }
Avi Kivity08dafab2011-10-16 13:19:17 +0200562 if (int128_lt(base, view->ranges[i].addr.start)) {
563 now = int128_min(remain,
564 int128_sub(view->ranges[i].addr.start, base));
Avi Kivity093bc2c2011-07-26 14:26:01 +0300565 fr.offset_in_region = offset_in_region;
566 fr.addr = addrrange_make(base, now);
567 flatview_insert(view, i, &fr);
568 ++i;
Avi Kivity08dafab2011-10-16 13:19:17 +0200569 int128_addto(&base, now);
570 offset_in_region += int128_get64(now);
571 int128_subfrom(&remain, now);
Avi Kivity093bc2c2011-07-26 14:26:01 +0300572 }
Avi Kivityd26a8ca2012-10-29 18:22:36 +0200573 now = int128_sub(int128_min(int128_add(base, remain),
574 addrrange_end(view->ranges[i].addr)),
575 base);
576 int128_addto(&base, now);
577 offset_in_region += int128_get64(now);
578 int128_subfrom(&remain, now);
Avi Kivity093bc2c2011-07-26 14:26:01 +0300579 }
Avi Kivity08dafab2011-10-16 13:19:17 +0200580 if (int128_nz(remain)) {
Avi Kivity093bc2c2011-07-26 14:26:01 +0300581 fr.offset_in_region = offset_in_region;
582 fr.addr = addrrange_make(base, remain);
583 flatview_insert(view, i, &fr);
584 }
585}
586
587/* Render a memory topology into a list of disjoint absolute ranges. */
Paolo Bonzinia9a0c062013-05-06 10:29:07 +0200588static FlatView *generate_memory_topology(MemoryRegion *mr)
Avi Kivity093bc2c2011-07-26 14:26:01 +0300589{
Paolo Bonzinia9a0c062013-05-06 10:29:07 +0200590 FlatView *view;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300591
Paolo Bonzinia9a0c062013-05-06 10:29:07 +0200592 view = g_new(FlatView, 1);
593 flatview_init(view);
Avi Kivity093bc2c2011-07-26 14:26:01 +0300594
Avi Kivity83f3c252012-10-07 12:59:55 +0200595 if (mr) {
Paolo Bonzinia9a0c062013-05-06 10:29:07 +0200596 render_memory_region(view, mr, int128_zero(),
Avi Kivity83f3c252012-10-07 12:59:55 +0200597 addrrange_make(int128_zero(), int128_2_64()), false);
598 }
Paolo Bonzinia9a0c062013-05-06 10:29:07 +0200599 flatview_simplify(view);
Avi Kivity093bc2c2011-07-26 14:26:01 +0300600
601 return view;
602}
603
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300604static void address_space_add_del_ioeventfds(AddressSpace *as,
605 MemoryRegionIoeventfd *fds_new,
606 unsigned fds_new_nb,
607 MemoryRegionIoeventfd *fds_old,
608 unsigned fds_old_nb)
609{
610 unsigned iold, inew;
Avi Kivity80a1ea32012-02-08 16:39:06 +0200611 MemoryRegionIoeventfd *fd;
612 MemoryRegionSection section;
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300613
614 /* Generate a symmetric difference of the old and new fd sets, adding
615 * and deleting as necessary.
616 */
617
618 iold = inew = 0;
619 while (iold < fds_old_nb || inew < fds_new_nb) {
620 if (iold < fds_old_nb
621 && (inew == fds_new_nb
622 || memory_region_ioeventfd_before(fds_old[iold],
623 fds_new[inew]))) {
Avi Kivity80a1ea32012-02-08 16:39:06 +0200624 fd = &fds_old[iold];
625 section = (MemoryRegionSection) {
Avi Kivityf6790af2012-10-02 20:13:51 +0200626 .address_space = as,
Avi Kivity80a1ea32012-02-08 16:39:06 +0200627 .offset_within_address_space = int128_get64(fd->addr.start),
Paolo Bonzini052e87b2013-05-27 10:08:27 +0200628 .size = fd->addr.size,
Avi Kivity80a1ea32012-02-08 16:39:06 +0200629 };
630 MEMORY_LISTENER_CALL(eventfd_del, Forward, &section,
Paolo Bonzini753d5e12012-07-05 17:16:27 +0200631 fd->match_data, fd->data, fd->e);
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300632 ++iold;
633 } else if (inew < fds_new_nb
634 && (iold == fds_old_nb
635 || memory_region_ioeventfd_before(fds_new[inew],
636 fds_old[iold]))) {
Avi Kivity80a1ea32012-02-08 16:39:06 +0200637 fd = &fds_new[inew];
638 section = (MemoryRegionSection) {
Avi Kivityf6790af2012-10-02 20:13:51 +0200639 .address_space = as,
Avi Kivity80a1ea32012-02-08 16:39:06 +0200640 .offset_within_address_space = int128_get64(fd->addr.start),
Paolo Bonzini052e87b2013-05-27 10:08:27 +0200641 .size = fd->addr.size,
Avi Kivity80a1ea32012-02-08 16:39:06 +0200642 };
643 MEMORY_LISTENER_CALL(eventfd_add, Reverse, &section,
Paolo Bonzini753d5e12012-07-05 17:16:27 +0200644 fd->match_data, fd->data, fd->e);
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300645 ++inew;
646 } else {
647 ++iold;
648 ++inew;
649 }
650 }
651}
652
Paolo Bonzini856d7242013-05-06 11:57:21 +0200653static FlatView *address_space_get_flatview(AddressSpace *as)
654{
655 FlatView *view;
656
657 qemu_mutex_lock(&flat_view_mutex);
658 view = as->current_map;
659 flatview_ref(view);
660 qemu_mutex_unlock(&flat_view_mutex);
661 return view;
662}
663
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300664static void address_space_update_ioeventfds(AddressSpace *as)
665{
Paolo Bonzini99e86342013-05-06 10:26:13 +0200666 FlatView *view;
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300667 FlatRange *fr;
668 unsigned ioeventfd_nb = 0;
669 MemoryRegionIoeventfd *ioeventfds = NULL;
670 AddrRange tmp;
671 unsigned i;
672
Paolo Bonzini856d7242013-05-06 11:57:21 +0200673 view = address_space_get_flatview(as);
Paolo Bonzini99e86342013-05-06 10:26:13 +0200674 FOR_EACH_FLAT_RANGE(fr, view) {
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300675 for (i = 0; i < fr->mr->ioeventfd_nb; ++i) {
676 tmp = addrrange_shift(fr->mr->ioeventfds[i].addr,
Avi Kivity08dafab2011-10-16 13:19:17 +0200677 int128_sub(fr->addr.start,
678 int128_make64(fr->offset_in_region)));
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300679 if (addrrange_intersects(fr->addr, tmp)) {
680 ++ioeventfd_nb;
Anthony Liguori7267c092011-08-20 22:09:37 -0500681 ioeventfds = g_realloc(ioeventfds,
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300682 ioeventfd_nb * sizeof(*ioeventfds));
683 ioeventfds[ioeventfd_nb-1] = fr->mr->ioeventfds[i];
684 ioeventfds[ioeventfd_nb-1].addr = tmp;
685 }
686 }
687 }
688
689 address_space_add_del_ioeventfds(as, ioeventfds, ioeventfd_nb,
690 as->ioeventfds, as->ioeventfd_nb);
691
Anthony Liguori7267c092011-08-20 22:09:37 -0500692 g_free(as->ioeventfds);
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300693 as->ioeventfds = ioeventfds;
694 as->ioeventfd_nb = ioeventfd_nb;
Paolo Bonzini856d7242013-05-06 11:57:21 +0200695 flatview_unref(view);
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300696}
697
Avi Kivityb8af1af2011-07-26 14:26:12 +0300698static void address_space_update_topology_pass(AddressSpace *as,
Paolo Bonzinia9a0c062013-05-06 10:29:07 +0200699 const FlatView *old_view,
700 const FlatView *new_view,
Avi Kivityb8af1af2011-07-26 14:26:12 +0300701 bool adding)
Avi Kivity093bc2c2011-07-26 14:26:01 +0300702{
Avi Kivity093bc2c2011-07-26 14:26:01 +0300703 unsigned iold, inew;
704 FlatRange *frold, *frnew;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300705
706 /* Generate a symmetric difference of the old and new memory maps.
707 * Kill ranges in the old map, and instantiate ranges in the new map.
708 */
709 iold = inew = 0;
Paolo Bonzinia9a0c062013-05-06 10:29:07 +0200710 while (iold < old_view->nr || inew < new_view->nr) {
711 if (iold < old_view->nr) {
712 frold = &old_view->ranges[iold];
Avi Kivity093bc2c2011-07-26 14:26:01 +0300713 } else {
714 frold = NULL;
715 }
Paolo Bonzinia9a0c062013-05-06 10:29:07 +0200716 if (inew < new_view->nr) {
717 frnew = &new_view->ranges[inew];
Avi Kivity093bc2c2011-07-26 14:26:01 +0300718 } else {
719 frnew = NULL;
720 }
721
722 if (frold
723 && (!frnew
Avi Kivity08dafab2011-10-16 13:19:17 +0200724 || int128_lt(frold->addr.start, frnew->addr.start)
725 || (int128_eq(frold->addr.start, frnew->addr.start)
Avi Kivity093bc2c2011-07-26 14:26:01 +0300726 && !flatrange_equal(frold, frnew)))) {
Peter Crosthwaite41a6e472013-06-03 15:32:42 +1000727 /* In old but not in new, or in both but attributes changed. */
Avi Kivity093bc2c2011-07-26 14:26:01 +0300728
Avi Kivityb8af1af2011-07-26 14:26:12 +0300729 if (!adding) {
Avi Kivity72e22d22012-02-08 15:05:50 +0200730 MEMORY_LISTENER_UPDATE_REGION(frold, as, Reverse, region_del);
Avi Kivityb8af1af2011-07-26 14:26:12 +0300731 }
732
Avi Kivity093bc2c2011-07-26 14:26:01 +0300733 ++iold;
734 } else if (frold && frnew && flatrange_equal(frold, frnew)) {
Peter Crosthwaite41a6e472013-06-03 15:32:42 +1000735 /* In both and unchanged (except logging may have changed) */
Avi Kivity093bc2c2011-07-26 14:26:01 +0300736
Avi Kivityb8af1af2011-07-26 14:26:12 +0300737 if (adding) {
Avi Kivity50c1e142012-02-08 21:36:02 +0200738 MEMORY_LISTENER_UPDATE_REGION(frnew, as, Forward, region_nop);
Avi Kivityb8af1af2011-07-26 14:26:12 +0300739 if (frold->dirty_log_mask && !frnew->dirty_log_mask) {
Avi Kivity72e22d22012-02-08 15:05:50 +0200740 MEMORY_LISTENER_UPDATE_REGION(frnew, as, Reverse, log_stop);
Avi Kivityb8af1af2011-07-26 14:26:12 +0300741 } else if (frnew->dirty_log_mask && !frold->dirty_log_mask) {
Avi Kivity72e22d22012-02-08 15:05:50 +0200742 MEMORY_LISTENER_UPDATE_REGION(frnew, as, Forward, log_start);
Avi Kivityb8af1af2011-07-26 14:26:12 +0300743 }
Avi Kivity5a583342011-07-26 14:26:02 +0300744 }
745
Avi Kivity093bc2c2011-07-26 14:26:01 +0300746 ++iold;
747 ++inew;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300748 } else {
749 /* In new */
750
Avi Kivityb8af1af2011-07-26 14:26:12 +0300751 if (adding) {
Avi Kivity72e22d22012-02-08 15:05:50 +0200752 MEMORY_LISTENER_UPDATE_REGION(frnew, as, Forward, region_add);
Avi Kivityb8af1af2011-07-26 14:26:12 +0300753 }
754
Avi Kivity093bc2c2011-07-26 14:26:01 +0300755 ++inew;
756 }
757 }
Avi Kivityb8af1af2011-07-26 14:26:12 +0300758}
759
760
761static void address_space_update_topology(AddressSpace *as)
762{
Paolo Bonzini856d7242013-05-06 11:57:21 +0200763 FlatView *old_view = address_space_get_flatview(as);
Paolo Bonzinia9a0c062013-05-06 10:29:07 +0200764 FlatView *new_view = generate_memory_topology(as->root);
Avi Kivityb8af1af2011-07-26 14:26:12 +0300765
766 address_space_update_topology_pass(as, old_view, new_view, false);
767 address_space_update_topology_pass(as, old_view, new_view, true);
768
Paolo Bonzini856d7242013-05-06 11:57:21 +0200769 qemu_mutex_lock(&flat_view_mutex);
770 flatview_unref(as->current_map);
Paolo Bonzinia9a0c062013-05-06 10:29:07 +0200771 as->current_map = new_view;
Paolo Bonzini856d7242013-05-06 11:57:21 +0200772 qemu_mutex_unlock(&flat_view_mutex);
773
774 /* Note that all the old MemoryRegions are still alive up to this
775 * point. This relieves most MemoryListeners from the need to
776 * ref/unref the MemoryRegions they get---unless they use them
777 * outside the iothread mutex, in which case precise reference
778 * counting is necessary.
779 */
780 flatview_unref(old_view);
781
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300782 address_space_update_ioeventfds(as);
Avi Kivity093bc2c2011-07-26 14:26:01 +0300783}
784
Avi Kivity4ef4db82011-07-26 14:26:13 +0300785void memory_region_transaction_begin(void)
786{
Jan Kiszkabb880de2012-08-23 13:02:32 +0200787 qemu_flush_coalesced_mmio_buffer();
Avi Kivity4ef4db82011-07-26 14:26:13 +0300788 ++memory_region_transaction_depth;
789}
790
Gonglei4dc56152014-05-08 11:47:32 +0800791static void memory_region_clear_pending(void)
792{
793 memory_region_update_pending = false;
794 ioeventfd_update_pending = false;
795}
796
Avi Kivity4ef4db82011-07-26 14:26:13 +0300797void memory_region_transaction_commit(void)
798{
Avi Kivity0d673e32012-10-02 15:28:50 +0200799 AddressSpace *as;
800
Avi Kivity4ef4db82011-07-26 14:26:13 +0300801 assert(memory_region_transaction_depth);
802 --memory_region_transaction_depth;
Gonglei4dc56152014-05-08 11:47:32 +0800803 if (!memory_region_transaction_depth) {
804 if (memory_region_update_pending) {
805 MEMORY_LISTENER_CALL_GLOBAL(begin, Forward);
Jan Kiszka02e2b952012-08-23 13:02:31 +0200806
Gonglei4dc56152014-05-08 11:47:32 +0800807 QTAILQ_FOREACH(as, &address_spaces, address_spaces_link) {
808 address_space_update_topology(as);
809 }
810
811 MEMORY_LISTENER_CALL_GLOBAL(commit, Forward);
812 } else if (ioeventfd_update_pending) {
813 QTAILQ_FOREACH(as, &address_spaces, address_spaces_link) {
814 address_space_update_ioeventfds(as);
815 }
Jan Kiszka02e2b952012-08-23 13:02:31 +0200816 }
Gonglei4dc56152014-05-08 11:47:32 +0800817 memory_region_clear_pending();
818 }
Avi Kivity4ef4db82011-07-26 14:26:13 +0300819}
820
Avi Kivity545e92e2011-08-08 19:58:48 +0300821static void memory_region_destructor_none(MemoryRegion *mr)
822{
823}
824
825static void memory_region_destructor_ram(MemoryRegion *mr)
826{
827 qemu_ram_free(mr->ram_addr);
828}
829
Paolo Bonzinidfde4e62013-05-06 10:46:11 +0200830static void memory_region_destructor_alias(MemoryRegion *mr)
831{
832 memory_region_unref(mr->alias);
833}
834
Avi Kivity545e92e2011-08-08 19:58:48 +0300835static void memory_region_destructor_ram_from_ptr(MemoryRegion *mr)
836{
837 qemu_ram_free_from_ptr(mr->ram_addr);
838}
839
Avi Kivityd0a9b5b2011-08-08 19:58:49 +0300840static void memory_region_destructor_rom_device(MemoryRegion *mr)
841{
842 qemu_ram_free(mr->ram_addr & TARGET_PAGE_MASK);
Avi Kivityd0a9b5b2011-08-08 19:58:49 +0300843}
844
Peter Crosthwaiteb4fefef2014-06-05 23:15:52 -0700845static bool memory_region_need_escape(char c)
846{
847 return c == '/' || c == '[' || c == '\\' || c == ']';
848}
849
850static char *memory_region_escape_name(const char *name)
851{
852 const char *p;
853 char *escaped, *q;
854 uint8_t c;
855 size_t bytes = 0;
856
857 for (p = name; *p; p++) {
858 bytes += memory_region_need_escape(*p) ? 4 : 1;
859 }
860 if (bytes == p - name) {
861 return g_memdup(name, bytes + 1);
862 }
863
864 escaped = g_malloc(bytes + 1);
865 for (p = name, q = escaped; *p; p++) {
866 c = *p;
867 if (unlikely(memory_region_need_escape(c))) {
868 *q++ = '\\';
869 *q++ = 'x';
870 *q++ = "0123456789abcdef"[c >> 4];
871 c = "0123456789abcdef"[c & 15];
872 }
873 *q++ = c;
874 }
875 *q = 0;
876 return escaped;
877}
878
Avi Kivity093bc2c2011-07-26 14:26:01 +0300879void memory_region_init(MemoryRegion *mr,
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -0400880 Object *owner,
Avi Kivity093bc2c2011-07-26 14:26:01 +0300881 const char *name,
882 uint64_t size)
883{
Paolo Bonzini22a893e2014-06-11 10:58:06 +0200884 if (!owner) {
885 owner = qdev_get_machine();
886 }
Peter Crosthwaiteb4fefef2014-06-05 23:15:52 -0700887
Paolo Bonzini22a893e2014-06-11 10:58:06 +0200888 object_initialize(mr, sizeof(*mr), TYPE_MEMORY_REGION);
Avi Kivity08dafab2011-10-16 13:19:17 +0200889 mr->size = int128_make64(size);
890 if (size == UINT64_MAX) {
891 mr->size = int128_2_64();
892 }
Peter Maydell302fa282014-08-19 20:05:46 +0100893 mr->name = g_strdup(name);
Peter Crosthwaiteb4fefef2014-06-05 23:15:52 -0700894
895 if (name) {
Peter Crosthwaite843ef732014-08-19 23:56:26 -0700896 char *escaped_name = memory_region_escape_name(name);
897 char *name_array = g_strdup_printf("%s[*]", escaped_name);
898 object_property_add_child(owner, name_array, OBJECT(mr), &error_abort);
Peter Crosthwaiteb4fefef2014-06-05 23:15:52 -0700899 object_unref(OBJECT(mr));
Peter Crosthwaite843ef732014-08-19 23:56:26 -0700900 g_free(name_array);
901 g_free(escaped_name);
Peter Crosthwaiteb4fefef2014-06-05 23:15:52 -0700902 }
903}
904
Peter Crosthwaite409ddd02014-06-05 23:16:27 -0700905static void memory_region_get_addr(Object *obj, Visitor *v, void *opaque,
906 const char *name, Error **errp)
907{
908 MemoryRegion *mr = MEMORY_REGION(obj);
909 uint64_t value = mr->addr;
910
911 visit_type_uint64(v, &value, name, errp);
912}
913
914static void memory_region_get_container(Object *obj, Visitor *v, void *opaque,
915 const char *name, Error **errp)
916{
917 MemoryRegion *mr = MEMORY_REGION(obj);
918 gchar *path = (gchar *)"";
919
920 if (mr->container) {
921 path = object_get_canonical_path(OBJECT(mr->container));
922 }
923 visit_type_str(v, &path, name, errp);
924 if (mr->container) {
925 g_free(path);
926 }
927}
928
929static Object *memory_region_resolve_container(Object *obj, void *opaque,
930 const char *part)
931{
932 MemoryRegion *mr = MEMORY_REGION(obj);
933
934 return OBJECT(mr->container);
935}
936
Peter Crosthwaited33382d2014-06-05 23:17:01 -0700937static void memory_region_get_priority(Object *obj, Visitor *v, void *opaque,
938 const char *name, Error **errp)
939{
940 MemoryRegion *mr = MEMORY_REGION(obj);
941 int32_t value = mr->priority;
942
943 visit_type_int32(v, &value, name, errp);
944}
945
946static bool memory_region_get_may_overlap(Object *obj, Error **errp)
947{
948 MemoryRegion *mr = MEMORY_REGION(obj);
949
950 return mr->may_overlap;
951}
952
Peter Crosthwaite52aef7b2014-06-05 23:17:35 -0700953static void memory_region_get_size(Object *obj, Visitor *v, void *opaque,
954 const char *name, Error **errp)
955{
956 MemoryRegion *mr = MEMORY_REGION(obj);
957 uint64_t value = memory_region_size(mr);
958
959 visit_type_uint64(v, &value, name, errp);
960}
961
Peter Crosthwaiteb4fefef2014-06-05 23:15:52 -0700962static void memory_region_initfn(Object *obj)
963{
964 MemoryRegion *mr = MEMORY_REGION(obj);
Peter Crosthwaite409ddd02014-06-05 23:16:27 -0700965 ObjectProperty *op;
Peter Crosthwaiteb4fefef2014-06-05 23:15:52 -0700966
967 mr->ops = &unassigned_mem_ops;
968 mr->enabled = true;
969 mr->romd_mode = true;
970 mr->destructor = memory_region_destructor_none;
971 QTAILQ_INIT(&mr->subregions);
972 QTAILQ_INIT(&mr->coalesced);
Peter Crosthwaite409ddd02014-06-05 23:16:27 -0700973
974 op = object_property_add(OBJECT(mr), "container",
975 "link<" TYPE_MEMORY_REGION ">",
976 memory_region_get_container,
977 NULL, /* memory_region_set_container */
978 NULL, NULL, &error_abort);
979 op->resolve = memory_region_resolve_container;
980
981 object_property_add(OBJECT(mr), "addr", "uint64",
982 memory_region_get_addr,
983 NULL, /* memory_region_set_addr */
984 NULL, NULL, &error_abort);
Peter Crosthwaited33382d2014-06-05 23:17:01 -0700985 object_property_add(OBJECT(mr), "priority", "uint32",
986 memory_region_get_priority,
987 NULL, /* memory_region_set_priority */
988 NULL, NULL, &error_abort);
989 object_property_add_bool(OBJECT(mr), "may-overlap",
990 memory_region_get_may_overlap,
991 NULL, /* memory_region_set_may_overlap */
992 &error_abort);
Peter Crosthwaite52aef7b2014-06-05 23:17:35 -0700993 object_property_add(OBJECT(mr), "size", "uint64",
994 memory_region_get_size,
995 NULL, /* memory_region_set_size, */
996 NULL, NULL, &error_abort);
Avi Kivity093bc2c2011-07-26 14:26:01 +0300997}
998
Paolo Bonzinib018ddf2013-05-24 14:48:38 +0200999static uint64_t unassigned_mem_read(void *opaque, hwaddr addr,
1000 unsigned size)
1001{
1002#ifdef DEBUG_UNASSIGNED
1003 printf("Unassigned mem read " TARGET_FMT_plx "\n", addr);
1004#endif
Andreas Färber4917cf42013-05-27 05:17:50 +02001005 if (current_cpu != NULL) {
1006 cpu_unassigned_access(current_cpu, addr, false, false, 0, size);
Andreas Färberc658b942013-05-27 06:49:53 +02001007 }
Jan Kiszka68a74392013-09-02 18:43:31 +02001008 return 0;
Paolo Bonzinib018ddf2013-05-24 14:48:38 +02001009}
1010
1011static void unassigned_mem_write(void *opaque, hwaddr addr,
1012 uint64_t val, unsigned size)
1013{
1014#ifdef DEBUG_UNASSIGNED
1015 printf("Unassigned mem write " TARGET_FMT_plx " = 0x%"PRIx64"\n", addr, val);
1016#endif
Andreas Färber4917cf42013-05-27 05:17:50 +02001017 if (current_cpu != NULL) {
1018 cpu_unassigned_access(current_cpu, addr, true, false, 0, size);
Andreas Färberc658b942013-05-27 06:49:53 +02001019 }
Paolo Bonzinib018ddf2013-05-24 14:48:38 +02001020}
1021
Paolo Bonzinid1970632013-05-24 13:23:38 +02001022static bool unassigned_mem_accepts(void *opaque, hwaddr addr,
1023 unsigned size, bool is_write)
1024{
1025 return false;
1026}
1027
1028const MemoryRegionOps unassigned_mem_ops = {
1029 .valid.accepts = unassigned_mem_accepts,
1030 .endianness = DEVICE_NATIVE_ENDIAN,
1031};
1032
Paolo Bonzinid2702032013-05-24 11:55:06 +02001033bool memory_region_access_valid(MemoryRegion *mr,
1034 hwaddr addr,
1035 unsigned size,
1036 bool is_write)
Avi Kivity093bc2c2011-07-26 14:26:01 +03001037{
Paolo Bonzinia014ed02013-05-24 17:48:52 +02001038 int access_size_min, access_size_max;
1039 int access_size, i;
Avi Kivity897fa7c2011-11-13 13:05:27 +02001040
Avi Kivity093bc2c2011-07-26 14:26:01 +03001041 if (!mr->ops->valid.unaligned && (addr & (size - 1))) {
1042 return false;
1043 }
1044
Paolo Bonzinia014ed02013-05-24 17:48:52 +02001045 if (!mr->ops->valid.accepts) {
Avi Kivity093bc2c2011-07-26 14:26:01 +03001046 return true;
1047 }
1048
Paolo Bonzinia014ed02013-05-24 17:48:52 +02001049 access_size_min = mr->ops->valid.min_access_size;
1050 if (!mr->ops->valid.min_access_size) {
1051 access_size_min = 1;
Avi Kivity093bc2c2011-07-26 14:26:01 +03001052 }
Paolo Bonzinia014ed02013-05-24 17:48:52 +02001053
1054 access_size_max = mr->ops->valid.max_access_size;
1055 if (!mr->ops->valid.max_access_size) {
1056 access_size_max = 4;
1057 }
1058
1059 access_size = MAX(MIN(size, access_size_max), access_size_min);
1060 for (i = 0; i < size; i += access_size) {
1061 if (!mr->ops->valid.accepts(mr->opaque, addr + i, access_size,
1062 is_write)) {
1063 return false;
1064 }
1065 }
1066
Avi Kivity093bc2c2011-07-26 14:26:01 +03001067 return true;
1068}
1069
Avi Kivitya621f382012-01-02 13:12:08 +02001070static uint64_t memory_region_dispatch_read1(MemoryRegion *mr,
Avi Kivitya8170e52012-10-23 12:30:10 +02001071 hwaddr addr,
Avi Kivitya621f382012-01-02 13:12:08 +02001072 unsigned size)
Avi Kivity093bc2c2011-07-26 14:26:01 +03001073{
Avi Kivity164a4dc2011-08-11 10:40:25 +03001074 uint64_t data = 0;
Avi Kivity093bc2c2011-07-26 14:26:01 +03001075
Paolo Bonzinice5d2f32013-05-24 17:45:48 +02001076 if (mr->ops->read) {
1077 access_with_adjusted_size(addr, &data, size,
1078 mr->ops->impl.min_access_size,
1079 mr->ops->impl.max_access_size,
1080 memory_region_read_accessor, mr);
1081 } else {
1082 access_with_adjusted_size(addr, &data, size, 1, 4,
1083 memory_region_oldmmio_read_accessor, mr);
Avi Kivity74901c32011-07-26 14:26:10 +03001084 }
1085
Avi Kivity093bc2c2011-07-26 14:26:01 +03001086 return data;
1087}
1088
Paolo Bonzini791af8c2013-05-24 16:10:39 +02001089static bool memory_region_dispatch_read(MemoryRegion *mr,
1090 hwaddr addr,
1091 uint64_t *pval,
1092 unsigned size)
Avi Kivitya621f382012-01-02 13:12:08 +02001093{
Paolo Bonzini791af8c2013-05-24 16:10:39 +02001094 if (!memory_region_access_valid(mr, addr, size, false)) {
1095 *pval = unassigned_mem_read(mr, addr, size);
1096 return true;
1097 }
Avi Kivitya621f382012-01-02 13:12:08 +02001098
Paolo Bonzini791af8c2013-05-24 16:10:39 +02001099 *pval = memory_region_dispatch_read1(mr, addr, size);
1100 adjust_endianness(mr, pval, size);
1101 return false;
Avi Kivitya621f382012-01-02 13:12:08 +02001102}
1103
Paolo Bonzini791af8c2013-05-24 16:10:39 +02001104static bool memory_region_dispatch_write(MemoryRegion *mr,
Avi Kivitya8170e52012-10-23 12:30:10 +02001105 hwaddr addr,
Avi Kivitya621f382012-01-02 13:12:08 +02001106 uint64_t data,
1107 unsigned size)
1108{
Avi Kivity897fa7c2011-11-13 13:05:27 +02001109 if (!memory_region_access_valid(mr, addr, size, true)) {
Paolo Bonzinib018ddf2013-05-24 14:48:38 +02001110 unassigned_mem_write(mr, addr, data, size);
Paolo Bonzini791af8c2013-05-24 16:10:39 +02001111 return true;
Avi Kivity093bc2c2011-07-26 14:26:01 +03001112 }
1113
Avi Kivitya621f382012-01-02 13:12:08 +02001114 adjust_endianness(mr, &data, size);
1115
Paolo Bonzinice5d2f32013-05-24 17:45:48 +02001116 if (mr->ops->write) {
1117 access_with_adjusted_size(addr, &data, size,
1118 mr->ops->impl.min_access_size,
1119 mr->ops->impl.max_access_size,
1120 memory_region_write_accessor, mr);
1121 } else {
1122 access_with_adjusted_size(addr, &data, size, 1, 4,
1123 memory_region_oldmmio_write_accessor, mr);
Avi Kivity74901c32011-07-26 14:26:10 +03001124 }
Paolo Bonzini791af8c2013-05-24 16:10:39 +02001125 return false;
Avi Kivity093bc2c2011-07-26 14:26:01 +03001126}
1127
Avi Kivity093bc2c2011-07-26 14:26:01 +03001128void memory_region_init_io(MemoryRegion *mr,
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -04001129 Object *owner,
Avi Kivity093bc2c2011-07-26 14:26:01 +03001130 const MemoryRegionOps *ops,
1131 void *opaque,
1132 const char *name,
1133 uint64_t size)
1134{
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -04001135 memory_region_init(mr, owner, name, size);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001136 mr->ops = ops;
1137 mr->opaque = opaque;
Avi Kivity14a3c102011-07-26 14:26:06 +03001138 mr->terminates = true;
Avi Kivity97161e12012-03-08 19:16:39 +02001139 mr->ram_addr = ~(ram_addr_t)0;
Avi Kivity093bc2c2011-07-26 14:26:01 +03001140}
1141
1142void memory_region_init_ram(MemoryRegion *mr,
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -04001143 Object *owner,
Avi Kivity093bc2c2011-07-26 14:26:01 +03001144 const char *name,
Hu Tao49946532014-09-09 13:27:55 +08001145 uint64_t size,
1146 Error **errp)
Avi Kivity093bc2c2011-07-26 14:26:01 +03001147{
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -04001148 memory_region_init(mr, owner, name, size);
Avi Kivity8ea92522011-12-08 15:58:43 +02001149 mr->ram = true;
Avi Kivity14a3c102011-07-26 14:26:06 +03001150 mr->terminates = true;
Avi Kivity545e92e2011-08-08 19:58:48 +03001151 mr->destructor = memory_region_destructor_ram;
Hu Tao49946532014-09-09 13:27:55 +08001152 mr->ram_addr = qemu_ram_alloc(size, mr, errp);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001153}
1154
Paolo Bonzini0b183fc2014-05-14 17:43:19 +08001155#ifdef __linux__
1156void memory_region_init_ram_from_file(MemoryRegion *mr,
1157 struct Object *owner,
1158 const char *name,
1159 uint64_t size,
Paolo Bonzinidbcb8982014-06-10 19:15:24 +08001160 bool share,
Paolo Bonzini7f56e742014-05-14 17:43:20 +08001161 const char *path,
1162 Error **errp)
Paolo Bonzini0b183fc2014-05-14 17:43:19 +08001163{
1164 memory_region_init(mr, owner, name, size);
1165 mr->ram = true;
1166 mr->terminates = true;
1167 mr->destructor = memory_region_destructor_ram;
Paolo Bonzinidbcb8982014-06-10 19:15:24 +08001168 mr->ram_addr = qemu_ram_alloc_from_file(size, mr, share, path, errp);
Paolo Bonzini0b183fc2014-05-14 17:43:19 +08001169}
1170#endif
1171
Avi Kivity093bc2c2011-07-26 14:26:01 +03001172void memory_region_init_ram_ptr(MemoryRegion *mr,
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -04001173 Object *owner,
Avi Kivity093bc2c2011-07-26 14:26:01 +03001174 const char *name,
1175 uint64_t size,
1176 void *ptr)
1177{
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -04001178 memory_region_init(mr, owner, name, size);
Avi Kivity8ea92522011-12-08 15:58:43 +02001179 mr->ram = true;
Avi Kivity14a3c102011-07-26 14:26:06 +03001180 mr->terminates = true;
Avi Kivity545e92e2011-08-08 19:58:48 +03001181 mr->destructor = memory_region_destructor_ram_from_ptr;
Hu Taoef701d72014-09-09 13:27:54 +08001182
1183 /* qemu_ram_alloc_from_ptr cannot fail with ptr != NULL. */
1184 assert(ptr != NULL);
1185 mr->ram_addr = qemu_ram_alloc_from_ptr(size, ptr, mr, &error_abort);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001186}
1187
1188void memory_region_init_alias(MemoryRegion *mr,
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -04001189 Object *owner,
Avi Kivity093bc2c2011-07-26 14:26:01 +03001190 const char *name,
1191 MemoryRegion *orig,
Avi Kivitya8170e52012-10-23 12:30:10 +02001192 hwaddr offset,
Avi Kivity093bc2c2011-07-26 14:26:01 +03001193 uint64_t size)
1194{
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -04001195 memory_region_init(mr, owner, name, size);
Paolo Bonzinidfde4e62013-05-06 10:46:11 +02001196 memory_region_ref(orig);
1197 mr->destructor = memory_region_destructor_alias;
Avi Kivity093bc2c2011-07-26 14:26:01 +03001198 mr->alias = orig;
1199 mr->alias_offset = offset;
1200}
1201
Avi Kivityd0a9b5b2011-08-08 19:58:49 +03001202void memory_region_init_rom_device(MemoryRegion *mr,
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -04001203 Object *owner,
Avi Kivityd0a9b5b2011-08-08 19:58:49 +03001204 const MemoryRegionOps *ops,
Avi Kivity75f59412011-08-26 00:35:15 +03001205 void *opaque,
Avi Kivityd0a9b5b2011-08-08 19:58:49 +03001206 const char *name,
1207 uint64_t size)
1208{
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -04001209 memory_region_init(mr, owner, name, size);
Avi Kivity7bc2b9c2011-08-25 14:56:14 +03001210 mr->ops = ops;
Avi Kivity75f59412011-08-26 00:35:15 +03001211 mr->opaque = opaque;
Avi Kivityd0a9b5b2011-08-08 19:58:49 +03001212 mr->terminates = true;
Avi Kivity75c578d2012-01-02 15:40:52 +02001213 mr->rom_device = true;
Avi Kivityd0a9b5b2011-08-08 19:58:49 +03001214 mr->destructor = memory_region_destructor_rom_device;
Hu Taoef701d72014-09-09 13:27:54 +08001215 mr->ram_addr = qemu_ram_alloc(size, mr, &error_abort);
Avi Kivityd0a9b5b2011-08-08 19:58:49 +03001216}
1217
Avi Kivity30951152012-10-30 13:47:46 +02001218void memory_region_init_iommu(MemoryRegion *mr,
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -04001219 Object *owner,
Avi Kivity30951152012-10-30 13:47:46 +02001220 const MemoryRegionIOMMUOps *ops,
1221 const char *name,
1222 uint64_t size)
1223{
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -04001224 memory_region_init(mr, owner, name, size);
Avi Kivity30951152012-10-30 13:47:46 +02001225 mr->iommu_ops = ops,
1226 mr->terminates = true; /* then re-forwards */
David Gibson06866572013-05-14 19:13:56 +10001227 notifier_list_init(&mr->iommu_notify);
Avi Kivity30951152012-10-30 13:47:46 +02001228}
1229
Jan Kiszka1660e722011-10-23 16:01:19 +02001230void memory_region_init_reservation(MemoryRegion *mr,
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -04001231 Object *owner,
Jan Kiszka1660e722011-10-23 16:01:19 +02001232 const char *name,
1233 uint64_t size)
1234{
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -04001235 memory_region_init_io(mr, owner, &unassigned_mem_ops, mr, name, size);
Jan Kiszka1660e722011-10-23 16:01:19 +02001236}
1237
Peter Crosthwaiteb4fefef2014-06-05 23:15:52 -07001238static void memory_region_finalize(Object *obj)
Avi Kivity093bc2c2011-07-26 14:26:01 +03001239{
Peter Crosthwaiteb4fefef2014-06-05 23:15:52 -07001240 MemoryRegion *mr = MEMORY_REGION(obj);
1241
Avi Kivity093bc2c2011-07-26 14:26:01 +03001242 assert(QTAILQ_EMPTY(&mr->subregions));
Avi Kivity2be0e252012-10-17 17:14:41 +02001243 assert(memory_region_transaction_depth == 0);
Avi Kivity545e92e2011-08-08 19:58:48 +03001244 mr->destructor(mr);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001245 memory_region_clear_coalescing(mr);
Peter Maydell302fa282014-08-19 20:05:46 +01001246 g_free((char *)mr->name);
Anthony Liguori7267c092011-08-20 22:09:37 -05001247 g_free(mr->ioeventfds);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001248}
1249
Paolo Bonzini803c0812013-05-07 06:59:09 +02001250Object *memory_region_owner(MemoryRegion *mr)
1251{
Paolo Bonzini22a893e2014-06-11 10:58:06 +02001252 Object *obj = OBJECT(mr);
1253 return obj->parent;
Paolo Bonzini803c0812013-05-07 06:59:09 +02001254}
1255
Paolo Bonzini46637be2013-05-07 09:06:00 +02001256void memory_region_ref(MemoryRegion *mr)
1257{
Paolo Bonzini22a893e2014-06-11 10:58:06 +02001258 /* MMIO callbacks most likely will access data that belongs
1259 * to the owner, hence the need to ref/unref the owner whenever
1260 * the memory region is in use.
1261 *
1262 * The memory region is a child of its owner. As long as the
1263 * owner doesn't call unparent itself on the memory region,
1264 * ref-ing the owner will also keep the memory region alive.
1265 * Memory regions without an owner are supposed to never go away,
1266 * but we still ref/unref them for debugging purposes.
1267 */
1268 Object *obj = OBJECT(mr);
1269 if (obj && obj->parent) {
1270 object_ref(obj->parent);
Peter Crosthwaiteb4fefef2014-06-05 23:15:52 -07001271 } else {
Paolo Bonzini22a893e2014-06-11 10:58:06 +02001272 object_ref(obj);
Paolo Bonzini46637be2013-05-07 09:06:00 +02001273 }
1274}
1275
1276void memory_region_unref(MemoryRegion *mr)
1277{
Paolo Bonzini22a893e2014-06-11 10:58:06 +02001278 Object *obj = OBJECT(mr);
1279 if (obj && obj->parent) {
1280 object_unref(obj->parent);
Peter Crosthwaiteb4fefef2014-06-05 23:15:52 -07001281 } else {
Paolo Bonzini22a893e2014-06-11 10:58:06 +02001282 object_unref(obj);
Paolo Bonzini46637be2013-05-07 09:06:00 +02001283 }
1284}
1285
Avi Kivity093bc2c2011-07-26 14:26:01 +03001286uint64_t memory_region_size(MemoryRegion *mr)
1287{
Avi Kivity08dafab2011-10-16 13:19:17 +02001288 if (int128_eq(mr->size, int128_2_64())) {
1289 return UINT64_MAX;
1290 }
1291 return int128_get64(mr->size);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001292}
1293
Peter Crosthwaite5d546d42014-08-14 23:55:03 -07001294const char *memory_region_name(const MemoryRegion *mr)
Avi Kivity8991c792011-12-20 15:53:11 +02001295{
Peter Crosthwaited1dd32a2014-08-25 20:10:24 -07001296 if (!mr->name) {
1297 ((MemoryRegion *)mr)->name =
1298 object_get_canonical_path_component(OBJECT(mr));
1299 }
Peter Maydell302fa282014-08-19 20:05:46 +01001300 return mr->name;
Avi Kivity8991c792011-12-20 15:53:11 +02001301}
1302
Avi Kivity8ea92522011-12-08 15:58:43 +02001303bool memory_region_is_ram(MemoryRegion *mr)
1304{
1305 return mr->ram;
1306}
1307
Avi Kivity55043ba2011-12-15 17:20:34 +02001308bool memory_region_is_logging(MemoryRegion *mr)
1309{
1310 return mr->dirty_log_mask;
1311}
1312
Avi Kivityce7923d2011-12-08 16:05:11 +02001313bool memory_region_is_rom(MemoryRegion *mr)
1314{
1315 return mr->ram && mr->readonly;
1316}
1317
Avi Kivity30951152012-10-30 13:47:46 +02001318bool memory_region_is_iommu(MemoryRegion *mr)
1319{
1320 return mr->iommu_ops;
1321}
1322
David Gibson06866572013-05-14 19:13:56 +10001323void memory_region_register_iommu_notifier(MemoryRegion *mr, Notifier *n)
1324{
1325 notifier_list_add(&mr->iommu_notify, n);
1326}
1327
1328void memory_region_unregister_iommu_notifier(Notifier *n)
1329{
1330 notifier_remove(n);
1331}
1332
1333void memory_region_notify_iommu(MemoryRegion *mr,
1334 IOMMUTLBEntry entry)
1335{
1336 assert(memory_region_is_iommu(mr));
1337 notifier_list_notify(&mr->iommu_notify, &entry);
1338}
1339
Avi Kivity093bc2c2011-07-26 14:26:01 +03001340void memory_region_set_log(MemoryRegion *mr, bool log, unsigned client)
1341{
Avi Kivity5a583342011-07-26 14:26:02 +03001342 uint8_t mask = 1 << client;
1343
Jan Kiszka59023ef2012-08-23 13:02:30 +02001344 memory_region_transaction_begin();
Avi Kivity5a583342011-07-26 14:26:02 +03001345 mr->dirty_log_mask = (mr->dirty_log_mask & ~mask) | (log * mask);
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 Kivity093bc2c2011-07-26 14:26:01 +03001348}
1349
Avi Kivitya8170e52012-10-23 12:30:10 +02001350bool memory_region_get_dirty(MemoryRegion *mr, hwaddr addr,
1351 hwaddr size, unsigned client)
Avi Kivity093bc2c2011-07-26 14:26:01 +03001352{
Avi Kivity14a3c102011-07-26 14:26:06 +03001353 assert(mr->terminates);
Juan Quintela52159192013-10-08 12:44:04 +02001354 return cpu_physical_memory_get_dirty(mr->ram_addr + addr, size, client);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001355}
1356
Avi Kivitya8170e52012-10-23 12:30:10 +02001357void memory_region_set_dirty(MemoryRegion *mr, hwaddr addr,
1358 hwaddr size)
Avi Kivity093bc2c2011-07-26 14:26:01 +03001359{
Avi Kivity14a3c102011-07-26 14:26:06 +03001360 assert(mr->terminates);
Juan Quintela75218e72013-10-08 12:31:54 +02001361 cpu_physical_memory_set_dirty_range(mr->ram_addr + addr, size);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001362}
1363
Juan Quintela6c279db2012-10-17 20:24:28 +02001364bool memory_region_test_and_clear_dirty(MemoryRegion *mr, hwaddr addr,
1365 hwaddr size, unsigned client)
1366{
1367 bool ret;
1368 assert(mr->terminates);
Juan Quintela52159192013-10-08 12:44:04 +02001369 ret = cpu_physical_memory_get_dirty(mr->ram_addr + addr, size, client);
Juan Quintela6c279db2012-10-17 20:24:28 +02001370 if (ret) {
Juan Quintelaa2f4d5b2013-10-10 11:49:53 +02001371 cpu_physical_memory_reset_dirty(mr->ram_addr + addr, size, client);
Juan Quintela6c279db2012-10-17 20:24:28 +02001372 }
1373 return ret;
1374}
1375
1376
Avi Kivity093bc2c2011-07-26 14:26:01 +03001377void memory_region_sync_dirty_bitmap(MemoryRegion *mr)
1378{
Avi Kivity0d673e32012-10-02 15:28:50 +02001379 AddressSpace *as;
Avi Kivity5a583342011-07-26 14:26:02 +03001380 FlatRange *fr;
1381
Avi Kivity0d673e32012-10-02 15:28:50 +02001382 QTAILQ_FOREACH(as, &address_spaces, address_spaces_link) {
Paolo Bonzini856d7242013-05-06 11:57:21 +02001383 FlatView *view = address_space_get_flatview(as);
Paolo Bonzini99e86342013-05-06 10:26:13 +02001384 FOR_EACH_FLAT_RANGE(fr, view) {
Avi Kivity0d673e32012-10-02 15:28:50 +02001385 if (fr->mr == mr) {
1386 MEMORY_LISTENER_UPDATE_REGION(fr, as, Forward, log_sync);
1387 }
Avi Kivity5a583342011-07-26 14:26:02 +03001388 }
Paolo Bonzini856d7242013-05-06 11:57:21 +02001389 flatview_unref(view);
Avi Kivity5a583342011-07-26 14:26:02 +03001390 }
Avi Kivity093bc2c2011-07-26 14:26:01 +03001391}
1392
1393void memory_region_set_readonly(MemoryRegion *mr, bool readonly)
1394{
Avi Kivityfb1cd6f2011-09-25 14:48:47 +03001395 if (mr->readonly != readonly) {
Jan Kiszka59023ef2012-08-23 13:02:30 +02001396 memory_region_transaction_begin();
Avi Kivityfb1cd6f2011-09-25 14:48:47 +03001397 mr->readonly = readonly;
Jan Kiszka22bde712012-11-05 16:45:56 +01001398 memory_region_update_pending |= mr->enabled;
Jan Kiszka59023ef2012-08-23 13:02:30 +02001399 memory_region_transaction_commit();
Avi Kivityfb1cd6f2011-09-25 14:48:47 +03001400 }
Avi Kivity093bc2c2011-07-26 14:26:01 +03001401}
1402
Jan Kiszka5f9a5ea2013-05-07 19:04:25 +02001403void memory_region_rom_device_set_romd(MemoryRegion *mr, bool romd_mode)
Avi Kivityd0a9b5b2011-08-08 19:58:49 +03001404{
Jan Kiszka5f9a5ea2013-05-07 19:04:25 +02001405 if (mr->romd_mode != romd_mode) {
Jan Kiszka59023ef2012-08-23 13:02:30 +02001406 memory_region_transaction_begin();
Jan Kiszka5f9a5ea2013-05-07 19:04:25 +02001407 mr->romd_mode = romd_mode;
Jan Kiszka22bde712012-11-05 16:45:56 +01001408 memory_region_update_pending |= mr->enabled;
Jan Kiszka59023ef2012-08-23 13:02:30 +02001409 memory_region_transaction_commit();
Avi Kivityd0a9b5b2011-08-08 19:58:49 +03001410 }
1411}
1412
Avi Kivitya8170e52012-10-23 12:30:10 +02001413void memory_region_reset_dirty(MemoryRegion *mr, hwaddr addr,
1414 hwaddr size, unsigned client)
Avi Kivity093bc2c2011-07-26 14:26:01 +03001415{
Avi Kivity14a3c102011-07-26 14:26:06 +03001416 assert(mr->terminates);
Juan Quintelaa2f4d5b2013-10-10 11:49:53 +02001417 cpu_physical_memory_reset_dirty(mr->ram_addr + addr, size, client);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001418}
1419
Paolo Bonzinia35ba7b2014-06-10 19:15:23 +08001420int memory_region_get_fd(MemoryRegion *mr)
1421{
1422 if (mr->alias) {
1423 return memory_region_get_fd(mr->alias);
1424 }
1425
1426 assert(mr->terminates);
1427
1428 return qemu_get_ram_fd(mr->ram_addr & TARGET_PAGE_MASK);
1429}
1430
Avi Kivity093bc2c2011-07-26 14:26:01 +03001431void *memory_region_get_ram_ptr(MemoryRegion *mr)
1432{
1433 if (mr->alias) {
1434 return memory_region_get_ram_ptr(mr->alias) + mr->alias_offset;
1435 }
1436
Avi Kivity14a3c102011-07-26 14:26:06 +03001437 assert(mr->terminates);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001438
Jan Kiszka021d26d2011-08-30 00:38:24 +02001439 return qemu_get_ram_ptr(mr->ram_addr & TARGET_PAGE_MASK);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001440}
1441
Avi Kivity0d673e32012-10-02 15:28:50 +02001442static void memory_region_update_coalesced_range_as(MemoryRegion *mr, AddressSpace *as)
Avi Kivity093bc2c2011-07-26 14:26:01 +03001443{
Paolo Bonzini99e86342013-05-06 10:26:13 +02001444 FlatView *view;
Avi Kivity093bc2c2011-07-26 14:26:01 +03001445 FlatRange *fr;
1446 CoalescedMemoryRange *cmr;
1447 AddrRange tmp;
Avi Kivity95d29942012-10-02 18:21:54 +02001448 MemoryRegionSection section;
Avi Kivity093bc2c2011-07-26 14:26:01 +03001449
Paolo Bonzini856d7242013-05-06 11:57:21 +02001450 view = address_space_get_flatview(as);
Paolo Bonzini99e86342013-05-06 10:26:13 +02001451 FOR_EACH_FLAT_RANGE(fr, view) {
Avi Kivity093bc2c2011-07-26 14:26:01 +03001452 if (fr->mr == mr) {
Avi Kivity95d29942012-10-02 18:21:54 +02001453 section = (MemoryRegionSection) {
Avi Kivityf6790af2012-10-02 20:13:51 +02001454 .address_space = as,
Avi Kivity95d29942012-10-02 18:21:54 +02001455 .offset_within_address_space = int128_get64(fr->addr.start),
Paolo Bonzini052e87b2013-05-27 10:08:27 +02001456 .size = fr->addr.size,
Avi Kivity95d29942012-10-02 18:21:54 +02001457 };
1458
1459 MEMORY_LISTENER_CALL(coalesced_mmio_del, Reverse, &section,
1460 int128_get64(fr->addr.start),
1461 int128_get64(fr->addr.size));
Avi Kivity093bc2c2011-07-26 14:26:01 +03001462 QTAILQ_FOREACH(cmr, &mr->coalesced, link) {
1463 tmp = addrrange_shift(cmr->addr,
Avi Kivity08dafab2011-10-16 13:19:17 +02001464 int128_sub(fr->addr.start,
1465 int128_make64(fr->offset_in_region)));
Avi Kivity093bc2c2011-07-26 14:26:01 +03001466 if (!addrrange_intersects(tmp, fr->addr)) {
1467 continue;
1468 }
1469 tmp = addrrange_intersection(tmp, fr->addr);
Avi Kivity95d29942012-10-02 18:21:54 +02001470 MEMORY_LISTENER_CALL(coalesced_mmio_add, Forward, &section,
1471 int128_get64(tmp.start),
1472 int128_get64(tmp.size));
Avi Kivity093bc2c2011-07-26 14:26:01 +03001473 }
1474 }
1475 }
Paolo Bonzini856d7242013-05-06 11:57:21 +02001476 flatview_unref(view);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001477}
1478
Avi Kivity0d673e32012-10-02 15:28:50 +02001479static void memory_region_update_coalesced_range(MemoryRegion *mr)
1480{
1481 AddressSpace *as;
1482
1483 QTAILQ_FOREACH(as, &address_spaces, address_spaces_link) {
1484 memory_region_update_coalesced_range_as(mr, as);
1485 }
1486}
1487
Avi Kivity093bc2c2011-07-26 14:26:01 +03001488void memory_region_set_coalescing(MemoryRegion *mr)
1489{
1490 memory_region_clear_coalescing(mr);
Avi Kivity08dafab2011-10-16 13:19:17 +02001491 memory_region_add_coalescing(mr, 0, int128_get64(mr->size));
Avi Kivity093bc2c2011-07-26 14:26:01 +03001492}
1493
1494void memory_region_add_coalescing(MemoryRegion *mr,
Avi Kivitya8170e52012-10-23 12:30:10 +02001495 hwaddr offset,
Avi Kivity093bc2c2011-07-26 14:26:01 +03001496 uint64_t size)
1497{
Anthony Liguori7267c092011-08-20 22:09:37 -05001498 CoalescedMemoryRange *cmr = g_malloc(sizeof(*cmr));
Avi Kivity093bc2c2011-07-26 14:26:01 +03001499
Avi Kivity08dafab2011-10-16 13:19:17 +02001500 cmr->addr = addrrange_make(int128_make64(offset), int128_make64(size));
Avi Kivity093bc2c2011-07-26 14:26:01 +03001501 QTAILQ_INSERT_TAIL(&mr->coalesced, cmr, link);
1502 memory_region_update_coalesced_range(mr);
Jan Kiszkad4105152012-08-23 13:02:29 +02001503 memory_region_set_flush_coalesced(mr);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001504}
1505
1506void memory_region_clear_coalescing(MemoryRegion *mr)
1507{
1508 CoalescedMemoryRange *cmr;
Fam Zhengab5b3db2014-06-13 14:34:41 +08001509 bool updated = false;
Avi Kivity093bc2c2011-07-26 14:26:01 +03001510
Jan Kiszkad4105152012-08-23 13:02:29 +02001511 qemu_flush_coalesced_mmio_buffer();
1512 mr->flush_coalesced_mmio = false;
1513
Avi Kivity093bc2c2011-07-26 14:26:01 +03001514 while (!QTAILQ_EMPTY(&mr->coalesced)) {
1515 cmr = QTAILQ_FIRST(&mr->coalesced);
1516 QTAILQ_REMOVE(&mr->coalesced, cmr, link);
Anthony Liguori7267c092011-08-20 22:09:37 -05001517 g_free(cmr);
Fam Zhengab5b3db2014-06-13 14:34:41 +08001518 updated = true;
Avi Kivity093bc2c2011-07-26 14:26:01 +03001519 }
Fam Zhengab5b3db2014-06-13 14:34:41 +08001520
1521 if (updated) {
1522 memory_region_update_coalesced_range(mr);
1523 }
Avi Kivity093bc2c2011-07-26 14:26:01 +03001524}
1525
Jan Kiszkad4105152012-08-23 13:02:29 +02001526void memory_region_set_flush_coalesced(MemoryRegion *mr)
1527{
1528 mr->flush_coalesced_mmio = true;
1529}
1530
1531void memory_region_clear_flush_coalesced(MemoryRegion *mr)
1532{
1533 qemu_flush_coalesced_mmio_buffer();
1534 if (QTAILQ_EMPTY(&mr->coalesced)) {
1535 mr->flush_coalesced_mmio = false;
1536 }
1537}
1538
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001539void memory_region_add_eventfd(MemoryRegion *mr,
Avi Kivitya8170e52012-10-23 12:30:10 +02001540 hwaddr addr,
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001541 unsigned size,
1542 bool match_data,
1543 uint64_t data,
Paolo Bonzini753d5e12012-07-05 17:16:27 +02001544 EventNotifier *e)
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001545{
1546 MemoryRegionIoeventfd mrfd = {
Avi Kivity08dafab2011-10-16 13:19:17 +02001547 .addr.start = int128_make64(addr),
1548 .addr.size = int128_make64(size),
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001549 .match_data = match_data,
1550 .data = data,
Paolo Bonzini753d5e12012-07-05 17:16:27 +02001551 .e = e,
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001552 };
1553 unsigned i;
1554
Alexander Graf28f362b2012-10-15 20:30:28 +02001555 adjust_endianness(mr, &mrfd.data, size);
Jan Kiszka59023ef2012-08-23 13:02:30 +02001556 memory_region_transaction_begin();
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001557 for (i = 0; i < mr->ioeventfd_nb; ++i) {
1558 if (memory_region_ioeventfd_before(mrfd, mr->ioeventfds[i])) {
1559 break;
1560 }
1561 }
1562 ++mr->ioeventfd_nb;
Anthony Liguori7267c092011-08-20 22:09:37 -05001563 mr->ioeventfds = g_realloc(mr->ioeventfds,
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001564 sizeof(*mr->ioeventfds) * mr->ioeventfd_nb);
1565 memmove(&mr->ioeventfds[i+1], &mr->ioeventfds[i],
1566 sizeof(*mr->ioeventfds) * (mr->ioeventfd_nb-1 - i));
1567 mr->ioeventfds[i] = mrfd;
Gonglei4dc56152014-05-08 11:47:32 +08001568 ioeventfd_update_pending |= mr->enabled;
Jan Kiszka59023ef2012-08-23 13:02:30 +02001569 memory_region_transaction_commit();
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001570}
1571
1572void memory_region_del_eventfd(MemoryRegion *mr,
Avi Kivitya8170e52012-10-23 12:30:10 +02001573 hwaddr addr,
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001574 unsigned size,
1575 bool match_data,
1576 uint64_t data,
Paolo Bonzini753d5e12012-07-05 17:16:27 +02001577 EventNotifier *e)
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001578{
1579 MemoryRegionIoeventfd mrfd = {
Avi Kivity08dafab2011-10-16 13:19:17 +02001580 .addr.start = int128_make64(addr),
1581 .addr.size = int128_make64(size),
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001582 .match_data = match_data,
1583 .data = data,
Paolo Bonzini753d5e12012-07-05 17:16:27 +02001584 .e = e,
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001585 };
1586 unsigned i;
1587
Alexander Graf28f362b2012-10-15 20:30:28 +02001588 adjust_endianness(mr, &mrfd.data, size);
Jan Kiszka59023ef2012-08-23 13:02:30 +02001589 memory_region_transaction_begin();
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001590 for (i = 0; i < mr->ioeventfd_nb; ++i) {
1591 if (memory_region_ioeventfd_equal(mrfd, mr->ioeventfds[i])) {
1592 break;
1593 }
1594 }
1595 assert(i != mr->ioeventfd_nb);
1596 memmove(&mr->ioeventfds[i], &mr->ioeventfds[i+1],
1597 sizeof(*mr->ioeventfds) * (mr->ioeventfd_nb - (i+1)));
1598 --mr->ioeventfd_nb;
Anthony Liguori7267c092011-08-20 22:09:37 -05001599 mr->ioeventfds = g_realloc(mr->ioeventfds,
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001600 sizeof(*mr->ioeventfds)*mr->ioeventfd_nb + 1);
Gonglei4dc56152014-05-08 11:47:32 +08001601 ioeventfd_update_pending |= mr->enabled;
Jan Kiszka59023ef2012-08-23 13:02:30 +02001602 memory_region_transaction_commit();
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001603}
1604
Paolo Bonzinifeca4ac2014-06-11 11:18:09 +02001605static void memory_region_update_container_subregions(MemoryRegion *subregion)
Avi Kivity093bc2c2011-07-26 14:26:01 +03001606{
Peter Crosthwaite05987012014-06-05 23:14:44 -07001607 hwaddr offset = subregion->addr;
Paolo Bonzinifeca4ac2014-06-11 11:18:09 +02001608 MemoryRegion *mr = subregion->container;
Avi Kivity093bc2c2011-07-26 14:26:01 +03001609 MemoryRegion *other;
1610
Jan Kiszka59023ef2012-08-23 13:02:30 +02001611 memory_region_transaction_begin();
1612
Paolo Bonzinidfde4e62013-05-06 10:46:11 +02001613 memory_region_ref(subregion);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001614 QTAILQ_FOREACH(other, &mr->subregions, subregions_link) {
1615 if (subregion->may_overlap || other->may_overlap) {
1616 continue;
1617 }
Hu Tao2c7cfd62013-03-15 14:32:01 +08001618 if (int128_ge(int128_make64(offset),
Avi Kivity08dafab2011-10-16 13:19:17 +02001619 int128_add(int128_make64(other->addr), other->size))
1620 || int128_le(int128_add(int128_make64(offset), subregion->size),
1621 int128_make64(other->addr))) {
Avi Kivity093bc2c2011-07-26 14:26:01 +03001622 continue;
1623 }
Anthony Liguoria5e1cbc2011-08-22 11:14:56 -05001624#if 0
Michael Walle860329b2011-09-15 23:16:49 +02001625 printf("warning: subregion collision %llx/%llx (%s) "
1626 "vs %llx/%llx (%s)\n",
Avi Kivity093bc2c2011-07-26 14:26:01 +03001627 (unsigned long long)offset,
Avi Kivity08dafab2011-10-16 13:19:17 +02001628 (unsigned long long)int128_get64(subregion->size),
Michael Walle860329b2011-09-15 23:16:49 +02001629 subregion->name,
1630 (unsigned long long)other->addr,
Avi Kivity08dafab2011-10-16 13:19:17 +02001631 (unsigned long long)int128_get64(other->size),
Michael Walle860329b2011-09-15 23:16:49 +02001632 other->name);
Anthony Liguoria5e1cbc2011-08-22 11:14:56 -05001633#endif
Avi Kivity093bc2c2011-07-26 14:26:01 +03001634 }
1635 QTAILQ_FOREACH(other, &mr->subregions, subregions_link) {
1636 if (subregion->priority >= other->priority) {
1637 QTAILQ_INSERT_BEFORE(other, subregion, subregions_link);
1638 goto done;
1639 }
1640 }
1641 QTAILQ_INSERT_TAIL(&mr->subregions, subregion, subregions_link);
1642done:
Jan Kiszka22bde712012-11-05 16:45:56 +01001643 memory_region_update_pending |= mr->enabled && subregion->enabled;
Jan Kiszka59023ef2012-08-23 13:02:30 +02001644 memory_region_transaction_commit();
Avi Kivity093bc2c2011-07-26 14:26:01 +03001645}
1646
Peter Crosthwaite05987012014-06-05 23:14:44 -07001647static void memory_region_add_subregion_common(MemoryRegion *mr,
1648 hwaddr offset,
1649 MemoryRegion *subregion)
1650{
Paolo Bonzinifeca4ac2014-06-11 11:18:09 +02001651 assert(!subregion->container);
1652 subregion->container = mr;
Peter Crosthwaite05987012014-06-05 23:14:44 -07001653 subregion->addr = offset;
Paolo Bonzinifeca4ac2014-06-11 11:18:09 +02001654 memory_region_update_container_subregions(subregion);
Peter Crosthwaite05987012014-06-05 23:14:44 -07001655}
Avi Kivity093bc2c2011-07-26 14:26:01 +03001656
1657void memory_region_add_subregion(MemoryRegion *mr,
Avi Kivitya8170e52012-10-23 12:30:10 +02001658 hwaddr offset,
Avi Kivity093bc2c2011-07-26 14:26:01 +03001659 MemoryRegion *subregion)
1660{
1661 subregion->may_overlap = false;
1662 subregion->priority = 0;
1663 memory_region_add_subregion_common(mr, offset, subregion);
1664}
1665
1666void memory_region_add_subregion_overlap(MemoryRegion *mr,
Avi Kivitya8170e52012-10-23 12:30:10 +02001667 hwaddr offset,
Avi Kivity093bc2c2011-07-26 14:26:01 +03001668 MemoryRegion *subregion,
Marcel Apfelbauma1ff8ae2013-09-16 11:21:14 +03001669 int priority)
Avi Kivity093bc2c2011-07-26 14:26:01 +03001670{
1671 subregion->may_overlap = true;
1672 subregion->priority = priority;
1673 memory_region_add_subregion_common(mr, offset, subregion);
1674}
1675
1676void memory_region_del_subregion(MemoryRegion *mr,
1677 MemoryRegion *subregion)
1678{
Jan Kiszka59023ef2012-08-23 13:02:30 +02001679 memory_region_transaction_begin();
Paolo Bonzinifeca4ac2014-06-11 11:18:09 +02001680 assert(subregion->container == mr);
1681 subregion->container = NULL;
Avi Kivity093bc2c2011-07-26 14:26:01 +03001682 QTAILQ_REMOVE(&mr->subregions, subregion, subregions_link);
Paolo Bonzinidfde4e62013-05-06 10:46:11 +02001683 memory_region_unref(subregion);
Jan Kiszka22bde712012-11-05 16:45:56 +01001684 memory_region_update_pending |= mr->enabled && subregion->enabled;
Jan Kiszka59023ef2012-08-23 13:02:30 +02001685 memory_region_transaction_commit();
Avi Kivity6bba19b2011-09-14 11:54:58 +03001686}
1687
1688void memory_region_set_enabled(MemoryRegion *mr, bool enabled)
1689{
1690 if (enabled == mr->enabled) {
1691 return;
1692 }
Jan Kiszka59023ef2012-08-23 13:02:30 +02001693 memory_region_transaction_begin();
Avi Kivity6bba19b2011-09-14 11:54:58 +03001694 mr->enabled = enabled;
Jan Kiszka22bde712012-11-05 16:45:56 +01001695 memory_region_update_pending = true;
Jan Kiszka59023ef2012-08-23 13:02:30 +02001696 memory_region_transaction_commit();
Avi Kivity093bc2c2011-07-26 14:26:01 +03001697}
Avi Kivity1c0ffa52011-07-26 14:26:04 +03001698
Peter Crosthwaite67891b82014-06-05 23:15:18 -07001699static void memory_region_readd_subregion(MemoryRegion *mr)
Avi Kivity2282e1a2011-09-14 12:10:12 +03001700{
Paolo Bonzinifeca4ac2014-06-11 11:18:09 +02001701 MemoryRegion *container = mr->container;
Avi Kivity2282e1a2011-09-14 12:10:12 +03001702
Paolo Bonzinifeca4ac2014-06-11 11:18:09 +02001703 if (container) {
Peter Crosthwaite67891b82014-06-05 23:15:18 -07001704 memory_region_transaction_begin();
1705 memory_region_ref(mr);
Paolo Bonzinifeca4ac2014-06-11 11:18:09 +02001706 memory_region_del_subregion(container, mr);
1707 mr->container = container;
1708 memory_region_update_container_subregions(mr);
Peter Crosthwaite67891b82014-06-05 23:15:18 -07001709 memory_region_unref(mr);
1710 memory_region_transaction_commit();
Avi Kivity2282e1a2011-09-14 12:10:12 +03001711 }
Peter Crosthwaite67891b82014-06-05 23:15:18 -07001712}
Avi Kivity2282e1a2011-09-14 12:10:12 +03001713
Peter Crosthwaite67891b82014-06-05 23:15:18 -07001714void memory_region_set_address(MemoryRegion *mr, hwaddr addr)
1715{
1716 if (addr != mr->addr) {
1717 mr->addr = addr;
1718 memory_region_readd_subregion(mr);
1719 }
Avi Kivity2282e1a2011-09-14 12:10:12 +03001720}
1721
Avi Kivitya8170e52012-10-23 12:30:10 +02001722void memory_region_set_alias_offset(MemoryRegion *mr, hwaddr offset)
Avi Kivity47033592011-12-04 19:16:50 +02001723{
Avi Kivity47033592011-12-04 19:16:50 +02001724 assert(mr->alias);
Avi Kivity47033592011-12-04 19:16:50 +02001725
Jan Kiszka59023ef2012-08-23 13:02:30 +02001726 if (offset == mr->alias_offset) {
Avi Kivity47033592011-12-04 19:16:50 +02001727 return;
1728 }
1729
Jan Kiszka59023ef2012-08-23 13:02:30 +02001730 memory_region_transaction_begin();
1731 mr->alias_offset = offset;
Jan Kiszka22bde712012-11-05 16:45:56 +01001732 memory_region_update_pending |= mr->enabled;
Jan Kiszka59023ef2012-08-23 13:02:30 +02001733 memory_region_transaction_commit();
Avi Kivity47033592011-12-04 19:16:50 +02001734}
1735
Avi Kivitye34911c2011-12-19 12:06:23 +02001736ram_addr_t memory_region_get_ram_addr(MemoryRegion *mr)
1737{
Avi Kivitye34911c2011-12-19 12:06:23 +02001738 return mr->ram_addr;
1739}
1740
Avi Kivitye2177952011-12-08 15:00:18 +02001741static int cmp_flatrange_addr(const void *addr_, const void *fr_)
1742{
1743 const AddrRange *addr = addr_;
1744 const FlatRange *fr = fr_;
1745
1746 if (int128_le(addrrange_end(*addr), fr->addr.start)) {
1747 return -1;
1748 } else if (int128_ge(addr->start, addrrange_end(fr->addr))) {
1749 return 1;
1750 }
1751 return 0;
1752}
1753
Paolo Bonzini99e86342013-05-06 10:26:13 +02001754static FlatRange *flatview_lookup(FlatView *view, AddrRange addr)
Avi Kivitye2177952011-12-08 15:00:18 +02001755{
Paolo Bonzini99e86342013-05-06 10:26:13 +02001756 return bsearch(&addr, view->ranges, view->nr,
Avi Kivitye2177952011-12-08 15:00:18 +02001757 sizeof(FlatRange), cmp_flatrange_addr);
1758}
1759
Paolo Bonzinifeca4ac2014-06-11 11:18:09 +02001760bool memory_region_present(MemoryRegion *container, hwaddr addr)
Paolo Bonzini3ce10902013-07-02 13:40:48 +02001761{
Paolo Bonzinifeca4ac2014-06-11 11:18:09 +02001762 MemoryRegion *mr = memory_region_find(container, addr, 1).mr;
1763 if (!mr || (mr == container)) {
Paolo Bonzini3ce10902013-07-02 13:40:48 +02001764 return false;
1765 }
Paolo Bonzinidfde4e62013-05-06 10:46:11 +02001766 memory_region_unref(mr);
Paolo Bonzini3ce10902013-07-02 13:40:48 +02001767 return true;
1768}
1769
Igor Mammedoveed2bac2014-06-02 15:25:06 +02001770bool memory_region_is_mapped(MemoryRegion *mr)
1771{
1772 return mr->container ? true : false;
1773}
1774
Paolo Bonzini73034e92013-05-07 15:48:28 +02001775MemoryRegionSection memory_region_find(MemoryRegion *mr,
Avi Kivitya8170e52012-10-23 12:30:10 +02001776 hwaddr addr, uint64_t size)
Avi Kivitye2177952011-12-08 15:00:18 +02001777{
Paolo Bonzini052e87b2013-05-27 10:08:27 +02001778 MemoryRegionSection ret = { .mr = NULL };
Paolo Bonzini73034e92013-05-07 15:48:28 +02001779 MemoryRegion *root;
1780 AddressSpace *as;
1781 AddrRange range;
Paolo Bonzini99e86342013-05-06 10:26:13 +02001782 FlatView *view;
Paolo Bonzini73034e92013-05-07 15:48:28 +02001783 FlatRange *fr;
Avi Kivitye2177952011-12-08 15:00:18 +02001784
Paolo Bonzini73034e92013-05-07 15:48:28 +02001785 addr += mr->addr;
Paolo Bonzinifeca4ac2014-06-11 11:18:09 +02001786 for (root = mr; root->container; ) {
1787 root = root->container;
Paolo Bonzini73034e92013-05-07 15:48:28 +02001788 addr += root->addr;
1789 }
1790
1791 as = memory_region_to_address_space(root);
Igor Mammedoveed2bac2014-06-02 15:25:06 +02001792 if (!as) {
1793 return ret;
1794 }
Paolo Bonzini73034e92013-05-07 15:48:28 +02001795 range = addrrange_make(int128_make64(addr), int128_make64(size));
Paolo Bonzini99e86342013-05-06 10:26:13 +02001796
Paolo Bonzini856d7242013-05-06 11:57:21 +02001797 view = address_space_get_flatview(as);
Paolo Bonzini99e86342013-05-06 10:26:13 +02001798 fr = flatview_lookup(view, range);
Avi Kivitye2177952011-12-08 15:00:18 +02001799 if (!fr) {
Marcel Apfelbaum6307d972013-12-02 16:20:59 +02001800 flatview_unref(view);
Avi Kivitye2177952011-12-08 15:00:18 +02001801 return ret;
1802 }
1803
Paolo Bonzini99e86342013-05-06 10:26:13 +02001804 while (fr > view->ranges && addrrange_intersects(fr[-1].addr, range)) {
Avi Kivitye2177952011-12-08 15:00:18 +02001805 --fr;
1806 }
1807
1808 ret.mr = fr->mr;
Paolo Bonzini73034e92013-05-07 15:48:28 +02001809 ret.address_space = as;
Avi Kivitye2177952011-12-08 15:00:18 +02001810 range = addrrange_intersection(range, fr->addr);
1811 ret.offset_within_region = fr->offset_in_region;
1812 ret.offset_within_region += int128_get64(int128_sub(range.start,
1813 fr->addr.start));
Paolo Bonzini052e87b2013-05-27 10:08:27 +02001814 ret.size = range.size;
Avi Kivitye2177952011-12-08 15:00:18 +02001815 ret.offset_within_address_space = int128_get64(range.start);
Avi Kivity7a8499e2012-02-08 17:01:23 +02001816 ret.readonly = fr->readonly;
Paolo Bonzinidfde4e62013-05-06 10:46:11 +02001817 memory_region_ref(ret.mr);
1818
Paolo Bonzini856d7242013-05-06 11:57:21 +02001819 flatview_unref(view);
Avi Kivitye2177952011-12-08 15:00:18 +02001820 return ret;
1821}
1822
Paolo Bonzini1d671362013-04-24 10:46:55 +02001823void address_space_sync_dirty_bitmap(AddressSpace *as)
Avi Kivity86e775c2011-12-15 16:24:49 +02001824{
Paolo Bonzini99e86342013-05-06 10:26:13 +02001825 FlatView *view;
Avi Kivity7664e802011-12-11 14:47:25 +02001826 FlatRange *fr;
1827
Paolo Bonzini856d7242013-05-06 11:57:21 +02001828 view = address_space_get_flatview(as);
Paolo Bonzini99e86342013-05-06 10:26:13 +02001829 FOR_EACH_FLAT_RANGE(fr, view) {
Avi Kivity72e22d22012-02-08 15:05:50 +02001830 MEMORY_LISTENER_UPDATE_REGION(fr, as, Forward, log_sync);
Avi Kivity7664e802011-12-11 14:47:25 +02001831 }
Paolo Bonzini856d7242013-05-06 11:57:21 +02001832 flatview_unref(view);
Avi Kivity7664e802011-12-11 14:47:25 +02001833}
1834
1835void memory_global_dirty_log_start(void)
1836{
Avi Kivity7664e802011-12-11 14:47:25 +02001837 global_dirty_log = true;
Avi Kivity7376e582012-02-08 21:05:17 +02001838 MEMORY_LISTENER_CALL_GLOBAL(log_global_start, Forward);
Avi Kivity7664e802011-12-11 14:47:25 +02001839}
1840
1841void memory_global_dirty_log_stop(void)
1842{
Avi Kivity7664e802011-12-11 14:47:25 +02001843 global_dirty_log = false;
Avi Kivity7376e582012-02-08 21:05:17 +02001844 MEMORY_LISTENER_CALL_GLOBAL(log_global_stop, Reverse);
Avi Kivity7664e802011-12-11 14:47:25 +02001845}
1846
1847static void listener_add_address_space(MemoryListener *listener,
1848 AddressSpace *as)
1849{
Paolo Bonzini99e86342013-05-06 10:26:13 +02001850 FlatView *view;
Avi Kivity7664e802011-12-11 14:47:25 +02001851 FlatRange *fr;
1852
Julien Grall221b3a32012-04-04 15:15:41 +01001853 if (listener->address_space_filter
Avi Kivityf6790af2012-10-02 20:13:51 +02001854 && listener->address_space_filter != as) {
Julien Grall221b3a32012-04-04 15:15:41 +01001855 return;
1856 }
1857
Avi Kivity7664e802011-12-11 14:47:25 +02001858 if (global_dirty_log) {
Avi Kivity975aefe2012-10-02 16:39:57 +02001859 if (listener->log_global_start) {
1860 listener->log_global_start(listener);
1861 }
Avi Kivity7664e802011-12-11 14:47:25 +02001862 }
Avi Kivity975aefe2012-10-02 16:39:57 +02001863
Paolo Bonzini856d7242013-05-06 11:57:21 +02001864 view = address_space_get_flatview(as);
Paolo Bonzini99e86342013-05-06 10:26:13 +02001865 FOR_EACH_FLAT_RANGE(fr, view) {
Avi Kivity7664e802011-12-11 14:47:25 +02001866 MemoryRegionSection section = {
1867 .mr = fr->mr,
Avi Kivityf6790af2012-10-02 20:13:51 +02001868 .address_space = as,
Avi Kivity7664e802011-12-11 14:47:25 +02001869 .offset_within_region = fr->offset_in_region,
Paolo Bonzini052e87b2013-05-27 10:08:27 +02001870 .size = fr->addr.size,
Avi Kivity7664e802011-12-11 14:47:25 +02001871 .offset_within_address_space = int128_get64(fr->addr.start),
Avi Kivity7a8499e2012-02-08 17:01:23 +02001872 .readonly = fr->readonly,
Avi Kivity7664e802011-12-11 14:47:25 +02001873 };
Avi Kivity975aefe2012-10-02 16:39:57 +02001874 if (listener->region_add) {
1875 listener->region_add(listener, &section);
1876 }
Avi Kivity7664e802011-12-11 14:47:25 +02001877 }
Paolo Bonzini856d7242013-05-06 11:57:21 +02001878 flatview_unref(view);
Avi Kivity7664e802011-12-11 14:47:25 +02001879}
1880
Avi Kivityf6790af2012-10-02 20:13:51 +02001881void memory_listener_register(MemoryListener *listener, AddressSpace *filter)
Avi Kivity7664e802011-12-11 14:47:25 +02001882{
Avi Kivity72e22d22012-02-08 15:05:50 +02001883 MemoryListener *other = NULL;
Avi Kivity0d673e32012-10-02 15:28:50 +02001884 AddressSpace *as;
Avi Kivity72e22d22012-02-08 15:05:50 +02001885
Avi Kivity7376e582012-02-08 21:05:17 +02001886 listener->address_space_filter = filter;
Avi Kivity72e22d22012-02-08 15:05:50 +02001887 if (QTAILQ_EMPTY(&memory_listeners)
1888 || listener->priority >= QTAILQ_LAST(&memory_listeners,
1889 memory_listeners)->priority) {
1890 QTAILQ_INSERT_TAIL(&memory_listeners, listener, link);
1891 } else {
1892 QTAILQ_FOREACH(other, &memory_listeners, link) {
1893 if (listener->priority < other->priority) {
1894 break;
1895 }
1896 }
1897 QTAILQ_INSERT_BEFORE(other, listener, link);
1898 }
Avi Kivity0d673e32012-10-02 15:28:50 +02001899
1900 QTAILQ_FOREACH(as, &address_spaces, address_spaces_link) {
1901 listener_add_address_space(listener, as);
1902 }
Avi Kivity7664e802011-12-11 14:47:25 +02001903}
1904
1905void memory_listener_unregister(MemoryListener *listener)
1906{
Avi Kivity72e22d22012-02-08 15:05:50 +02001907 QTAILQ_REMOVE(&memory_listeners, listener, link);
Avi Kivity86e775c2011-12-15 16:24:49 +02001908}
Avi Kivitye2177952011-12-08 15:00:18 +02001909
Alexey Kardashevskiy7dca8042013-04-29 16:25:51 +00001910void address_space_init(AddressSpace *as, MemoryRegion *root, const char *name)
Avi Kivity1c0ffa52011-07-26 14:26:04 +03001911{
Paolo Bonzini856d7242013-05-06 11:57:21 +02001912 if (QTAILQ_EMPTY(&address_spaces)) {
1913 memory_init();
1914 }
1915
Jan Kiszka59023ef2012-08-23 13:02:30 +02001916 memory_region_transaction_begin();
Avi Kivity8786db72012-10-02 13:53:41 +02001917 as->root = root;
1918 as->current_map = g_new(FlatView, 1);
1919 flatview_init(as->current_map);
Avi Kivity4c19eb72012-10-30 13:47:44 +02001920 as->ioeventfd_nb = 0;
1921 as->ioeventfds = NULL;
Avi Kivity0d673e32012-10-02 15:28:50 +02001922 QTAILQ_INSERT_TAIL(&address_spaces, as, address_spaces_link);
Alexey Kardashevskiy7dca8042013-04-29 16:25:51 +00001923 as->name = g_strdup(name ? name : "anonymous");
Avi Kivityac1970f2012-10-03 16:22:53 +02001924 address_space_init_dispatch(as);
Paolo Bonzinif43793c2013-04-16 15:39:51 +02001925 memory_region_update_pending |= root->enabled;
1926 memory_region_transaction_commit();
Avi Kivity1c0ffa52011-07-26 14:26:04 +03001927}
Avi Kivity658b2222011-07-26 14:26:08 +03001928
Avi Kivity83f3c252012-10-07 12:59:55 +02001929void address_space_destroy(AddressSpace *as)
1930{
David Gibson078c44f2014-05-30 12:59:00 -06001931 MemoryListener *listener;
1932
Avi Kivity83f3c252012-10-07 12:59:55 +02001933 /* Flush out anything from MemoryListeners listening in on this */
1934 memory_region_transaction_begin();
1935 as->root = NULL;
1936 memory_region_transaction_commit();
1937 QTAILQ_REMOVE(&address_spaces, as, address_spaces_link);
1938 address_space_destroy_dispatch(as);
David Gibson078c44f2014-05-30 12:59:00 -06001939
1940 QTAILQ_FOREACH(listener, &memory_listeners, link) {
1941 assert(listener->address_space_filter != as);
1942 }
1943
Paolo Bonzini856d7242013-05-06 11:57:21 +02001944 flatview_unref(as->current_map);
Alexey Kardashevskiy7dca8042013-04-29 16:25:51 +00001945 g_free(as->name);
Avi Kivity4c19eb72012-10-30 13:47:44 +02001946 g_free(as->ioeventfds);
Avi Kivity83f3c252012-10-07 12:59:55 +02001947}
1948
Paolo Bonzini791af8c2013-05-24 16:10:39 +02001949bool io_mem_read(MemoryRegion *mr, hwaddr addr, uint64_t *pval, unsigned size)
Avi Kivityacbbec52011-11-21 12:27:03 +02001950{
Paolo Bonzini791af8c2013-05-24 16:10:39 +02001951 return memory_region_dispatch_read(mr, addr, pval, size);
Avi Kivityacbbec52011-11-21 12:27:03 +02001952}
1953
Paolo Bonzini791af8c2013-05-24 16:10:39 +02001954bool io_mem_write(MemoryRegion *mr, hwaddr addr,
Avi Kivityacbbec52011-11-21 12:27:03 +02001955 uint64_t val, unsigned size)
1956{
Paolo Bonzini791af8c2013-05-24 16:10:39 +02001957 return memory_region_dispatch_write(mr, addr, val, size);
Avi Kivityacbbec52011-11-21 12:27:03 +02001958}
1959
Blue Swirl314e2982011-09-11 20:22:05 +00001960typedef struct MemoryRegionList MemoryRegionList;
1961
1962struct MemoryRegionList {
1963 const MemoryRegion *mr;
Blue Swirl314e2982011-09-11 20:22:05 +00001964 QTAILQ_ENTRY(MemoryRegionList) queue;
1965};
1966
1967typedef QTAILQ_HEAD(queue, MemoryRegionList) MemoryRegionListHead;
1968
1969static void mtree_print_mr(fprintf_function mon_printf, void *f,
1970 const MemoryRegion *mr, unsigned int level,
Avi Kivitya8170e52012-10-23 12:30:10 +02001971 hwaddr base,
Jan Kiszka9479c572011-09-27 15:00:41 +02001972 MemoryRegionListHead *alias_print_queue)
Blue Swirl314e2982011-09-11 20:22:05 +00001973{
Jan Kiszka9479c572011-09-27 15:00:41 +02001974 MemoryRegionList *new_ml, *ml, *next_ml;
1975 MemoryRegionListHead submr_print_queue;
Blue Swirl314e2982011-09-11 20:22:05 +00001976 const MemoryRegion *submr;
1977 unsigned int i;
1978
Jan Kiszka7ea692b2012-10-31 10:49:02 +01001979 if (!mr || !mr->enabled) {
Blue Swirl314e2982011-09-11 20:22:05 +00001980 return;
1981 }
1982
1983 for (i = 0; i < level; i++) {
1984 mon_printf(f, " ");
1985 }
1986
1987 if (mr->alias) {
1988 MemoryRegionList *ml;
1989 bool found = false;
1990
1991 /* check if the alias is already in the queue */
Jan Kiszka9479c572011-09-27 15:00:41 +02001992 QTAILQ_FOREACH(ml, alias_print_queue, queue) {
Paolo Bonzinif54bb152013-12-11 12:51:46 +01001993 if (ml->mr == mr->alias) {
Blue Swirl314e2982011-09-11 20:22:05 +00001994 found = true;
1995 }
1996 }
1997
1998 if (!found) {
1999 ml = g_new(MemoryRegionList, 1);
2000 ml->mr = mr->alias;
Jan Kiszka9479c572011-09-27 15:00:41 +02002001 QTAILQ_INSERT_TAIL(alias_print_queue, ml, queue);
Blue Swirl314e2982011-09-11 20:22:05 +00002002 }
Jan Kiszka4896d742012-02-04 16:25:42 +01002003 mon_printf(f, TARGET_FMT_plx "-" TARGET_FMT_plx
2004 " (prio %d, %c%c): alias %s @%s " TARGET_FMT_plx
2005 "-" TARGET_FMT_plx "\n",
Blue Swirl314e2982011-09-11 20:22:05 +00002006 base + mr->addr,
Avi Kivity08dafab2011-10-16 13:19:17 +02002007 base + mr->addr
Alex Williamsonfd1d9922013-07-19 12:42:12 -06002008 + (int128_nz(mr->size) ?
2009 (hwaddr)int128_get64(int128_sub(mr->size,
2010 int128_one())) : 0),
Jan Kiszka4b474ba2011-09-27 15:00:31 +02002011 mr->priority,
Jan Kiszka5f9a5ea2013-05-07 19:04:25 +02002012 mr->romd_mode ? 'R' : '-',
2013 !mr->readonly && !(mr->rom_device && mr->romd_mode) ? 'W'
2014 : '-',
Peter Crosthwaite3fb18b42014-08-14 23:55:36 -07002015 memory_region_name(mr),
2016 memory_region_name(mr->alias),
Blue Swirl314e2982011-09-11 20:22:05 +00002017 mr->alias_offset,
Avi Kivity08dafab2011-10-16 13:19:17 +02002018 mr->alias_offset
Alexey Kardashevskiya66670c2013-08-30 18:10:38 +10002019 + (int128_nz(mr->size) ?
2020 (hwaddr)int128_get64(int128_sub(mr->size,
2021 int128_one())) : 0));
Blue Swirl314e2982011-09-11 20:22:05 +00002022 } else {
Jan Kiszka4896d742012-02-04 16:25:42 +01002023 mon_printf(f,
2024 TARGET_FMT_plx "-" TARGET_FMT_plx " (prio %d, %c%c): %s\n",
Blue Swirl314e2982011-09-11 20:22:05 +00002025 base + mr->addr,
Avi Kivity08dafab2011-10-16 13:19:17 +02002026 base + mr->addr
Alex Williamsonfd1d9922013-07-19 12:42:12 -06002027 + (int128_nz(mr->size) ?
2028 (hwaddr)int128_get64(int128_sub(mr->size,
2029 int128_one())) : 0),
Jan Kiszka4b474ba2011-09-27 15:00:31 +02002030 mr->priority,
Jan Kiszka5f9a5ea2013-05-07 19:04:25 +02002031 mr->romd_mode ? 'R' : '-',
2032 !mr->readonly && !(mr->rom_device && mr->romd_mode) ? 'W'
2033 : '-',
Peter Crosthwaite3fb18b42014-08-14 23:55:36 -07002034 memory_region_name(mr));
Blue Swirl314e2982011-09-11 20:22:05 +00002035 }
Jan Kiszka9479c572011-09-27 15:00:41 +02002036
2037 QTAILQ_INIT(&submr_print_queue);
2038
Blue Swirl314e2982011-09-11 20:22:05 +00002039 QTAILQ_FOREACH(submr, &mr->subregions, subregions_link) {
Jan Kiszka9479c572011-09-27 15:00:41 +02002040 new_ml = g_new(MemoryRegionList, 1);
2041 new_ml->mr = submr;
2042 QTAILQ_FOREACH(ml, &submr_print_queue, queue) {
2043 if (new_ml->mr->addr < ml->mr->addr ||
2044 (new_ml->mr->addr == ml->mr->addr &&
2045 new_ml->mr->priority > ml->mr->priority)) {
2046 QTAILQ_INSERT_BEFORE(ml, new_ml, queue);
2047 new_ml = NULL;
2048 break;
2049 }
2050 }
2051 if (new_ml) {
2052 QTAILQ_INSERT_TAIL(&submr_print_queue, new_ml, queue);
2053 }
2054 }
2055
2056 QTAILQ_FOREACH(ml, &submr_print_queue, queue) {
2057 mtree_print_mr(mon_printf, f, ml->mr, level + 1, base + mr->addr,
2058 alias_print_queue);
2059 }
2060
Avi Kivity88365e42011-11-13 12:00:55 +02002061 QTAILQ_FOREACH_SAFE(ml, &submr_print_queue, queue, next_ml) {
Jan Kiszka9479c572011-09-27 15:00:41 +02002062 g_free(ml);
Blue Swirl314e2982011-09-11 20:22:05 +00002063 }
2064}
2065
2066void mtree_info(fprintf_function mon_printf, void *f)
2067{
2068 MemoryRegionListHead ml_head;
2069 MemoryRegionList *ml, *ml2;
Avi Kivity0d673e32012-10-02 15:28:50 +02002070 AddressSpace *as;
Blue Swirl314e2982011-09-11 20:22:05 +00002071
2072 QTAILQ_INIT(&ml_head);
2073
Avi Kivity0d673e32012-10-02 15:28:50 +02002074 QTAILQ_FOREACH(as, &address_spaces, address_spaces_link) {
Avi Kivity0d673e32012-10-02 15:28:50 +02002075 mon_printf(f, "%s\n", as->name);
2076 mtree_print_mr(mon_printf, f, as->root, 0, 0, &ml_head);
Blue Swirlb9f9be82012-03-10 16:58:35 +00002077 }
2078
2079 mon_printf(f, "aliases\n");
Blue Swirl314e2982011-09-11 20:22:05 +00002080 /* print aliased regions */
2081 QTAILQ_FOREACH(ml, &ml_head, queue) {
Paolo Bonzinif54bb152013-12-11 12:51:46 +01002082 mon_printf(f, "%s\n", memory_region_name(ml->mr));
2083 mtree_print_mr(mon_printf, f, ml->mr, 0, 0, &ml_head);
Blue Swirl314e2982011-09-11 20:22:05 +00002084 }
2085
2086 QTAILQ_FOREACH_SAFE(ml, &ml_head, queue, ml2) {
Avi Kivity88365e42011-11-13 12:00:55 +02002087 g_free(ml);
Blue Swirl314e2982011-09-11 20:22:05 +00002088 }
Blue Swirl314e2982011-09-11 20:22:05 +00002089}
Peter Crosthwaiteb4fefef2014-06-05 23:15:52 -07002090
2091static const TypeInfo memory_region_info = {
2092 .parent = TYPE_OBJECT,
2093 .name = TYPE_MEMORY_REGION,
2094 .instance_size = sizeof(MemoryRegion),
2095 .instance_init = memory_region_initfn,
2096 .instance_finalize = memory_region_finalize,
2097};
2098
2099static void memory_register_types(void)
2100{
2101 type_register_static(&memory_region_info);
2102}
2103
2104type_init(memory_register_types)