blob: 3f1df238e200308972badb012503ee5ae034387a [file] [log] [blame]
Avi Kivity093bc2c2011-07-26 14:26:01 +03001/*
2 * Physical memory management
3 *
4 * Copyright 2011 Red Hat, Inc. and/or its affiliates
5 *
6 * Authors:
7 * Avi Kivity <avi@redhat.com>
8 *
9 * This work is licensed under the terms of the GNU GPL, version 2. See
10 * the COPYING file in the top-level directory.
11 *
Paolo Bonzini6b620ca2012-01-13 17:44:23 +010012 * Contributions after 2012-01-13 are licensed under the terms of the
13 * GNU GPL, version 2 or (at your option) any later version.
Avi Kivity093bc2c2011-07-26 14:26:01 +030014 */
15
Paolo Bonzini022c62c2012-12-17 18:19:49 +010016#include "exec/memory.h"
17#include "exec/address-spaces.h"
18#include "exec/ioport.h"
Paolo Bonzini1de7afc2012-12-17 18:20:00 +010019#include "qemu/bitops.h"
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -040020#include "qom/object.h"
Paolo Bonzini55d5d042013-07-28 14:57:22 +020021#include "trace.h"
Avi Kivity093bc2c2011-07-26 14:26:01 +030022#include <assert.h>
23
Paolo Bonzini022c62c2012-12-17 18:19:49 +010024#include "exec/memory-internal.h"
Juan Quintela220c3eb2013-10-14 17:13:59 +020025#include "exec/ram_addr.h"
Avi Kivity67d95c12011-12-15 15:25:22 +020026
Paolo Bonzinid1970632013-05-24 13:23:38 +020027//#define DEBUG_UNASSIGNED
28
Jan Kiszka22bde712012-11-05 16:45:56 +010029static unsigned memory_region_transaction_depth;
30static bool memory_region_update_pending;
Avi Kivity7664e802011-12-11 14:47:25 +020031static bool global_dirty_log = false;
32
Paolo Bonzini856d7242013-05-06 11:57:21 +020033/* flat_view_mutex is taken around reading as->current_map; the critical
34 * section is extremely short, so I'm using a single mutex for every AS.
35 * We could also RCU for the read-side.
36 *
37 * The BQL is taken around transaction commits, hence both locks are taken
38 * while writing to as->current_map (with the BQL taken outside).
39 */
40static QemuMutex flat_view_mutex;
41
Avi Kivity72e22d22012-02-08 15:05:50 +020042static QTAILQ_HEAD(memory_listeners, MemoryListener) memory_listeners
43 = QTAILQ_HEAD_INITIALIZER(memory_listeners);
Avi Kivity4ef4db82011-07-26 14:26:13 +030044
Avi Kivity0d673e32012-10-02 15:28:50 +020045static QTAILQ_HEAD(, AddressSpace) address_spaces
46 = QTAILQ_HEAD_INITIALIZER(address_spaces);
47
Paolo Bonzini856d7242013-05-06 11:57:21 +020048static void memory_init(void)
49{
50 qemu_mutex_init(&flat_view_mutex);
51}
52
Avi Kivity093bc2c2011-07-26 14:26:01 +030053typedef struct AddrRange AddrRange;
54
Avi Kivity8417ceb2011-08-03 11:56:14 +030055/*
56 * Note using signed integers limits us to physical addresses at most
57 * 63 bits wide. They are needed for negative offsetting in aliases
58 * (large MemoryRegion::alias_offset).
59 */
Avi Kivity093bc2c2011-07-26 14:26:01 +030060struct AddrRange {
Avi Kivity08dafab2011-10-16 13:19:17 +020061 Int128 start;
62 Int128 size;
Avi Kivity093bc2c2011-07-26 14:26:01 +030063};
64
Avi Kivity08dafab2011-10-16 13:19:17 +020065static AddrRange addrrange_make(Int128 start, Int128 size)
Avi Kivity093bc2c2011-07-26 14:26:01 +030066{
67 return (AddrRange) { start, size };
68}
69
70static bool addrrange_equal(AddrRange r1, AddrRange r2)
71{
Avi Kivity08dafab2011-10-16 13:19:17 +020072 return int128_eq(r1.start, r2.start) && int128_eq(r1.size, r2.size);
Avi Kivity093bc2c2011-07-26 14:26:01 +030073}
74
Avi Kivity08dafab2011-10-16 13:19:17 +020075static Int128 addrrange_end(AddrRange r)
Avi Kivity093bc2c2011-07-26 14:26:01 +030076{
Avi Kivity08dafab2011-10-16 13:19:17 +020077 return int128_add(r.start, r.size);
Avi Kivity093bc2c2011-07-26 14:26:01 +030078}
79
Avi Kivity08dafab2011-10-16 13:19:17 +020080static AddrRange addrrange_shift(AddrRange range, Int128 delta)
Avi Kivity093bc2c2011-07-26 14:26:01 +030081{
Avi Kivity08dafab2011-10-16 13:19:17 +020082 int128_addto(&range.start, delta);
Avi Kivity093bc2c2011-07-26 14:26:01 +030083 return range;
84}
85
Avi Kivity08dafab2011-10-16 13:19:17 +020086static bool addrrange_contains(AddrRange range, Int128 addr)
87{
88 return int128_ge(addr, range.start)
89 && int128_lt(addr, addrrange_end(range));
90}
91
Avi Kivity093bc2c2011-07-26 14:26:01 +030092static bool addrrange_intersects(AddrRange r1, AddrRange r2)
93{
Avi Kivity08dafab2011-10-16 13:19:17 +020094 return addrrange_contains(r1, r2.start)
95 || addrrange_contains(r2, r1.start);
Avi Kivity093bc2c2011-07-26 14:26:01 +030096}
97
98static AddrRange addrrange_intersection(AddrRange r1, AddrRange r2)
99{
Avi Kivity08dafab2011-10-16 13:19:17 +0200100 Int128 start = int128_max(r1.start, r2.start);
101 Int128 end = int128_min(addrrange_end(r1), addrrange_end(r2));
102 return addrrange_make(start, int128_sub(end, start));
Avi Kivity093bc2c2011-07-26 14:26:01 +0300103}
104
Avi Kivity0e0d36b2012-02-08 16:39:45 +0200105enum ListenerDirection { Forward, Reverse };
106
Avi Kivity7376e582012-02-08 21:05:17 +0200107static bool memory_listener_match(MemoryListener *listener,
108 MemoryRegionSection *section)
109{
110 return !listener->address_space_filter
111 || listener->address_space_filter == section->address_space;
112}
113
114#define MEMORY_LISTENER_CALL_GLOBAL(_callback, _direction, _args...) \
Avi Kivity0e0d36b2012-02-08 16:39:45 +0200115 do { \
116 MemoryListener *_listener; \
117 \
118 switch (_direction) { \
119 case Forward: \
120 QTAILQ_FOREACH(_listener, &memory_listeners, link) { \
Avi Kivity975aefe2012-10-02 16:39:57 +0200121 if (_listener->_callback) { \
122 _listener->_callback(_listener, ##_args); \
123 } \
Avi Kivity0e0d36b2012-02-08 16:39:45 +0200124 } \
125 break; \
126 case Reverse: \
127 QTAILQ_FOREACH_REVERSE(_listener, &memory_listeners, \
128 memory_listeners, link) { \
Avi Kivity975aefe2012-10-02 16:39:57 +0200129 if (_listener->_callback) { \
130 _listener->_callback(_listener, ##_args); \
131 } \
Avi Kivity0e0d36b2012-02-08 16:39:45 +0200132 } \
133 break; \
134 default: \
135 abort(); \
136 } \
137 } while (0)
138
Avi Kivity7376e582012-02-08 21:05:17 +0200139#define MEMORY_LISTENER_CALL(_callback, _direction, _section, _args...) \
140 do { \
141 MemoryListener *_listener; \
142 \
143 switch (_direction) { \
144 case Forward: \
145 QTAILQ_FOREACH(_listener, &memory_listeners, link) { \
Avi Kivity975aefe2012-10-02 16:39:57 +0200146 if (_listener->_callback \
147 && memory_listener_match(_listener, _section)) { \
Avi Kivity7376e582012-02-08 21:05:17 +0200148 _listener->_callback(_listener, _section, ##_args); \
149 } \
150 } \
151 break; \
152 case Reverse: \
153 QTAILQ_FOREACH_REVERSE(_listener, &memory_listeners, \
154 memory_listeners, link) { \
Avi Kivity975aefe2012-10-02 16:39:57 +0200155 if (_listener->_callback \
156 && memory_listener_match(_listener, _section)) { \
Avi Kivity7376e582012-02-08 21:05:17 +0200157 _listener->_callback(_listener, _section, ##_args); \
158 } \
159 } \
160 break; \
161 default: \
162 abort(); \
163 } \
164 } while (0)
165
Paolo Bonzinidfde4e62013-05-06 10:46:11 +0200166/* No need to ref/unref .mr, the FlatRange keeps it alive. */
Avi Kivity0e0d36b2012-02-08 16:39:45 +0200167#define MEMORY_LISTENER_UPDATE_REGION(fr, as, dir, callback) \
Avi Kivity7376e582012-02-08 21:05:17 +0200168 MEMORY_LISTENER_CALL(callback, dir, (&(MemoryRegionSection) { \
Avi Kivity0e0d36b2012-02-08 16:39:45 +0200169 .mr = (fr)->mr, \
Avi Kivityf6790af2012-10-02 20:13:51 +0200170 .address_space = (as), \
Avi Kivity0e0d36b2012-02-08 16:39:45 +0200171 .offset_within_region = (fr)->offset_in_region, \
Paolo Bonzini052e87b2013-05-27 10:08:27 +0200172 .size = (fr)->addr.size, \
Avi Kivity0e0d36b2012-02-08 16:39:45 +0200173 .offset_within_address_space = int128_get64((fr)->addr.start), \
Avi Kivity7a8499e2012-02-08 17:01:23 +0200174 .readonly = (fr)->readonly, \
Avi Kivity7376e582012-02-08 21:05:17 +0200175 }))
Avi Kivity0e0d36b2012-02-08 16:39:45 +0200176
Avi Kivity093bc2c2011-07-26 14:26:01 +0300177struct CoalescedMemoryRange {
178 AddrRange addr;
179 QTAILQ_ENTRY(CoalescedMemoryRange) link;
180};
181
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300182struct MemoryRegionIoeventfd {
183 AddrRange addr;
184 bool match_data;
185 uint64_t data;
Paolo Bonzini753d5e12012-07-05 17:16:27 +0200186 EventNotifier *e;
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300187};
188
189static bool memory_region_ioeventfd_before(MemoryRegionIoeventfd a,
190 MemoryRegionIoeventfd b)
191{
Avi Kivity08dafab2011-10-16 13:19:17 +0200192 if (int128_lt(a.addr.start, b.addr.start)) {
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300193 return true;
Avi Kivity08dafab2011-10-16 13:19:17 +0200194 } else if (int128_gt(a.addr.start, b.addr.start)) {
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300195 return false;
Avi Kivity08dafab2011-10-16 13:19:17 +0200196 } else if (int128_lt(a.addr.size, b.addr.size)) {
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300197 return true;
Avi Kivity08dafab2011-10-16 13:19:17 +0200198 } else if (int128_gt(a.addr.size, b.addr.size)) {
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300199 return false;
200 } else if (a.match_data < b.match_data) {
201 return true;
202 } else if (a.match_data > b.match_data) {
203 return false;
204 } else if (a.match_data) {
205 if (a.data < b.data) {
206 return true;
207 } else if (a.data > b.data) {
208 return false;
209 }
210 }
Paolo Bonzini753d5e12012-07-05 17:16:27 +0200211 if (a.e < b.e) {
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300212 return true;
Paolo Bonzini753d5e12012-07-05 17:16:27 +0200213 } else if (a.e > b.e) {
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300214 return false;
215 }
216 return false;
217}
218
219static bool memory_region_ioeventfd_equal(MemoryRegionIoeventfd a,
220 MemoryRegionIoeventfd b)
221{
222 return !memory_region_ioeventfd_before(a, b)
223 && !memory_region_ioeventfd_before(b, a);
224}
225
Avi Kivity093bc2c2011-07-26 14:26:01 +0300226typedef struct FlatRange FlatRange;
227typedef struct FlatView FlatView;
228
229/* Range of memory in the global map. Addresses are absolute. */
230struct FlatRange {
231 MemoryRegion *mr;
Avi Kivitya8170e52012-10-23 12:30:10 +0200232 hwaddr offset_in_region;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300233 AddrRange addr;
Avi Kivity5a583342011-07-26 14:26:02 +0300234 uint8_t dirty_log_mask;
Jan Kiszka5f9a5ea2013-05-07 19:04:25 +0200235 bool romd_mode;
Avi Kivityfb1cd6f2011-09-25 14:48:47 +0300236 bool readonly;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300237};
238
239/* Flattened global view of current active memory hierarchy. Kept in sorted
240 * order.
241 */
242struct FlatView {
Paolo Bonzini856d7242013-05-06 11:57:21 +0200243 unsigned ref;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300244 FlatRange *ranges;
245 unsigned nr;
246 unsigned nr_allocated;
247};
248
Avi Kivitycc31e6e2011-07-26 14:26:05 +0300249typedef struct AddressSpaceOps AddressSpaceOps;
250
Avi Kivity093bc2c2011-07-26 14:26:01 +0300251#define FOR_EACH_FLAT_RANGE(var, view) \
252 for (var = (view)->ranges; var < (view)->ranges + (view)->nr; ++var)
253
Avi Kivity093bc2c2011-07-26 14:26:01 +0300254static bool flatrange_equal(FlatRange *a, FlatRange *b)
255{
256 return a->mr == b->mr
257 && addrrange_equal(a->addr, b->addr)
Avi Kivityd0a9b5b2011-08-08 19:58:49 +0300258 && a->offset_in_region == b->offset_in_region
Jan Kiszka5f9a5ea2013-05-07 19:04:25 +0200259 && a->romd_mode == b->romd_mode
Avi Kivityfb1cd6f2011-09-25 14:48:47 +0300260 && a->readonly == b->readonly;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300261}
262
263static void flatview_init(FlatView *view)
264{
Paolo Bonzini856d7242013-05-06 11:57:21 +0200265 view->ref = 1;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300266 view->ranges = NULL;
267 view->nr = 0;
268 view->nr_allocated = 0;
269}
270
271/* Insert a range into a given position. Caller is responsible for maintaining
272 * sorting order.
273 */
274static void flatview_insert(FlatView *view, unsigned pos, FlatRange *range)
275{
276 if (view->nr == view->nr_allocated) {
277 view->nr_allocated = MAX(2 * view->nr, 10);
Anthony Liguori7267c092011-08-20 22:09:37 -0500278 view->ranges = g_realloc(view->ranges,
Avi Kivity093bc2c2011-07-26 14:26:01 +0300279 view->nr_allocated * sizeof(*view->ranges));
280 }
281 memmove(view->ranges + pos + 1, view->ranges + pos,
282 (view->nr - pos) * sizeof(FlatRange));
283 view->ranges[pos] = *range;
Paolo Bonzinidfde4e62013-05-06 10:46:11 +0200284 memory_region_ref(range->mr);
Avi Kivity093bc2c2011-07-26 14:26:01 +0300285 ++view->nr;
286}
287
288static void flatview_destroy(FlatView *view)
289{
Paolo Bonzinidfde4e62013-05-06 10:46:11 +0200290 int i;
291
292 for (i = 0; i < view->nr; i++) {
293 memory_region_unref(view->ranges[i].mr);
294 }
Anthony Liguori7267c092011-08-20 22:09:37 -0500295 g_free(view->ranges);
Paolo Bonzinia9a0c062013-05-06 10:29:07 +0200296 g_free(view);
Avi Kivity093bc2c2011-07-26 14:26:01 +0300297}
298
Paolo Bonzini856d7242013-05-06 11:57:21 +0200299static void flatview_ref(FlatView *view)
300{
301 atomic_inc(&view->ref);
302}
303
304static void flatview_unref(FlatView *view)
305{
306 if (atomic_fetch_dec(&view->ref) == 1) {
307 flatview_destroy(view);
308 }
309}
310
Avi Kivity3d8e6bf2011-07-26 14:26:03 +0300311static bool can_merge(FlatRange *r1, FlatRange *r2)
312{
Avi Kivity08dafab2011-10-16 13:19:17 +0200313 return int128_eq(addrrange_end(r1->addr), r2->addr.start)
Avi Kivity3d8e6bf2011-07-26 14:26:03 +0300314 && r1->mr == r2->mr
Avi Kivity08dafab2011-10-16 13:19:17 +0200315 && int128_eq(int128_add(int128_make64(r1->offset_in_region),
316 r1->addr.size),
317 int128_make64(r2->offset_in_region))
Avi Kivityd0a9b5b2011-08-08 19:58:49 +0300318 && r1->dirty_log_mask == r2->dirty_log_mask
Jan Kiszka5f9a5ea2013-05-07 19:04:25 +0200319 && r1->romd_mode == r2->romd_mode
Avi Kivityfb1cd6f2011-09-25 14:48:47 +0300320 && r1->readonly == r2->readonly;
Avi Kivity3d8e6bf2011-07-26 14:26:03 +0300321}
322
Peter Crosthwaite8508e022013-06-03 15:31:56 +1000323/* Attempt to simplify a view by merging adjacent ranges */
Avi Kivity3d8e6bf2011-07-26 14:26:03 +0300324static void flatview_simplify(FlatView *view)
325{
326 unsigned i, j;
327
328 i = 0;
329 while (i < view->nr) {
330 j = i + 1;
331 while (j < view->nr
332 && can_merge(&view->ranges[j-1], &view->ranges[j])) {
Avi Kivity08dafab2011-10-16 13:19:17 +0200333 int128_addto(&view->ranges[i].addr.size, view->ranges[j].addr.size);
Avi Kivity3d8e6bf2011-07-26 14:26:03 +0300334 ++j;
335 }
336 ++i;
337 memmove(&view->ranges[i], &view->ranges[j],
338 (view->nr - j) * sizeof(view->ranges[j]));
339 view->nr -= j - i;
340 }
341}
342
Paolo Bonzinie7342aa2013-07-22 15:54:37 +0200343static bool memory_region_big_endian(MemoryRegion *mr)
344{
345#ifdef TARGET_WORDS_BIGENDIAN
346 return mr->ops->endianness != DEVICE_LITTLE_ENDIAN;
347#else
348 return mr->ops->endianness == DEVICE_BIG_ENDIAN;
349#endif
350}
351
Paolo Bonzinie11ef3d2013-07-22 15:54:35 +0200352static bool memory_region_wrong_endianness(MemoryRegion *mr)
353{
354#ifdef TARGET_WORDS_BIGENDIAN
355 return mr->ops->endianness == DEVICE_LITTLE_ENDIAN;
356#else
357 return mr->ops->endianness == DEVICE_BIG_ENDIAN;
358#endif
359}
360
361static void adjust_endianness(MemoryRegion *mr, uint64_t *data, unsigned size)
362{
363 if (memory_region_wrong_endianness(mr)) {
364 switch (size) {
365 case 1:
366 break;
367 case 2:
368 *data = bswap16(*data);
369 break;
370 case 4:
371 *data = bswap32(*data);
372 break;
373 case 8:
374 *data = bswap64(*data);
375 break;
376 default:
377 abort();
378 }
379 }
380}
381
Paolo Bonzini547e9202013-07-22 15:54:36 +0200382static void memory_region_oldmmio_read_accessor(MemoryRegion *mr,
Paolo Bonzinice5d2f32013-05-24 17:45:48 +0200383 hwaddr addr,
384 uint64_t *value,
385 unsigned size,
386 unsigned shift,
387 uint64_t mask)
388{
Paolo Bonzinice5d2f32013-05-24 17:45:48 +0200389 uint64_t tmp;
390
391 tmp = mr->ops->old_mmio.read[ctz32(size)](mr->opaque, addr);
Paolo Bonzini55d5d042013-07-28 14:57:22 +0200392 trace_memory_region_ops_read(mr, addr, tmp, size);
Paolo Bonzinice5d2f32013-05-24 17:45:48 +0200393 *value |= (tmp & mask) << shift;
394}
395
Paolo Bonzini547e9202013-07-22 15:54:36 +0200396static void memory_region_read_accessor(MemoryRegion *mr,
Avi Kivitya8170e52012-10-23 12:30:10 +0200397 hwaddr addr,
Avi Kivity164a4dc2011-08-11 10:40:25 +0300398 uint64_t *value,
399 unsigned size,
400 unsigned shift,
401 uint64_t mask)
402{
Avi Kivity164a4dc2011-08-11 10:40:25 +0300403 uint64_t tmp;
404
Jan Kiszkad4105152012-08-23 13:02:29 +0200405 if (mr->flush_coalesced_mmio) {
406 qemu_flush_coalesced_mmio_buffer();
407 }
Avi Kivity164a4dc2011-08-11 10:40:25 +0300408 tmp = mr->ops->read(mr->opaque, addr, size);
Paolo Bonzini55d5d042013-07-28 14:57:22 +0200409 trace_memory_region_ops_read(mr, addr, tmp, size);
Avi Kivity164a4dc2011-08-11 10:40:25 +0300410 *value |= (tmp & mask) << shift;
411}
412
Paolo Bonzini547e9202013-07-22 15:54:36 +0200413static void memory_region_oldmmio_write_accessor(MemoryRegion *mr,
Paolo Bonzinice5d2f32013-05-24 17:45:48 +0200414 hwaddr addr,
415 uint64_t *value,
416 unsigned size,
417 unsigned shift,
418 uint64_t mask)
419{
Paolo Bonzinice5d2f32013-05-24 17:45:48 +0200420 uint64_t tmp;
421
422 tmp = (*value >> shift) & mask;
Paolo Bonzini55d5d042013-07-28 14:57:22 +0200423 trace_memory_region_ops_write(mr, addr, tmp, size);
Paolo Bonzinice5d2f32013-05-24 17:45:48 +0200424 mr->ops->old_mmio.write[ctz32(size)](mr->opaque, addr, tmp);
425}
426
Paolo Bonzini547e9202013-07-22 15:54:36 +0200427static void memory_region_write_accessor(MemoryRegion *mr,
Avi Kivitya8170e52012-10-23 12:30:10 +0200428 hwaddr addr,
Avi Kivity164a4dc2011-08-11 10:40:25 +0300429 uint64_t *value,
430 unsigned size,
431 unsigned shift,
432 uint64_t mask)
433{
Avi Kivity164a4dc2011-08-11 10:40:25 +0300434 uint64_t tmp;
435
Jan Kiszkad4105152012-08-23 13:02:29 +0200436 if (mr->flush_coalesced_mmio) {
437 qemu_flush_coalesced_mmio_buffer();
438 }
Avi Kivity164a4dc2011-08-11 10:40:25 +0300439 tmp = (*value >> shift) & mask;
Paolo Bonzini55d5d042013-07-28 14:57:22 +0200440 trace_memory_region_ops_write(mr, addr, tmp, size);
Avi Kivity164a4dc2011-08-11 10:40:25 +0300441 mr->ops->write(mr->opaque, addr, tmp, size);
442}
443
Avi Kivitya8170e52012-10-23 12:30:10 +0200444static void access_with_adjusted_size(hwaddr addr,
Avi Kivity164a4dc2011-08-11 10:40:25 +0300445 uint64_t *value,
446 unsigned size,
447 unsigned access_size_min,
448 unsigned access_size_max,
Paolo Bonzini547e9202013-07-22 15:54:36 +0200449 void (*access)(MemoryRegion *mr,
Avi Kivitya8170e52012-10-23 12:30:10 +0200450 hwaddr addr,
Avi Kivity164a4dc2011-08-11 10:40:25 +0300451 uint64_t *value,
452 unsigned size,
453 unsigned shift,
454 uint64_t mask),
Paolo Bonzini547e9202013-07-22 15:54:36 +0200455 MemoryRegion *mr)
Avi Kivity164a4dc2011-08-11 10:40:25 +0300456{
457 uint64_t access_mask;
458 unsigned access_size;
459 unsigned i;
460
461 if (!access_size_min) {
462 access_size_min = 1;
463 }
464 if (!access_size_max) {
465 access_size_max = 4;
466 }
Paolo Bonzinice5d2f32013-05-24 17:45:48 +0200467
468 /* FIXME: support unaligned access? */
Avi Kivity164a4dc2011-08-11 10:40:25 +0300469 access_size = MAX(MIN(size, access_size_max), access_size_min);
470 access_mask = -1ULL >> (64 - access_size * 8);
Paolo Bonzinie7342aa2013-07-22 15:54:37 +0200471 if (memory_region_big_endian(mr)) {
472 for (i = 0; i < size; i += access_size) {
473 access(mr, addr + i, value, access_size,
474 (size - access_size - i) * 8, access_mask);
475 }
476 } else {
477 for (i = 0; i < size; i += access_size) {
478 access(mr, addr + i, value, access_size, i * 8, access_mask);
479 }
Avi Kivity164a4dc2011-08-11 10:40:25 +0300480 }
481}
482
Avi Kivitye2177952011-12-08 15:00:18 +0200483static AddressSpace *memory_region_to_address_space(MemoryRegion *mr)
484{
Avi Kivity0d673e32012-10-02 15:28:50 +0200485 AddressSpace *as;
486
Avi Kivitye2177952011-12-08 15:00:18 +0200487 while (mr->parent) {
488 mr = mr->parent;
489 }
Avi Kivity0d673e32012-10-02 15:28:50 +0200490 QTAILQ_FOREACH(as, &address_spaces, address_spaces_link) {
491 if (mr == as->root) {
492 return as;
493 }
Avi Kivitye2177952011-12-08 15:00:18 +0200494 }
495 abort();
496}
497
Avi Kivity093bc2c2011-07-26 14:26:01 +0300498/* Render a memory region into the global view. Ranges in @view obscure
499 * ranges in @mr.
500 */
501static void render_memory_region(FlatView *view,
502 MemoryRegion *mr,
Avi Kivity08dafab2011-10-16 13:19:17 +0200503 Int128 base,
Avi Kivityfb1cd6f2011-09-25 14:48:47 +0300504 AddrRange clip,
505 bool readonly)
Avi Kivity093bc2c2011-07-26 14:26:01 +0300506{
507 MemoryRegion *subregion;
508 unsigned i;
Avi Kivitya8170e52012-10-23 12:30:10 +0200509 hwaddr offset_in_region;
Avi Kivity08dafab2011-10-16 13:19:17 +0200510 Int128 remain;
511 Int128 now;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300512 FlatRange fr;
513 AddrRange tmp;
514
Avi Kivity6bba19b2011-09-14 11:54:58 +0300515 if (!mr->enabled) {
516 return;
517 }
518
Avi Kivity08dafab2011-10-16 13:19:17 +0200519 int128_addto(&base, int128_make64(mr->addr));
Avi Kivityfb1cd6f2011-09-25 14:48:47 +0300520 readonly |= mr->readonly;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300521
522 tmp = addrrange_make(base, mr->size);
523
524 if (!addrrange_intersects(tmp, clip)) {
525 return;
526 }
527
528 clip = addrrange_intersection(tmp, clip);
529
530 if (mr->alias) {
Avi Kivity08dafab2011-10-16 13:19:17 +0200531 int128_subfrom(&base, int128_make64(mr->alias->addr));
532 int128_subfrom(&base, int128_make64(mr->alias_offset));
Avi Kivityfb1cd6f2011-09-25 14:48:47 +0300533 render_memory_region(view, mr->alias, base, clip, readonly);
Avi Kivity093bc2c2011-07-26 14:26:01 +0300534 return;
535 }
536
537 /* Render subregions in priority order. */
538 QTAILQ_FOREACH(subregion, &mr->subregions, subregions_link) {
Avi Kivityfb1cd6f2011-09-25 14:48:47 +0300539 render_memory_region(view, subregion, base, clip, readonly);
Avi Kivity093bc2c2011-07-26 14:26:01 +0300540 }
541
Avi Kivity14a3c102011-07-26 14:26:06 +0300542 if (!mr->terminates) {
Avi Kivity093bc2c2011-07-26 14:26:01 +0300543 return;
544 }
545
Avi Kivity08dafab2011-10-16 13:19:17 +0200546 offset_in_region = int128_get64(int128_sub(clip.start, base));
Avi Kivity093bc2c2011-07-26 14:26:01 +0300547 base = clip.start;
548 remain = clip.size;
549
Peter Crosthwaite2eb74e12013-06-03 15:33:29 +1000550 fr.mr = mr;
551 fr.dirty_log_mask = mr->dirty_log_mask;
552 fr.romd_mode = mr->romd_mode;
553 fr.readonly = readonly;
554
Avi Kivity093bc2c2011-07-26 14:26:01 +0300555 /* Render the region itself into any gaps left by the current view. */
Avi Kivity08dafab2011-10-16 13:19:17 +0200556 for (i = 0; i < view->nr && int128_nz(remain); ++i) {
557 if (int128_ge(base, addrrange_end(view->ranges[i].addr))) {
Avi Kivity093bc2c2011-07-26 14:26:01 +0300558 continue;
559 }
Avi Kivity08dafab2011-10-16 13:19:17 +0200560 if (int128_lt(base, view->ranges[i].addr.start)) {
561 now = int128_min(remain,
562 int128_sub(view->ranges[i].addr.start, base));
Avi Kivity093bc2c2011-07-26 14:26:01 +0300563 fr.offset_in_region = offset_in_region;
564 fr.addr = addrrange_make(base, now);
565 flatview_insert(view, i, &fr);
566 ++i;
Avi Kivity08dafab2011-10-16 13:19:17 +0200567 int128_addto(&base, now);
568 offset_in_region += int128_get64(now);
569 int128_subfrom(&remain, now);
Avi Kivity093bc2c2011-07-26 14:26:01 +0300570 }
Avi Kivityd26a8ca2012-10-29 18:22:36 +0200571 now = int128_sub(int128_min(int128_add(base, remain),
572 addrrange_end(view->ranges[i].addr)),
573 base);
574 int128_addto(&base, now);
575 offset_in_region += int128_get64(now);
576 int128_subfrom(&remain, now);
Avi Kivity093bc2c2011-07-26 14:26:01 +0300577 }
Avi Kivity08dafab2011-10-16 13:19:17 +0200578 if (int128_nz(remain)) {
Avi Kivity093bc2c2011-07-26 14:26:01 +0300579 fr.offset_in_region = offset_in_region;
580 fr.addr = addrrange_make(base, remain);
581 flatview_insert(view, i, &fr);
582 }
583}
584
585/* Render a memory topology into a list of disjoint absolute ranges. */
Paolo Bonzinia9a0c062013-05-06 10:29:07 +0200586static FlatView *generate_memory_topology(MemoryRegion *mr)
Avi Kivity093bc2c2011-07-26 14:26:01 +0300587{
Paolo Bonzinia9a0c062013-05-06 10:29:07 +0200588 FlatView *view;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300589
Paolo Bonzinia9a0c062013-05-06 10:29:07 +0200590 view = g_new(FlatView, 1);
591 flatview_init(view);
Avi Kivity093bc2c2011-07-26 14:26:01 +0300592
Avi Kivity83f3c252012-10-07 12:59:55 +0200593 if (mr) {
Paolo Bonzinia9a0c062013-05-06 10:29:07 +0200594 render_memory_region(view, mr, int128_zero(),
Avi Kivity83f3c252012-10-07 12:59:55 +0200595 addrrange_make(int128_zero(), int128_2_64()), false);
596 }
Paolo Bonzinia9a0c062013-05-06 10:29:07 +0200597 flatview_simplify(view);
Avi Kivity093bc2c2011-07-26 14:26:01 +0300598
599 return view;
600}
601
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300602static void address_space_add_del_ioeventfds(AddressSpace *as,
603 MemoryRegionIoeventfd *fds_new,
604 unsigned fds_new_nb,
605 MemoryRegionIoeventfd *fds_old,
606 unsigned fds_old_nb)
607{
608 unsigned iold, inew;
Avi Kivity80a1ea32012-02-08 16:39:06 +0200609 MemoryRegionIoeventfd *fd;
610 MemoryRegionSection section;
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300611
612 /* Generate a symmetric difference of the old and new fd sets, adding
613 * and deleting as necessary.
614 */
615
616 iold = inew = 0;
617 while (iold < fds_old_nb || inew < fds_new_nb) {
618 if (iold < fds_old_nb
619 && (inew == fds_new_nb
620 || memory_region_ioeventfd_before(fds_old[iold],
621 fds_new[inew]))) {
Avi Kivity80a1ea32012-02-08 16:39:06 +0200622 fd = &fds_old[iold];
623 section = (MemoryRegionSection) {
Avi Kivityf6790af2012-10-02 20:13:51 +0200624 .address_space = as,
Avi Kivity80a1ea32012-02-08 16:39:06 +0200625 .offset_within_address_space = int128_get64(fd->addr.start),
Paolo Bonzini052e87b2013-05-27 10:08:27 +0200626 .size = fd->addr.size,
Avi Kivity80a1ea32012-02-08 16:39:06 +0200627 };
628 MEMORY_LISTENER_CALL(eventfd_del, Forward, &section,
Paolo Bonzini753d5e12012-07-05 17:16:27 +0200629 fd->match_data, fd->data, fd->e);
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300630 ++iold;
631 } else if (inew < fds_new_nb
632 && (iold == fds_old_nb
633 || memory_region_ioeventfd_before(fds_new[inew],
634 fds_old[iold]))) {
Avi Kivity80a1ea32012-02-08 16:39:06 +0200635 fd = &fds_new[inew];
636 section = (MemoryRegionSection) {
Avi Kivityf6790af2012-10-02 20:13:51 +0200637 .address_space = as,
Avi Kivity80a1ea32012-02-08 16:39:06 +0200638 .offset_within_address_space = int128_get64(fd->addr.start),
Paolo Bonzini052e87b2013-05-27 10:08:27 +0200639 .size = fd->addr.size,
Avi Kivity80a1ea32012-02-08 16:39:06 +0200640 };
641 MEMORY_LISTENER_CALL(eventfd_add, Reverse, &section,
Paolo Bonzini753d5e12012-07-05 17:16:27 +0200642 fd->match_data, fd->data, fd->e);
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300643 ++inew;
644 } else {
645 ++iold;
646 ++inew;
647 }
648 }
649}
650
Paolo Bonzini856d7242013-05-06 11:57:21 +0200651static FlatView *address_space_get_flatview(AddressSpace *as)
652{
653 FlatView *view;
654
655 qemu_mutex_lock(&flat_view_mutex);
656 view = as->current_map;
657 flatview_ref(view);
658 qemu_mutex_unlock(&flat_view_mutex);
659 return view;
660}
661
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300662static void address_space_update_ioeventfds(AddressSpace *as)
663{
Paolo Bonzini99e86342013-05-06 10:26:13 +0200664 FlatView *view;
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300665 FlatRange *fr;
666 unsigned ioeventfd_nb = 0;
667 MemoryRegionIoeventfd *ioeventfds = NULL;
668 AddrRange tmp;
669 unsigned i;
670
Paolo Bonzini856d7242013-05-06 11:57:21 +0200671 view = address_space_get_flatview(as);
Paolo Bonzini99e86342013-05-06 10:26:13 +0200672 FOR_EACH_FLAT_RANGE(fr, view) {
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300673 for (i = 0; i < fr->mr->ioeventfd_nb; ++i) {
674 tmp = addrrange_shift(fr->mr->ioeventfds[i].addr,
Avi Kivity08dafab2011-10-16 13:19:17 +0200675 int128_sub(fr->addr.start,
676 int128_make64(fr->offset_in_region)));
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300677 if (addrrange_intersects(fr->addr, tmp)) {
678 ++ioeventfd_nb;
Anthony Liguori7267c092011-08-20 22:09:37 -0500679 ioeventfds = g_realloc(ioeventfds,
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300680 ioeventfd_nb * sizeof(*ioeventfds));
681 ioeventfds[ioeventfd_nb-1] = fr->mr->ioeventfds[i];
682 ioeventfds[ioeventfd_nb-1].addr = tmp;
683 }
684 }
685 }
686
687 address_space_add_del_ioeventfds(as, ioeventfds, ioeventfd_nb,
688 as->ioeventfds, as->ioeventfd_nb);
689
Anthony Liguori7267c092011-08-20 22:09:37 -0500690 g_free(as->ioeventfds);
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300691 as->ioeventfds = ioeventfds;
692 as->ioeventfd_nb = ioeventfd_nb;
Paolo Bonzini856d7242013-05-06 11:57:21 +0200693 flatview_unref(view);
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300694}
695
Avi Kivityb8af1af2011-07-26 14:26:12 +0300696static void address_space_update_topology_pass(AddressSpace *as,
Paolo Bonzinia9a0c062013-05-06 10:29:07 +0200697 const FlatView *old_view,
698 const FlatView *new_view,
Avi Kivityb8af1af2011-07-26 14:26:12 +0300699 bool adding)
Avi Kivity093bc2c2011-07-26 14:26:01 +0300700{
Avi Kivity093bc2c2011-07-26 14:26:01 +0300701 unsigned iold, inew;
702 FlatRange *frold, *frnew;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300703
704 /* Generate a symmetric difference of the old and new memory maps.
705 * Kill ranges in the old map, and instantiate ranges in the new map.
706 */
707 iold = inew = 0;
Paolo Bonzinia9a0c062013-05-06 10:29:07 +0200708 while (iold < old_view->nr || inew < new_view->nr) {
709 if (iold < old_view->nr) {
710 frold = &old_view->ranges[iold];
Avi Kivity093bc2c2011-07-26 14:26:01 +0300711 } else {
712 frold = NULL;
713 }
Paolo Bonzinia9a0c062013-05-06 10:29:07 +0200714 if (inew < new_view->nr) {
715 frnew = &new_view->ranges[inew];
Avi Kivity093bc2c2011-07-26 14:26:01 +0300716 } else {
717 frnew = NULL;
718 }
719
720 if (frold
721 && (!frnew
Avi Kivity08dafab2011-10-16 13:19:17 +0200722 || int128_lt(frold->addr.start, frnew->addr.start)
723 || (int128_eq(frold->addr.start, frnew->addr.start)
Avi Kivity093bc2c2011-07-26 14:26:01 +0300724 && !flatrange_equal(frold, frnew)))) {
Peter Crosthwaite41a6e472013-06-03 15:32:42 +1000725 /* In old but not in new, or in both but attributes changed. */
Avi Kivity093bc2c2011-07-26 14:26:01 +0300726
Avi Kivityb8af1af2011-07-26 14:26:12 +0300727 if (!adding) {
Avi Kivity72e22d22012-02-08 15:05:50 +0200728 MEMORY_LISTENER_UPDATE_REGION(frold, as, Reverse, region_del);
Avi Kivityb8af1af2011-07-26 14:26:12 +0300729 }
730
Avi Kivity093bc2c2011-07-26 14:26:01 +0300731 ++iold;
732 } else if (frold && frnew && flatrange_equal(frold, frnew)) {
Peter Crosthwaite41a6e472013-06-03 15:32:42 +1000733 /* In both and unchanged (except logging may have changed) */
Avi Kivity093bc2c2011-07-26 14:26:01 +0300734
Avi Kivityb8af1af2011-07-26 14:26:12 +0300735 if (adding) {
Avi Kivity50c1e142012-02-08 21:36:02 +0200736 MEMORY_LISTENER_UPDATE_REGION(frnew, as, Forward, region_nop);
Avi Kivityb8af1af2011-07-26 14:26:12 +0300737 if (frold->dirty_log_mask && !frnew->dirty_log_mask) {
Avi Kivity72e22d22012-02-08 15:05:50 +0200738 MEMORY_LISTENER_UPDATE_REGION(frnew, as, Reverse, log_stop);
Avi Kivityb8af1af2011-07-26 14:26:12 +0300739 } else if (frnew->dirty_log_mask && !frold->dirty_log_mask) {
Avi Kivity72e22d22012-02-08 15:05:50 +0200740 MEMORY_LISTENER_UPDATE_REGION(frnew, as, Forward, log_start);
Avi Kivityb8af1af2011-07-26 14:26:12 +0300741 }
Avi Kivity5a583342011-07-26 14:26:02 +0300742 }
743
Avi Kivity093bc2c2011-07-26 14:26:01 +0300744 ++iold;
745 ++inew;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300746 } else {
747 /* In new */
748
Avi Kivityb8af1af2011-07-26 14:26:12 +0300749 if (adding) {
Avi Kivity72e22d22012-02-08 15:05:50 +0200750 MEMORY_LISTENER_UPDATE_REGION(frnew, as, Forward, region_add);
Avi Kivityb8af1af2011-07-26 14:26:12 +0300751 }
752
Avi Kivity093bc2c2011-07-26 14:26:01 +0300753 ++inew;
754 }
755 }
Avi Kivityb8af1af2011-07-26 14:26:12 +0300756}
757
758
759static void address_space_update_topology(AddressSpace *as)
760{
Paolo Bonzini856d7242013-05-06 11:57:21 +0200761 FlatView *old_view = address_space_get_flatview(as);
Paolo Bonzinia9a0c062013-05-06 10:29:07 +0200762 FlatView *new_view = generate_memory_topology(as->root);
Avi Kivityb8af1af2011-07-26 14:26:12 +0300763
764 address_space_update_topology_pass(as, old_view, new_view, false);
765 address_space_update_topology_pass(as, old_view, new_view, true);
766
Paolo Bonzini856d7242013-05-06 11:57:21 +0200767 qemu_mutex_lock(&flat_view_mutex);
768 flatview_unref(as->current_map);
Paolo Bonzinia9a0c062013-05-06 10:29:07 +0200769 as->current_map = new_view;
Paolo Bonzini856d7242013-05-06 11:57:21 +0200770 qemu_mutex_unlock(&flat_view_mutex);
771
772 /* Note that all the old MemoryRegions are still alive up to this
773 * point. This relieves most MemoryListeners from the need to
774 * ref/unref the MemoryRegions they get---unless they use them
775 * outside the iothread mutex, in which case precise reference
776 * counting is necessary.
777 */
778 flatview_unref(old_view);
779
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300780 address_space_update_ioeventfds(as);
Avi Kivity093bc2c2011-07-26 14:26:01 +0300781}
782
Avi Kivity4ef4db82011-07-26 14:26:13 +0300783void memory_region_transaction_begin(void)
784{
Jan Kiszkabb880de2012-08-23 13:02:32 +0200785 qemu_flush_coalesced_mmio_buffer();
Avi Kivity4ef4db82011-07-26 14:26:13 +0300786 ++memory_region_transaction_depth;
787}
788
789void memory_region_transaction_commit(void)
790{
Avi Kivity0d673e32012-10-02 15:28:50 +0200791 AddressSpace *as;
792
Avi Kivity4ef4db82011-07-26 14:26:13 +0300793 assert(memory_region_transaction_depth);
794 --memory_region_transaction_depth;
Jan Kiszka22bde712012-11-05 16:45:56 +0100795 if (!memory_region_transaction_depth && memory_region_update_pending) {
796 memory_region_update_pending = false;
Jan Kiszka02e2b952012-08-23 13:02:31 +0200797 MEMORY_LISTENER_CALL_GLOBAL(begin, Forward);
798
Avi Kivity0d673e32012-10-02 15:28:50 +0200799 QTAILQ_FOREACH(as, &address_spaces, address_spaces_link) {
800 address_space_update_topology(as);
Jan Kiszka02e2b952012-08-23 13:02:31 +0200801 }
802
803 MEMORY_LISTENER_CALL_GLOBAL(commit, Forward);
Avi Kivitye87c0992011-09-14 12:16:20 +0300804 }
Avi Kivity4ef4db82011-07-26 14:26:13 +0300805}
806
Avi Kivity545e92e2011-08-08 19:58:48 +0300807static void memory_region_destructor_none(MemoryRegion *mr)
808{
809}
810
811static void memory_region_destructor_ram(MemoryRegion *mr)
812{
813 qemu_ram_free(mr->ram_addr);
814}
815
Paolo Bonzinidfde4e62013-05-06 10:46:11 +0200816static void memory_region_destructor_alias(MemoryRegion *mr)
817{
818 memory_region_unref(mr->alias);
819}
820
Avi Kivity545e92e2011-08-08 19:58:48 +0300821static void memory_region_destructor_ram_from_ptr(MemoryRegion *mr)
822{
823 qemu_ram_free_from_ptr(mr->ram_addr);
824}
825
Avi Kivityd0a9b5b2011-08-08 19:58:49 +0300826static void memory_region_destructor_rom_device(MemoryRegion *mr)
827{
828 qemu_ram_free(mr->ram_addr & TARGET_PAGE_MASK);
Avi Kivityd0a9b5b2011-08-08 19:58:49 +0300829}
830
Avi Kivity093bc2c2011-07-26 14:26:01 +0300831void memory_region_init(MemoryRegion *mr,
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -0400832 Object *owner,
Avi Kivity093bc2c2011-07-26 14:26:01 +0300833 const char *name,
834 uint64_t size)
835{
Paolo Bonzini2cdfcf22013-05-24 13:55:52 +0200836 mr->ops = &unassigned_mem_ops;
837 mr->opaque = NULL;
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -0400838 mr->owner = owner;
Avi Kivity30951152012-10-30 13:47:46 +0200839 mr->iommu_ops = NULL;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300840 mr->parent = NULL;
Avi Kivity08dafab2011-10-16 13:19:17 +0200841 mr->size = int128_make64(size);
842 if (size == UINT64_MAX) {
843 mr->size = int128_2_64();
844 }
Avi Kivity093bc2c2011-07-26 14:26:01 +0300845 mr->addr = 0;
Avi Kivityb3b00c72012-01-02 13:20:11 +0200846 mr->subpage = false;
Avi Kivity6bba19b2011-09-14 11:54:58 +0300847 mr->enabled = true;
Avi Kivity14a3c102011-07-26 14:26:06 +0300848 mr->terminates = false;
Avi Kivity8ea92522011-12-08 15:58:43 +0200849 mr->ram = false;
Jan Kiszka5f9a5ea2013-05-07 19:04:25 +0200850 mr->romd_mode = true;
Avi Kivityfb1cd6f2011-09-25 14:48:47 +0300851 mr->readonly = false;
Avi Kivity75c578d2012-01-02 15:40:52 +0200852 mr->rom_device = false;
Avi Kivity545e92e2011-08-08 19:58:48 +0300853 mr->destructor = memory_region_destructor_none;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300854 mr->priority = 0;
855 mr->may_overlap = false;
856 mr->alias = NULL;
857 QTAILQ_INIT(&mr->subregions);
858 memset(&mr->subregions_link, 0, sizeof mr->subregions_link);
859 QTAILQ_INIT(&mr->coalesced);
Anthony Liguori7267c092011-08-20 22:09:37 -0500860 mr->name = g_strdup(name);
Avi Kivity5a583342011-07-26 14:26:02 +0300861 mr->dirty_log_mask = 0;
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300862 mr->ioeventfd_nb = 0;
863 mr->ioeventfds = NULL;
Jan Kiszkad4105152012-08-23 13:02:29 +0200864 mr->flush_coalesced_mmio = false;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300865}
866
Paolo Bonzinib018ddf2013-05-24 14:48:38 +0200867static uint64_t unassigned_mem_read(void *opaque, hwaddr addr,
868 unsigned size)
869{
870#ifdef DEBUG_UNASSIGNED
871 printf("Unassigned mem read " TARGET_FMT_plx "\n", addr);
872#endif
Andreas Färber4917cf42013-05-27 05:17:50 +0200873 if (current_cpu != NULL) {
874 cpu_unassigned_access(current_cpu, addr, false, false, 0, size);
Andreas Färberc658b942013-05-27 06:49:53 +0200875 }
Jan Kiszka68a74392013-09-02 18:43:31 +0200876 return 0;
Paolo Bonzinib018ddf2013-05-24 14:48:38 +0200877}
878
879static void unassigned_mem_write(void *opaque, hwaddr addr,
880 uint64_t val, unsigned size)
881{
882#ifdef DEBUG_UNASSIGNED
883 printf("Unassigned mem write " TARGET_FMT_plx " = 0x%"PRIx64"\n", addr, val);
884#endif
Andreas Färber4917cf42013-05-27 05:17:50 +0200885 if (current_cpu != NULL) {
886 cpu_unassigned_access(current_cpu, addr, true, false, 0, size);
Andreas Färberc658b942013-05-27 06:49:53 +0200887 }
Paolo Bonzinib018ddf2013-05-24 14:48:38 +0200888}
889
Paolo Bonzinid1970632013-05-24 13:23:38 +0200890static bool unassigned_mem_accepts(void *opaque, hwaddr addr,
891 unsigned size, bool is_write)
892{
893 return false;
894}
895
896const MemoryRegionOps unassigned_mem_ops = {
897 .valid.accepts = unassigned_mem_accepts,
898 .endianness = DEVICE_NATIVE_ENDIAN,
899};
900
Paolo Bonzinid2702032013-05-24 11:55:06 +0200901bool memory_region_access_valid(MemoryRegion *mr,
902 hwaddr addr,
903 unsigned size,
904 bool is_write)
Avi Kivity093bc2c2011-07-26 14:26:01 +0300905{
Paolo Bonzinia014ed02013-05-24 17:48:52 +0200906 int access_size_min, access_size_max;
907 int access_size, i;
Avi Kivity897fa7c2011-11-13 13:05:27 +0200908
Avi Kivity093bc2c2011-07-26 14:26:01 +0300909 if (!mr->ops->valid.unaligned && (addr & (size - 1))) {
910 return false;
911 }
912
Paolo Bonzinia014ed02013-05-24 17:48:52 +0200913 if (!mr->ops->valid.accepts) {
Avi Kivity093bc2c2011-07-26 14:26:01 +0300914 return true;
915 }
916
Paolo Bonzinia014ed02013-05-24 17:48:52 +0200917 access_size_min = mr->ops->valid.min_access_size;
918 if (!mr->ops->valid.min_access_size) {
919 access_size_min = 1;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300920 }
Paolo Bonzinia014ed02013-05-24 17:48:52 +0200921
922 access_size_max = mr->ops->valid.max_access_size;
923 if (!mr->ops->valid.max_access_size) {
924 access_size_max = 4;
925 }
926
927 access_size = MAX(MIN(size, access_size_max), access_size_min);
928 for (i = 0; i < size; i += access_size) {
929 if (!mr->ops->valid.accepts(mr->opaque, addr + i, access_size,
930 is_write)) {
931 return false;
932 }
933 }
934
Avi Kivity093bc2c2011-07-26 14:26:01 +0300935 return true;
936}
937
Avi Kivitya621f382012-01-02 13:12:08 +0200938static uint64_t memory_region_dispatch_read1(MemoryRegion *mr,
Avi Kivitya8170e52012-10-23 12:30:10 +0200939 hwaddr addr,
Avi Kivitya621f382012-01-02 13:12:08 +0200940 unsigned size)
Avi Kivity093bc2c2011-07-26 14:26:01 +0300941{
Avi Kivity164a4dc2011-08-11 10:40:25 +0300942 uint64_t data = 0;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300943
Paolo Bonzinice5d2f32013-05-24 17:45:48 +0200944 if (mr->ops->read) {
945 access_with_adjusted_size(addr, &data, size,
946 mr->ops->impl.min_access_size,
947 mr->ops->impl.max_access_size,
948 memory_region_read_accessor, mr);
949 } else {
950 access_with_adjusted_size(addr, &data, size, 1, 4,
951 memory_region_oldmmio_read_accessor, mr);
Avi Kivity74901c32011-07-26 14:26:10 +0300952 }
953
Avi Kivity093bc2c2011-07-26 14:26:01 +0300954 return data;
955}
956
Paolo Bonzini791af8c2013-05-24 16:10:39 +0200957static bool memory_region_dispatch_read(MemoryRegion *mr,
958 hwaddr addr,
959 uint64_t *pval,
960 unsigned size)
Avi Kivitya621f382012-01-02 13:12:08 +0200961{
Paolo Bonzini791af8c2013-05-24 16:10:39 +0200962 if (!memory_region_access_valid(mr, addr, size, false)) {
963 *pval = unassigned_mem_read(mr, addr, size);
964 return true;
965 }
Avi Kivitya621f382012-01-02 13:12:08 +0200966
Paolo Bonzini791af8c2013-05-24 16:10:39 +0200967 *pval = memory_region_dispatch_read1(mr, addr, size);
968 adjust_endianness(mr, pval, size);
969 return false;
Avi Kivitya621f382012-01-02 13:12:08 +0200970}
971
Paolo Bonzini791af8c2013-05-24 16:10:39 +0200972static bool memory_region_dispatch_write(MemoryRegion *mr,
Avi Kivitya8170e52012-10-23 12:30:10 +0200973 hwaddr addr,
Avi Kivitya621f382012-01-02 13:12:08 +0200974 uint64_t data,
975 unsigned size)
976{
Avi Kivity897fa7c2011-11-13 13:05:27 +0200977 if (!memory_region_access_valid(mr, addr, size, true)) {
Paolo Bonzinib018ddf2013-05-24 14:48:38 +0200978 unassigned_mem_write(mr, addr, data, size);
Paolo Bonzini791af8c2013-05-24 16:10:39 +0200979 return true;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300980 }
981
Avi Kivitya621f382012-01-02 13:12:08 +0200982 adjust_endianness(mr, &data, size);
983
Paolo Bonzinice5d2f32013-05-24 17:45:48 +0200984 if (mr->ops->write) {
985 access_with_adjusted_size(addr, &data, size,
986 mr->ops->impl.min_access_size,
987 mr->ops->impl.max_access_size,
988 memory_region_write_accessor, mr);
989 } else {
990 access_with_adjusted_size(addr, &data, size, 1, 4,
991 memory_region_oldmmio_write_accessor, mr);
Avi Kivity74901c32011-07-26 14:26:10 +0300992 }
Paolo Bonzini791af8c2013-05-24 16:10:39 +0200993 return false;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300994}
995
Avi Kivity093bc2c2011-07-26 14:26:01 +0300996void memory_region_init_io(MemoryRegion *mr,
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -0400997 Object *owner,
Avi Kivity093bc2c2011-07-26 14:26:01 +0300998 const MemoryRegionOps *ops,
999 void *opaque,
1000 const char *name,
1001 uint64_t size)
1002{
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -04001003 memory_region_init(mr, owner, name, size);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001004 mr->ops = ops;
1005 mr->opaque = opaque;
Avi Kivity14a3c102011-07-26 14:26:06 +03001006 mr->terminates = true;
Avi Kivity97161e12012-03-08 19:16:39 +02001007 mr->ram_addr = ~(ram_addr_t)0;
Avi Kivity093bc2c2011-07-26 14:26:01 +03001008}
1009
1010void memory_region_init_ram(MemoryRegion *mr,
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -04001011 Object *owner,
Avi Kivity093bc2c2011-07-26 14:26:01 +03001012 const char *name,
1013 uint64_t size)
1014{
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -04001015 memory_region_init(mr, owner, name, size);
Avi Kivity8ea92522011-12-08 15:58:43 +02001016 mr->ram = true;
Avi Kivity14a3c102011-07-26 14:26:06 +03001017 mr->terminates = true;
Avi Kivity545e92e2011-08-08 19:58:48 +03001018 mr->destructor = memory_region_destructor_ram;
Avi Kivityc5705a72011-12-20 15:59:12 +02001019 mr->ram_addr = qemu_ram_alloc(size, mr);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001020}
1021
1022void memory_region_init_ram_ptr(MemoryRegion *mr,
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -04001023 Object *owner,
Avi Kivity093bc2c2011-07-26 14:26:01 +03001024 const char *name,
1025 uint64_t size,
1026 void *ptr)
1027{
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -04001028 memory_region_init(mr, owner, name, size);
Avi Kivity8ea92522011-12-08 15:58:43 +02001029 mr->ram = true;
Avi Kivity14a3c102011-07-26 14:26:06 +03001030 mr->terminates = true;
Avi Kivity545e92e2011-08-08 19:58:48 +03001031 mr->destructor = memory_region_destructor_ram_from_ptr;
Avi Kivityc5705a72011-12-20 15:59:12 +02001032 mr->ram_addr = qemu_ram_alloc_from_ptr(size, ptr, mr);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001033}
1034
1035void memory_region_init_alias(MemoryRegion *mr,
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -04001036 Object *owner,
Avi Kivity093bc2c2011-07-26 14:26:01 +03001037 const char *name,
1038 MemoryRegion *orig,
Avi Kivitya8170e52012-10-23 12:30:10 +02001039 hwaddr offset,
Avi Kivity093bc2c2011-07-26 14:26:01 +03001040 uint64_t size)
1041{
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -04001042 memory_region_init(mr, owner, name, size);
Paolo Bonzinidfde4e62013-05-06 10:46:11 +02001043 memory_region_ref(orig);
1044 mr->destructor = memory_region_destructor_alias;
Avi Kivity093bc2c2011-07-26 14:26:01 +03001045 mr->alias = orig;
1046 mr->alias_offset = offset;
1047}
1048
Avi Kivityd0a9b5b2011-08-08 19:58:49 +03001049void memory_region_init_rom_device(MemoryRegion *mr,
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -04001050 Object *owner,
Avi Kivityd0a9b5b2011-08-08 19:58:49 +03001051 const MemoryRegionOps *ops,
Avi Kivity75f59412011-08-26 00:35:15 +03001052 void *opaque,
Avi Kivityd0a9b5b2011-08-08 19:58:49 +03001053 const char *name,
1054 uint64_t size)
1055{
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -04001056 memory_region_init(mr, owner, name, size);
Avi Kivity7bc2b9c2011-08-25 14:56:14 +03001057 mr->ops = ops;
Avi Kivity75f59412011-08-26 00:35:15 +03001058 mr->opaque = opaque;
Avi Kivityd0a9b5b2011-08-08 19:58:49 +03001059 mr->terminates = true;
Avi Kivity75c578d2012-01-02 15:40:52 +02001060 mr->rom_device = true;
Avi Kivityd0a9b5b2011-08-08 19:58:49 +03001061 mr->destructor = memory_region_destructor_rom_device;
Avi Kivityc5705a72011-12-20 15:59:12 +02001062 mr->ram_addr = qemu_ram_alloc(size, mr);
Avi Kivityd0a9b5b2011-08-08 19:58:49 +03001063}
1064
Avi Kivity30951152012-10-30 13:47:46 +02001065void memory_region_init_iommu(MemoryRegion *mr,
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -04001066 Object *owner,
Avi Kivity30951152012-10-30 13:47:46 +02001067 const MemoryRegionIOMMUOps *ops,
1068 const char *name,
1069 uint64_t size)
1070{
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -04001071 memory_region_init(mr, owner, name, size);
Avi Kivity30951152012-10-30 13:47:46 +02001072 mr->iommu_ops = ops,
1073 mr->terminates = true; /* then re-forwards */
David Gibson06866572013-05-14 19:13:56 +10001074 notifier_list_init(&mr->iommu_notify);
Avi Kivity30951152012-10-30 13:47:46 +02001075}
1076
Jan Kiszka1660e722011-10-23 16:01:19 +02001077void memory_region_init_reservation(MemoryRegion *mr,
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -04001078 Object *owner,
Jan Kiszka1660e722011-10-23 16:01:19 +02001079 const char *name,
1080 uint64_t size)
1081{
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -04001082 memory_region_init_io(mr, owner, &unassigned_mem_ops, mr, name, size);
Jan Kiszka1660e722011-10-23 16:01:19 +02001083}
1084
Avi Kivity093bc2c2011-07-26 14:26:01 +03001085void memory_region_destroy(MemoryRegion *mr)
1086{
1087 assert(QTAILQ_EMPTY(&mr->subregions));
Avi Kivity2be0e252012-10-17 17:14:41 +02001088 assert(memory_region_transaction_depth == 0);
Avi Kivity545e92e2011-08-08 19:58:48 +03001089 mr->destructor(mr);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001090 memory_region_clear_coalescing(mr);
Anthony Liguori7267c092011-08-20 22:09:37 -05001091 g_free((char *)mr->name);
1092 g_free(mr->ioeventfds);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001093}
1094
Paolo Bonzini803c0812013-05-07 06:59:09 +02001095Object *memory_region_owner(MemoryRegion *mr)
1096{
1097 return mr->owner;
1098}
1099
Paolo Bonzini46637be2013-05-07 09:06:00 +02001100void memory_region_ref(MemoryRegion *mr)
1101{
1102 if (mr && mr->owner) {
1103 object_ref(mr->owner);
1104 }
1105}
1106
1107void memory_region_unref(MemoryRegion *mr)
1108{
1109 if (mr && mr->owner) {
1110 object_unref(mr->owner);
1111 }
1112}
1113
Avi Kivity093bc2c2011-07-26 14:26:01 +03001114uint64_t memory_region_size(MemoryRegion *mr)
1115{
Avi Kivity08dafab2011-10-16 13:19:17 +02001116 if (int128_eq(mr->size, int128_2_64())) {
1117 return UINT64_MAX;
1118 }
1119 return int128_get64(mr->size);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001120}
1121
Avi Kivity8991c792011-12-20 15:53:11 +02001122const char *memory_region_name(MemoryRegion *mr)
1123{
1124 return mr->name;
1125}
1126
Avi Kivity8ea92522011-12-08 15:58:43 +02001127bool memory_region_is_ram(MemoryRegion *mr)
1128{
1129 return mr->ram;
1130}
1131
Avi Kivity55043ba2011-12-15 17:20:34 +02001132bool memory_region_is_logging(MemoryRegion *mr)
1133{
1134 return mr->dirty_log_mask;
1135}
1136
Avi Kivityce7923d2011-12-08 16:05:11 +02001137bool memory_region_is_rom(MemoryRegion *mr)
1138{
1139 return mr->ram && mr->readonly;
1140}
1141
Avi Kivity30951152012-10-30 13:47:46 +02001142bool memory_region_is_iommu(MemoryRegion *mr)
1143{
1144 return mr->iommu_ops;
1145}
1146
David Gibson06866572013-05-14 19:13:56 +10001147void memory_region_register_iommu_notifier(MemoryRegion *mr, Notifier *n)
1148{
1149 notifier_list_add(&mr->iommu_notify, n);
1150}
1151
1152void memory_region_unregister_iommu_notifier(Notifier *n)
1153{
1154 notifier_remove(n);
1155}
1156
1157void memory_region_notify_iommu(MemoryRegion *mr,
1158 IOMMUTLBEntry entry)
1159{
1160 assert(memory_region_is_iommu(mr));
1161 notifier_list_notify(&mr->iommu_notify, &entry);
1162}
1163
Avi Kivity093bc2c2011-07-26 14:26:01 +03001164void memory_region_set_log(MemoryRegion *mr, bool log, unsigned client)
1165{
Avi Kivity5a583342011-07-26 14:26:02 +03001166 uint8_t mask = 1 << client;
1167
Jan Kiszka59023ef2012-08-23 13:02:30 +02001168 memory_region_transaction_begin();
Avi Kivity5a583342011-07-26 14:26:02 +03001169 mr->dirty_log_mask = (mr->dirty_log_mask & ~mask) | (log * mask);
Jan Kiszka22bde712012-11-05 16:45:56 +01001170 memory_region_update_pending |= mr->enabled;
Jan Kiszka59023ef2012-08-23 13:02:30 +02001171 memory_region_transaction_commit();
Avi Kivity093bc2c2011-07-26 14:26:01 +03001172}
1173
Avi Kivitya8170e52012-10-23 12:30:10 +02001174bool memory_region_get_dirty(MemoryRegion *mr, hwaddr addr,
1175 hwaddr size, unsigned client)
Avi Kivity093bc2c2011-07-26 14:26:01 +03001176{
Avi Kivity14a3c102011-07-26 14:26:06 +03001177 assert(mr->terminates);
Juan Quintela52159192013-10-08 12:44:04 +02001178 return cpu_physical_memory_get_dirty(mr->ram_addr + addr, size, client);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001179}
1180
Avi Kivitya8170e52012-10-23 12:30:10 +02001181void memory_region_set_dirty(MemoryRegion *mr, hwaddr addr,
1182 hwaddr size)
Avi Kivity093bc2c2011-07-26 14:26:01 +03001183{
Avi Kivity14a3c102011-07-26 14:26:06 +03001184 assert(mr->terminates);
Juan Quintela75218e72013-10-08 12:31:54 +02001185 cpu_physical_memory_set_dirty_range(mr->ram_addr + addr, size);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001186}
1187
Juan Quintela6c279db2012-10-17 20:24:28 +02001188bool memory_region_test_and_clear_dirty(MemoryRegion *mr, hwaddr addr,
1189 hwaddr size, unsigned client)
1190{
1191 bool ret;
1192 assert(mr->terminates);
Juan Quintela52159192013-10-08 12:44:04 +02001193 ret = cpu_physical_memory_get_dirty(mr->ram_addr + addr, size, client);
Juan Quintela6c279db2012-10-17 20:24:28 +02001194 if (ret) {
Juan Quintelaa2f4d5b2013-10-10 11:49:53 +02001195 cpu_physical_memory_reset_dirty(mr->ram_addr + addr, size, client);
Juan Quintela6c279db2012-10-17 20:24:28 +02001196 }
1197 return ret;
1198}
1199
1200
Avi Kivity093bc2c2011-07-26 14:26:01 +03001201void memory_region_sync_dirty_bitmap(MemoryRegion *mr)
1202{
Avi Kivity0d673e32012-10-02 15:28:50 +02001203 AddressSpace *as;
Avi Kivity5a583342011-07-26 14:26:02 +03001204 FlatRange *fr;
1205
Avi Kivity0d673e32012-10-02 15:28:50 +02001206 QTAILQ_FOREACH(as, &address_spaces, address_spaces_link) {
Paolo Bonzini856d7242013-05-06 11:57:21 +02001207 FlatView *view = address_space_get_flatview(as);
Paolo Bonzini99e86342013-05-06 10:26:13 +02001208 FOR_EACH_FLAT_RANGE(fr, view) {
Avi Kivity0d673e32012-10-02 15:28:50 +02001209 if (fr->mr == mr) {
1210 MEMORY_LISTENER_UPDATE_REGION(fr, as, Forward, log_sync);
1211 }
Avi Kivity5a583342011-07-26 14:26:02 +03001212 }
Paolo Bonzini856d7242013-05-06 11:57:21 +02001213 flatview_unref(view);
Avi Kivity5a583342011-07-26 14:26:02 +03001214 }
Avi Kivity093bc2c2011-07-26 14:26:01 +03001215}
1216
1217void memory_region_set_readonly(MemoryRegion *mr, bool readonly)
1218{
Avi Kivityfb1cd6f2011-09-25 14:48:47 +03001219 if (mr->readonly != readonly) {
Jan Kiszka59023ef2012-08-23 13:02:30 +02001220 memory_region_transaction_begin();
Avi Kivityfb1cd6f2011-09-25 14:48:47 +03001221 mr->readonly = readonly;
Jan Kiszka22bde712012-11-05 16:45:56 +01001222 memory_region_update_pending |= mr->enabled;
Jan Kiszka59023ef2012-08-23 13:02:30 +02001223 memory_region_transaction_commit();
Avi Kivityfb1cd6f2011-09-25 14:48:47 +03001224 }
Avi Kivity093bc2c2011-07-26 14:26:01 +03001225}
1226
Jan Kiszka5f9a5ea2013-05-07 19:04:25 +02001227void memory_region_rom_device_set_romd(MemoryRegion *mr, bool romd_mode)
Avi Kivityd0a9b5b2011-08-08 19:58:49 +03001228{
Jan Kiszka5f9a5ea2013-05-07 19:04:25 +02001229 if (mr->romd_mode != romd_mode) {
Jan Kiszka59023ef2012-08-23 13:02:30 +02001230 memory_region_transaction_begin();
Jan Kiszka5f9a5ea2013-05-07 19:04:25 +02001231 mr->romd_mode = romd_mode;
Jan Kiszka22bde712012-11-05 16:45:56 +01001232 memory_region_update_pending |= mr->enabled;
Jan Kiszka59023ef2012-08-23 13:02:30 +02001233 memory_region_transaction_commit();
Avi Kivityd0a9b5b2011-08-08 19:58:49 +03001234 }
1235}
1236
Avi Kivitya8170e52012-10-23 12:30:10 +02001237void memory_region_reset_dirty(MemoryRegion *mr, hwaddr addr,
1238 hwaddr size, unsigned client)
Avi Kivity093bc2c2011-07-26 14:26:01 +03001239{
Avi Kivity14a3c102011-07-26 14:26:06 +03001240 assert(mr->terminates);
Juan Quintelaa2f4d5b2013-10-10 11:49:53 +02001241 cpu_physical_memory_reset_dirty(mr->ram_addr + addr, size, client);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001242}
1243
1244void *memory_region_get_ram_ptr(MemoryRegion *mr)
1245{
1246 if (mr->alias) {
1247 return memory_region_get_ram_ptr(mr->alias) + mr->alias_offset;
1248 }
1249
Avi Kivity14a3c102011-07-26 14:26:06 +03001250 assert(mr->terminates);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001251
Jan Kiszka021d26d2011-08-30 00:38:24 +02001252 return qemu_get_ram_ptr(mr->ram_addr & TARGET_PAGE_MASK);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001253}
1254
Avi Kivity0d673e32012-10-02 15:28:50 +02001255static void memory_region_update_coalesced_range_as(MemoryRegion *mr, AddressSpace *as)
Avi Kivity093bc2c2011-07-26 14:26:01 +03001256{
Paolo Bonzini99e86342013-05-06 10:26:13 +02001257 FlatView *view;
Avi Kivity093bc2c2011-07-26 14:26:01 +03001258 FlatRange *fr;
1259 CoalescedMemoryRange *cmr;
1260 AddrRange tmp;
Avi Kivity95d29942012-10-02 18:21:54 +02001261 MemoryRegionSection section;
Avi Kivity093bc2c2011-07-26 14:26:01 +03001262
Paolo Bonzini856d7242013-05-06 11:57:21 +02001263 view = address_space_get_flatview(as);
Paolo Bonzini99e86342013-05-06 10:26:13 +02001264 FOR_EACH_FLAT_RANGE(fr, view) {
Avi Kivity093bc2c2011-07-26 14:26:01 +03001265 if (fr->mr == mr) {
Avi Kivity95d29942012-10-02 18:21:54 +02001266 section = (MemoryRegionSection) {
Avi Kivityf6790af2012-10-02 20:13:51 +02001267 .address_space = as,
Avi Kivity95d29942012-10-02 18:21:54 +02001268 .offset_within_address_space = int128_get64(fr->addr.start),
Paolo Bonzini052e87b2013-05-27 10:08:27 +02001269 .size = fr->addr.size,
Avi Kivity95d29942012-10-02 18:21:54 +02001270 };
1271
1272 MEMORY_LISTENER_CALL(coalesced_mmio_del, Reverse, &section,
1273 int128_get64(fr->addr.start),
1274 int128_get64(fr->addr.size));
Avi Kivity093bc2c2011-07-26 14:26:01 +03001275 QTAILQ_FOREACH(cmr, &mr->coalesced, link) {
1276 tmp = addrrange_shift(cmr->addr,
Avi Kivity08dafab2011-10-16 13:19:17 +02001277 int128_sub(fr->addr.start,
1278 int128_make64(fr->offset_in_region)));
Avi Kivity093bc2c2011-07-26 14:26:01 +03001279 if (!addrrange_intersects(tmp, fr->addr)) {
1280 continue;
1281 }
1282 tmp = addrrange_intersection(tmp, fr->addr);
Avi Kivity95d29942012-10-02 18:21:54 +02001283 MEMORY_LISTENER_CALL(coalesced_mmio_add, Forward, &section,
1284 int128_get64(tmp.start),
1285 int128_get64(tmp.size));
Avi Kivity093bc2c2011-07-26 14:26:01 +03001286 }
1287 }
1288 }
Paolo Bonzini856d7242013-05-06 11:57:21 +02001289 flatview_unref(view);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001290}
1291
Avi Kivity0d673e32012-10-02 15:28:50 +02001292static void memory_region_update_coalesced_range(MemoryRegion *mr)
1293{
1294 AddressSpace *as;
1295
1296 QTAILQ_FOREACH(as, &address_spaces, address_spaces_link) {
1297 memory_region_update_coalesced_range_as(mr, as);
1298 }
1299}
1300
Avi Kivity093bc2c2011-07-26 14:26:01 +03001301void memory_region_set_coalescing(MemoryRegion *mr)
1302{
1303 memory_region_clear_coalescing(mr);
Avi Kivity08dafab2011-10-16 13:19:17 +02001304 memory_region_add_coalescing(mr, 0, int128_get64(mr->size));
Avi Kivity093bc2c2011-07-26 14:26:01 +03001305}
1306
1307void memory_region_add_coalescing(MemoryRegion *mr,
Avi Kivitya8170e52012-10-23 12:30:10 +02001308 hwaddr offset,
Avi Kivity093bc2c2011-07-26 14:26:01 +03001309 uint64_t size)
1310{
Anthony Liguori7267c092011-08-20 22:09:37 -05001311 CoalescedMemoryRange *cmr = g_malloc(sizeof(*cmr));
Avi Kivity093bc2c2011-07-26 14:26:01 +03001312
Avi Kivity08dafab2011-10-16 13:19:17 +02001313 cmr->addr = addrrange_make(int128_make64(offset), int128_make64(size));
Avi Kivity093bc2c2011-07-26 14:26:01 +03001314 QTAILQ_INSERT_TAIL(&mr->coalesced, cmr, link);
1315 memory_region_update_coalesced_range(mr);
Jan Kiszkad4105152012-08-23 13:02:29 +02001316 memory_region_set_flush_coalesced(mr);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001317}
1318
1319void memory_region_clear_coalescing(MemoryRegion *mr)
1320{
1321 CoalescedMemoryRange *cmr;
1322
Jan Kiszkad4105152012-08-23 13:02:29 +02001323 qemu_flush_coalesced_mmio_buffer();
1324 mr->flush_coalesced_mmio = false;
1325
Avi Kivity093bc2c2011-07-26 14:26:01 +03001326 while (!QTAILQ_EMPTY(&mr->coalesced)) {
1327 cmr = QTAILQ_FIRST(&mr->coalesced);
1328 QTAILQ_REMOVE(&mr->coalesced, cmr, link);
Anthony Liguori7267c092011-08-20 22:09:37 -05001329 g_free(cmr);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001330 }
1331 memory_region_update_coalesced_range(mr);
1332}
1333
Jan Kiszkad4105152012-08-23 13:02:29 +02001334void memory_region_set_flush_coalesced(MemoryRegion *mr)
1335{
1336 mr->flush_coalesced_mmio = true;
1337}
1338
1339void memory_region_clear_flush_coalesced(MemoryRegion *mr)
1340{
1341 qemu_flush_coalesced_mmio_buffer();
1342 if (QTAILQ_EMPTY(&mr->coalesced)) {
1343 mr->flush_coalesced_mmio = false;
1344 }
1345}
1346
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001347void memory_region_add_eventfd(MemoryRegion *mr,
Avi Kivitya8170e52012-10-23 12:30:10 +02001348 hwaddr addr,
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001349 unsigned size,
1350 bool match_data,
1351 uint64_t data,
Paolo Bonzini753d5e12012-07-05 17:16:27 +02001352 EventNotifier *e)
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001353{
1354 MemoryRegionIoeventfd mrfd = {
Avi Kivity08dafab2011-10-16 13:19:17 +02001355 .addr.start = int128_make64(addr),
1356 .addr.size = int128_make64(size),
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001357 .match_data = match_data,
1358 .data = data,
Paolo Bonzini753d5e12012-07-05 17:16:27 +02001359 .e = e,
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001360 };
1361 unsigned i;
1362
Alexander Graf28f362b2012-10-15 20:30:28 +02001363 adjust_endianness(mr, &mrfd.data, size);
Jan Kiszka59023ef2012-08-23 13:02:30 +02001364 memory_region_transaction_begin();
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001365 for (i = 0; i < mr->ioeventfd_nb; ++i) {
1366 if (memory_region_ioeventfd_before(mrfd, mr->ioeventfds[i])) {
1367 break;
1368 }
1369 }
1370 ++mr->ioeventfd_nb;
Anthony Liguori7267c092011-08-20 22:09:37 -05001371 mr->ioeventfds = g_realloc(mr->ioeventfds,
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001372 sizeof(*mr->ioeventfds) * mr->ioeventfd_nb);
1373 memmove(&mr->ioeventfds[i+1], &mr->ioeventfds[i],
1374 sizeof(*mr->ioeventfds) * (mr->ioeventfd_nb-1 - i));
1375 mr->ioeventfds[i] = mrfd;
Jan Kiszka22bde712012-11-05 16:45:56 +01001376 memory_region_update_pending |= mr->enabled;
Jan Kiszka59023ef2012-08-23 13:02:30 +02001377 memory_region_transaction_commit();
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001378}
1379
1380void memory_region_del_eventfd(MemoryRegion *mr,
Avi Kivitya8170e52012-10-23 12:30:10 +02001381 hwaddr addr,
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001382 unsigned size,
1383 bool match_data,
1384 uint64_t data,
Paolo Bonzini753d5e12012-07-05 17:16:27 +02001385 EventNotifier *e)
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001386{
1387 MemoryRegionIoeventfd mrfd = {
Avi Kivity08dafab2011-10-16 13:19:17 +02001388 .addr.start = int128_make64(addr),
1389 .addr.size = int128_make64(size),
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001390 .match_data = match_data,
1391 .data = data,
Paolo Bonzini753d5e12012-07-05 17:16:27 +02001392 .e = e,
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001393 };
1394 unsigned i;
1395
Alexander Graf28f362b2012-10-15 20:30:28 +02001396 adjust_endianness(mr, &mrfd.data, size);
Jan Kiszka59023ef2012-08-23 13:02:30 +02001397 memory_region_transaction_begin();
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001398 for (i = 0; i < mr->ioeventfd_nb; ++i) {
1399 if (memory_region_ioeventfd_equal(mrfd, mr->ioeventfds[i])) {
1400 break;
1401 }
1402 }
1403 assert(i != mr->ioeventfd_nb);
1404 memmove(&mr->ioeventfds[i], &mr->ioeventfds[i+1],
1405 sizeof(*mr->ioeventfds) * (mr->ioeventfd_nb - (i+1)));
1406 --mr->ioeventfd_nb;
Anthony Liguori7267c092011-08-20 22:09:37 -05001407 mr->ioeventfds = g_realloc(mr->ioeventfds,
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001408 sizeof(*mr->ioeventfds)*mr->ioeventfd_nb + 1);
Jan Kiszka22bde712012-11-05 16:45:56 +01001409 memory_region_update_pending |= mr->enabled;
Jan Kiszka59023ef2012-08-23 13:02:30 +02001410 memory_region_transaction_commit();
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001411}
1412
Avi Kivity093bc2c2011-07-26 14:26:01 +03001413static void memory_region_add_subregion_common(MemoryRegion *mr,
Avi Kivitya8170e52012-10-23 12:30:10 +02001414 hwaddr offset,
Avi Kivity093bc2c2011-07-26 14:26:01 +03001415 MemoryRegion *subregion)
1416{
1417 MemoryRegion *other;
1418
Jan Kiszka59023ef2012-08-23 13:02:30 +02001419 memory_region_transaction_begin();
1420
Avi Kivity093bc2c2011-07-26 14:26:01 +03001421 assert(!subregion->parent);
Paolo Bonzinidfde4e62013-05-06 10:46:11 +02001422 memory_region_ref(subregion);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001423 subregion->parent = mr;
1424 subregion->addr = offset;
1425 QTAILQ_FOREACH(other, &mr->subregions, subregions_link) {
1426 if (subregion->may_overlap || other->may_overlap) {
1427 continue;
1428 }
Hu Tao2c7cfd62013-03-15 14:32:01 +08001429 if (int128_ge(int128_make64(offset),
Avi Kivity08dafab2011-10-16 13:19:17 +02001430 int128_add(int128_make64(other->addr), other->size))
1431 || int128_le(int128_add(int128_make64(offset), subregion->size),
1432 int128_make64(other->addr))) {
Avi Kivity093bc2c2011-07-26 14:26:01 +03001433 continue;
1434 }
Anthony Liguoria5e1cbc2011-08-22 11:14:56 -05001435#if 0
Michael Walle860329b2011-09-15 23:16:49 +02001436 printf("warning: subregion collision %llx/%llx (%s) "
1437 "vs %llx/%llx (%s)\n",
Avi Kivity093bc2c2011-07-26 14:26:01 +03001438 (unsigned long long)offset,
Avi Kivity08dafab2011-10-16 13:19:17 +02001439 (unsigned long long)int128_get64(subregion->size),
Michael Walle860329b2011-09-15 23:16:49 +02001440 subregion->name,
1441 (unsigned long long)other->addr,
Avi Kivity08dafab2011-10-16 13:19:17 +02001442 (unsigned long long)int128_get64(other->size),
Michael Walle860329b2011-09-15 23:16:49 +02001443 other->name);
Anthony Liguoria5e1cbc2011-08-22 11:14:56 -05001444#endif
Avi Kivity093bc2c2011-07-26 14:26:01 +03001445 }
1446 QTAILQ_FOREACH(other, &mr->subregions, subregions_link) {
1447 if (subregion->priority >= other->priority) {
1448 QTAILQ_INSERT_BEFORE(other, subregion, subregions_link);
1449 goto done;
1450 }
1451 }
1452 QTAILQ_INSERT_TAIL(&mr->subregions, subregion, subregions_link);
1453done:
Jan Kiszka22bde712012-11-05 16:45:56 +01001454 memory_region_update_pending |= mr->enabled && subregion->enabled;
Jan Kiszka59023ef2012-08-23 13:02:30 +02001455 memory_region_transaction_commit();
Avi Kivity093bc2c2011-07-26 14:26:01 +03001456}
1457
1458
1459void memory_region_add_subregion(MemoryRegion *mr,
Avi Kivitya8170e52012-10-23 12:30:10 +02001460 hwaddr offset,
Avi Kivity093bc2c2011-07-26 14:26:01 +03001461 MemoryRegion *subregion)
1462{
1463 subregion->may_overlap = false;
1464 subregion->priority = 0;
1465 memory_region_add_subregion_common(mr, offset, subregion);
1466}
1467
1468void memory_region_add_subregion_overlap(MemoryRegion *mr,
Avi Kivitya8170e52012-10-23 12:30:10 +02001469 hwaddr offset,
Avi Kivity093bc2c2011-07-26 14:26:01 +03001470 MemoryRegion *subregion,
Marcel Apfelbauma1ff8ae2013-09-16 11:21:14 +03001471 int priority)
Avi Kivity093bc2c2011-07-26 14:26:01 +03001472{
1473 subregion->may_overlap = true;
1474 subregion->priority = priority;
1475 memory_region_add_subregion_common(mr, offset, subregion);
1476}
1477
1478void memory_region_del_subregion(MemoryRegion *mr,
1479 MemoryRegion *subregion)
1480{
Jan Kiszka59023ef2012-08-23 13:02:30 +02001481 memory_region_transaction_begin();
Avi Kivity093bc2c2011-07-26 14:26:01 +03001482 assert(subregion->parent == mr);
1483 subregion->parent = NULL;
1484 QTAILQ_REMOVE(&mr->subregions, subregion, subregions_link);
Paolo Bonzinidfde4e62013-05-06 10:46:11 +02001485 memory_region_unref(subregion);
Jan Kiszka22bde712012-11-05 16:45:56 +01001486 memory_region_update_pending |= mr->enabled && subregion->enabled;
Jan Kiszka59023ef2012-08-23 13:02:30 +02001487 memory_region_transaction_commit();
Avi Kivity6bba19b2011-09-14 11:54:58 +03001488}
1489
1490void memory_region_set_enabled(MemoryRegion *mr, bool enabled)
1491{
1492 if (enabled == mr->enabled) {
1493 return;
1494 }
Jan Kiszka59023ef2012-08-23 13:02:30 +02001495 memory_region_transaction_begin();
Avi Kivity6bba19b2011-09-14 11:54:58 +03001496 mr->enabled = enabled;
Jan Kiszka22bde712012-11-05 16:45:56 +01001497 memory_region_update_pending = true;
Jan Kiszka59023ef2012-08-23 13:02:30 +02001498 memory_region_transaction_commit();
Avi Kivity093bc2c2011-07-26 14:26:01 +03001499}
Avi Kivity1c0ffa52011-07-26 14:26:04 +03001500
Avi Kivitya8170e52012-10-23 12:30:10 +02001501void memory_region_set_address(MemoryRegion *mr, hwaddr addr)
Avi Kivity2282e1a2011-09-14 12:10:12 +03001502{
1503 MemoryRegion *parent = mr->parent;
Marcel Apfelbauma1ff8ae2013-09-16 11:21:14 +03001504 int priority = mr->priority;
Avi Kivity2282e1a2011-09-14 12:10:12 +03001505 bool may_overlap = mr->may_overlap;
1506
1507 if (addr == mr->addr || !parent) {
1508 mr->addr = addr;
1509 return;
1510 }
1511
1512 memory_region_transaction_begin();
Paolo Bonzinidfde4e62013-05-06 10:46:11 +02001513 memory_region_ref(mr);
Avi Kivity2282e1a2011-09-14 12:10:12 +03001514 memory_region_del_subregion(parent, mr);
1515 if (may_overlap) {
1516 memory_region_add_subregion_overlap(parent, addr, mr, priority);
1517 } else {
1518 memory_region_add_subregion(parent, addr, mr);
1519 }
Paolo Bonzinidfde4e62013-05-06 10:46:11 +02001520 memory_region_unref(mr);
Avi Kivity2282e1a2011-09-14 12:10:12 +03001521 memory_region_transaction_commit();
1522}
1523
Avi Kivitya8170e52012-10-23 12:30:10 +02001524void memory_region_set_alias_offset(MemoryRegion *mr, hwaddr offset)
Avi Kivity47033592011-12-04 19:16:50 +02001525{
Avi Kivity47033592011-12-04 19:16:50 +02001526 assert(mr->alias);
Avi Kivity47033592011-12-04 19:16:50 +02001527
Jan Kiszka59023ef2012-08-23 13:02:30 +02001528 if (offset == mr->alias_offset) {
Avi Kivity47033592011-12-04 19:16:50 +02001529 return;
1530 }
1531
Jan Kiszka59023ef2012-08-23 13:02:30 +02001532 memory_region_transaction_begin();
1533 mr->alias_offset = offset;
Jan Kiszka22bde712012-11-05 16:45:56 +01001534 memory_region_update_pending |= mr->enabled;
Jan Kiszka59023ef2012-08-23 13:02:30 +02001535 memory_region_transaction_commit();
Avi Kivity47033592011-12-04 19:16:50 +02001536}
1537
Avi Kivitye34911c2011-12-19 12:06:23 +02001538ram_addr_t memory_region_get_ram_addr(MemoryRegion *mr)
1539{
Avi Kivitye34911c2011-12-19 12:06:23 +02001540 return mr->ram_addr;
1541}
1542
Avi Kivitye2177952011-12-08 15:00:18 +02001543static int cmp_flatrange_addr(const void *addr_, const void *fr_)
1544{
1545 const AddrRange *addr = addr_;
1546 const FlatRange *fr = fr_;
1547
1548 if (int128_le(addrrange_end(*addr), fr->addr.start)) {
1549 return -1;
1550 } else if (int128_ge(addr->start, addrrange_end(fr->addr))) {
1551 return 1;
1552 }
1553 return 0;
1554}
1555
Paolo Bonzini99e86342013-05-06 10:26:13 +02001556static FlatRange *flatview_lookup(FlatView *view, AddrRange addr)
Avi Kivitye2177952011-12-08 15:00:18 +02001557{
Paolo Bonzini99e86342013-05-06 10:26:13 +02001558 return bsearch(&addr, view->ranges, view->nr,
Avi Kivitye2177952011-12-08 15:00:18 +02001559 sizeof(FlatRange), cmp_flatrange_addr);
1560}
1561
Paolo Bonzini3ce10902013-07-02 13:40:48 +02001562bool memory_region_present(MemoryRegion *parent, hwaddr addr)
1563{
1564 MemoryRegion *mr = memory_region_find(parent, addr, 1).mr;
Igor Mammedov8e46bbf2014-02-06 11:24:33 +01001565 if (!mr || (mr == parent)) {
Paolo Bonzini3ce10902013-07-02 13:40:48 +02001566 return false;
1567 }
Paolo Bonzinidfde4e62013-05-06 10:46:11 +02001568 memory_region_unref(mr);
Paolo Bonzini3ce10902013-07-02 13:40:48 +02001569 return true;
1570}
1571
Paolo Bonzini73034e92013-05-07 15:48:28 +02001572MemoryRegionSection memory_region_find(MemoryRegion *mr,
Avi Kivitya8170e52012-10-23 12:30:10 +02001573 hwaddr addr, uint64_t size)
Avi Kivitye2177952011-12-08 15:00:18 +02001574{
Paolo Bonzini052e87b2013-05-27 10:08:27 +02001575 MemoryRegionSection ret = { .mr = NULL };
Paolo Bonzini73034e92013-05-07 15:48:28 +02001576 MemoryRegion *root;
1577 AddressSpace *as;
1578 AddrRange range;
Paolo Bonzini99e86342013-05-06 10:26:13 +02001579 FlatView *view;
Paolo Bonzini73034e92013-05-07 15:48:28 +02001580 FlatRange *fr;
Avi Kivitye2177952011-12-08 15:00:18 +02001581
Paolo Bonzini73034e92013-05-07 15:48:28 +02001582 addr += mr->addr;
1583 for (root = mr; root->parent; ) {
1584 root = root->parent;
1585 addr += root->addr;
1586 }
1587
1588 as = memory_region_to_address_space(root);
1589 range = addrrange_make(int128_make64(addr), int128_make64(size));
Paolo Bonzini99e86342013-05-06 10:26:13 +02001590
Paolo Bonzini856d7242013-05-06 11:57:21 +02001591 view = address_space_get_flatview(as);
Paolo Bonzini99e86342013-05-06 10:26:13 +02001592 fr = flatview_lookup(view, range);
Avi Kivitye2177952011-12-08 15:00:18 +02001593 if (!fr) {
Marcel Apfelbaum6307d972013-12-02 16:20:59 +02001594 flatview_unref(view);
Avi Kivitye2177952011-12-08 15:00:18 +02001595 return ret;
1596 }
1597
Paolo Bonzini99e86342013-05-06 10:26:13 +02001598 while (fr > view->ranges && addrrange_intersects(fr[-1].addr, range)) {
Avi Kivitye2177952011-12-08 15:00:18 +02001599 --fr;
1600 }
1601
1602 ret.mr = fr->mr;
Paolo Bonzini73034e92013-05-07 15:48:28 +02001603 ret.address_space = as;
Avi Kivitye2177952011-12-08 15:00:18 +02001604 range = addrrange_intersection(range, fr->addr);
1605 ret.offset_within_region = fr->offset_in_region;
1606 ret.offset_within_region += int128_get64(int128_sub(range.start,
1607 fr->addr.start));
Paolo Bonzini052e87b2013-05-27 10:08:27 +02001608 ret.size = range.size;
Avi Kivitye2177952011-12-08 15:00:18 +02001609 ret.offset_within_address_space = int128_get64(range.start);
Avi Kivity7a8499e2012-02-08 17:01:23 +02001610 ret.readonly = fr->readonly;
Paolo Bonzinidfde4e62013-05-06 10:46:11 +02001611 memory_region_ref(ret.mr);
1612
Paolo Bonzini856d7242013-05-06 11:57:21 +02001613 flatview_unref(view);
Avi Kivitye2177952011-12-08 15:00:18 +02001614 return ret;
1615}
1616
Paolo Bonzini1d671362013-04-24 10:46:55 +02001617void address_space_sync_dirty_bitmap(AddressSpace *as)
Avi Kivity86e775c2011-12-15 16:24:49 +02001618{
Paolo Bonzini99e86342013-05-06 10:26:13 +02001619 FlatView *view;
Avi Kivity7664e802011-12-11 14:47:25 +02001620 FlatRange *fr;
1621
Paolo Bonzini856d7242013-05-06 11:57:21 +02001622 view = address_space_get_flatview(as);
Paolo Bonzini99e86342013-05-06 10:26:13 +02001623 FOR_EACH_FLAT_RANGE(fr, view) {
Avi Kivity72e22d22012-02-08 15:05:50 +02001624 MEMORY_LISTENER_UPDATE_REGION(fr, as, Forward, log_sync);
Avi Kivity7664e802011-12-11 14:47:25 +02001625 }
Paolo Bonzini856d7242013-05-06 11:57:21 +02001626 flatview_unref(view);
Avi Kivity7664e802011-12-11 14:47:25 +02001627}
1628
1629void memory_global_dirty_log_start(void)
1630{
Avi Kivity7664e802011-12-11 14:47:25 +02001631 global_dirty_log = true;
Avi Kivity7376e582012-02-08 21:05:17 +02001632 MEMORY_LISTENER_CALL_GLOBAL(log_global_start, Forward);
Avi Kivity7664e802011-12-11 14:47:25 +02001633}
1634
1635void memory_global_dirty_log_stop(void)
1636{
Avi Kivity7664e802011-12-11 14:47:25 +02001637 global_dirty_log = false;
Avi Kivity7376e582012-02-08 21:05:17 +02001638 MEMORY_LISTENER_CALL_GLOBAL(log_global_stop, Reverse);
Avi Kivity7664e802011-12-11 14:47:25 +02001639}
1640
1641static void listener_add_address_space(MemoryListener *listener,
1642 AddressSpace *as)
1643{
Paolo Bonzini99e86342013-05-06 10:26:13 +02001644 FlatView *view;
Avi Kivity7664e802011-12-11 14:47:25 +02001645 FlatRange *fr;
1646
Julien Grall221b3a32012-04-04 15:15:41 +01001647 if (listener->address_space_filter
Avi Kivityf6790af2012-10-02 20:13:51 +02001648 && listener->address_space_filter != as) {
Julien Grall221b3a32012-04-04 15:15:41 +01001649 return;
1650 }
1651
Avi Kivity7664e802011-12-11 14:47:25 +02001652 if (global_dirty_log) {
Avi Kivity975aefe2012-10-02 16:39:57 +02001653 if (listener->log_global_start) {
1654 listener->log_global_start(listener);
1655 }
Avi Kivity7664e802011-12-11 14:47:25 +02001656 }
Avi Kivity975aefe2012-10-02 16:39:57 +02001657
Paolo Bonzini856d7242013-05-06 11:57:21 +02001658 view = address_space_get_flatview(as);
Paolo Bonzini99e86342013-05-06 10:26:13 +02001659 FOR_EACH_FLAT_RANGE(fr, view) {
Avi Kivity7664e802011-12-11 14:47:25 +02001660 MemoryRegionSection section = {
1661 .mr = fr->mr,
Avi Kivityf6790af2012-10-02 20:13:51 +02001662 .address_space = as,
Avi Kivity7664e802011-12-11 14:47:25 +02001663 .offset_within_region = fr->offset_in_region,
Paolo Bonzini052e87b2013-05-27 10:08:27 +02001664 .size = fr->addr.size,
Avi Kivity7664e802011-12-11 14:47:25 +02001665 .offset_within_address_space = int128_get64(fr->addr.start),
Avi Kivity7a8499e2012-02-08 17:01:23 +02001666 .readonly = fr->readonly,
Avi Kivity7664e802011-12-11 14:47:25 +02001667 };
Avi Kivity975aefe2012-10-02 16:39:57 +02001668 if (listener->region_add) {
1669 listener->region_add(listener, &section);
1670 }
Avi Kivity7664e802011-12-11 14:47:25 +02001671 }
Paolo Bonzini856d7242013-05-06 11:57:21 +02001672 flatview_unref(view);
Avi Kivity7664e802011-12-11 14:47:25 +02001673}
1674
Avi Kivityf6790af2012-10-02 20:13:51 +02001675void memory_listener_register(MemoryListener *listener, AddressSpace *filter)
Avi Kivity7664e802011-12-11 14:47:25 +02001676{
Avi Kivity72e22d22012-02-08 15:05:50 +02001677 MemoryListener *other = NULL;
Avi Kivity0d673e32012-10-02 15:28:50 +02001678 AddressSpace *as;
Avi Kivity72e22d22012-02-08 15:05:50 +02001679
Avi Kivity7376e582012-02-08 21:05:17 +02001680 listener->address_space_filter = filter;
Avi Kivity72e22d22012-02-08 15:05:50 +02001681 if (QTAILQ_EMPTY(&memory_listeners)
1682 || listener->priority >= QTAILQ_LAST(&memory_listeners,
1683 memory_listeners)->priority) {
1684 QTAILQ_INSERT_TAIL(&memory_listeners, listener, link);
1685 } else {
1686 QTAILQ_FOREACH(other, &memory_listeners, link) {
1687 if (listener->priority < other->priority) {
1688 break;
1689 }
1690 }
1691 QTAILQ_INSERT_BEFORE(other, listener, link);
1692 }
Avi Kivity0d673e32012-10-02 15:28:50 +02001693
1694 QTAILQ_FOREACH(as, &address_spaces, address_spaces_link) {
1695 listener_add_address_space(listener, as);
1696 }
Avi Kivity7664e802011-12-11 14:47:25 +02001697}
1698
1699void memory_listener_unregister(MemoryListener *listener)
1700{
Avi Kivity72e22d22012-02-08 15:05:50 +02001701 QTAILQ_REMOVE(&memory_listeners, listener, link);
Avi Kivity86e775c2011-12-15 16:24:49 +02001702}
Avi Kivitye2177952011-12-08 15:00:18 +02001703
Alexey Kardashevskiy7dca8042013-04-29 16:25:51 +00001704void address_space_init(AddressSpace *as, MemoryRegion *root, const char *name)
Avi Kivity1c0ffa52011-07-26 14:26:04 +03001705{
Paolo Bonzini856d7242013-05-06 11:57:21 +02001706 if (QTAILQ_EMPTY(&address_spaces)) {
1707 memory_init();
1708 }
1709
Jan Kiszka59023ef2012-08-23 13:02:30 +02001710 memory_region_transaction_begin();
Avi Kivity8786db72012-10-02 13:53:41 +02001711 as->root = root;
1712 as->current_map = g_new(FlatView, 1);
1713 flatview_init(as->current_map);
Avi Kivity4c19eb72012-10-30 13:47:44 +02001714 as->ioeventfd_nb = 0;
1715 as->ioeventfds = NULL;
Avi Kivity0d673e32012-10-02 15:28:50 +02001716 QTAILQ_INSERT_TAIL(&address_spaces, as, address_spaces_link);
Alexey Kardashevskiy7dca8042013-04-29 16:25:51 +00001717 as->name = g_strdup(name ? name : "anonymous");
Avi Kivityac1970f2012-10-03 16:22:53 +02001718 address_space_init_dispatch(as);
Paolo Bonzinif43793c2013-04-16 15:39:51 +02001719 memory_region_update_pending |= root->enabled;
1720 memory_region_transaction_commit();
Avi Kivity1c0ffa52011-07-26 14:26:04 +03001721}
Avi Kivity658b2222011-07-26 14:26:08 +03001722
Avi Kivity83f3c252012-10-07 12:59:55 +02001723void address_space_destroy(AddressSpace *as)
1724{
1725 /* Flush out anything from MemoryListeners listening in on this */
1726 memory_region_transaction_begin();
1727 as->root = NULL;
1728 memory_region_transaction_commit();
1729 QTAILQ_REMOVE(&address_spaces, as, address_spaces_link);
1730 address_space_destroy_dispatch(as);
Paolo Bonzini856d7242013-05-06 11:57:21 +02001731 flatview_unref(as->current_map);
Alexey Kardashevskiy7dca8042013-04-29 16:25:51 +00001732 g_free(as->name);
Avi Kivity4c19eb72012-10-30 13:47:44 +02001733 g_free(as->ioeventfds);
Avi Kivity83f3c252012-10-07 12:59:55 +02001734}
1735
Paolo Bonzini791af8c2013-05-24 16:10:39 +02001736bool io_mem_read(MemoryRegion *mr, hwaddr addr, uint64_t *pval, unsigned size)
Avi Kivityacbbec52011-11-21 12:27:03 +02001737{
Paolo Bonzini791af8c2013-05-24 16:10:39 +02001738 return memory_region_dispatch_read(mr, addr, pval, size);
Avi Kivityacbbec52011-11-21 12:27:03 +02001739}
1740
Paolo Bonzini791af8c2013-05-24 16:10:39 +02001741bool io_mem_write(MemoryRegion *mr, hwaddr addr,
Avi Kivityacbbec52011-11-21 12:27:03 +02001742 uint64_t val, unsigned size)
1743{
Paolo Bonzini791af8c2013-05-24 16:10:39 +02001744 return memory_region_dispatch_write(mr, addr, val, size);
Avi Kivityacbbec52011-11-21 12:27:03 +02001745}
1746
Blue Swirl314e2982011-09-11 20:22:05 +00001747typedef struct MemoryRegionList MemoryRegionList;
1748
1749struct MemoryRegionList {
1750 const MemoryRegion *mr;
1751 bool printed;
1752 QTAILQ_ENTRY(MemoryRegionList) queue;
1753};
1754
1755typedef QTAILQ_HEAD(queue, MemoryRegionList) MemoryRegionListHead;
1756
1757static void mtree_print_mr(fprintf_function mon_printf, void *f,
1758 const MemoryRegion *mr, unsigned int level,
Avi Kivitya8170e52012-10-23 12:30:10 +02001759 hwaddr base,
Jan Kiszka9479c572011-09-27 15:00:41 +02001760 MemoryRegionListHead *alias_print_queue)
Blue Swirl314e2982011-09-11 20:22:05 +00001761{
Jan Kiszka9479c572011-09-27 15:00:41 +02001762 MemoryRegionList *new_ml, *ml, *next_ml;
1763 MemoryRegionListHead submr_print_queue;
Blue Swirl314e2982011-09-11 20:22:05 +00001764 const MemoryRegion *submr;
1765 unsigned int i;
1766
Jan Kiszka7ea692b2012-10-31 10:49:02 +01001767 if (!mr || !mr->enabled) {
Blue Swirl314e2982011-09-11 20:22:05 +00001768 return;
1769 }
1770
1771 for (i = 0; i < level; i++) {
1772 mon_printf(f, " ");
1773 }
1774
1775 if (mr->alias) {
1776 MemoryRegionList *ml;
1777 bool found = false;
1778
1779 /* check if the alias is already in the queue */
Jan Kiszka9479c572011-09-27 15:00:41 +02001780 QTAILQ_FOREACH(ml, alias_print_queue, queue) {
Blue Swirl314e2982011-09-11 20:22:05 +00001781 if (ml->mr == mr->alias && !ml->printed) {
1782 found = true;
1783 }
1784 }
1785
1786 if (!found) {
1787 ml = g_new(MemoryRegionList, 1);
1788 ml->mr = mr->alias;
1789 ml->printed = false;
Jan Kiszka9479c572011-09-27 15:00:41 +02001790 QTAILQ_INSERT_TAIL(alias_print_queue, ml, queue);
Blue Swirl314e2982011-09-11 20:22:05 +00001791 }
Jan Kiszka4896d742012-02-04 16:25:42 +01001792 mon_printf(f, TARGET_FMT_plx "-" TARGET_FMT_plx
1793 " (prio %d, %c%c): alias %s @%s " TARGET_FMT_plx
1794 "-" TARGET_FMT_plx "\n",
Blue Swirl314e2982011-09-11 20:22:05 +00001795 base + mr->addr,
Avi Kivity08dafab2011-10-16 13:19:17 +02001796 base + mr->addr
Alex Williamsonfd1d9922013-07-19 12:42:12 -06001797 + (int128_nz(mr->size) ?
1798 (hwaddr)int128_get64(int128_sub(mr->size,
1799 int128_one())) : 0),
Jan Kiszka4b474ba2011-09-27 15:00:31 +02001800 mr->priority,
Jan Kiszka5f9a5ea2013-05-07 19:04:25 +02001801 mr->romd_mode ? 'R' : '-',
1802 !mr->readonly && !(mr->rom_device && mr->romd_mode) ? 'W'
1803 : '-',
Blue Swirl314e2982011-09-11 20:22:05 +00001804 mr->name,
1805 mr->alias->name,
1806 mr->alias_offset,
Avi Kivity08dafab2011-10-16 13:19:17 +02001807 mr->alias_offset
Alexey Kardashevskiya66670c2013-08-30 18:10:38 +10001808 + (int128_nz(mr->size) ?
1809 (hwaddr)int128_get64(int128_sub(mr->size,
1810 int128_one())) : 0));
Blue Swirl314e2982011-09-11 20:22:05 +00001811 } else {
Jan Kiszka4896d742012-02-04 16:25:42 +01001812 mon_printf(f,
1813 TARGET_FMT_plx "-" TARGET_FMT_plx " (prio %d, %c%c): %s\n",
Blue Swirl314e2982011-09-11 20:22:05 +00001814 base + mr->addr,
Avi Kivity08dafab2011-10-16 13:19:17 +02001815 base + mr->addr
Alex Williamsonfd1d9922013-07-19 12:42:12 -06001816 + (int128_nz(mr->size) ?
1817 (hwaddr)int128_get64(int128_sub(mr->size,
1818 int128_one())) : 0),
Jan Kiszka4b474ba2011-09-27 15:00:31 +02001819 mr->priority,
Jan Kiszka5f9a5ea2013-05-07 19:04:25 +02001820 mr->romd_mode ? 'R' : '-',
1821 !mr->readonly && !(mr->rom_device && mr->romd_mode) ? 'W'
1822 : '-',
Blue Swirl314e2982011-09-11 20:22:05 +00001823 mr->name);
1824 }
Jan Kiszka9479c572011-09-27 15:00:41 +02001825
1826 QTAILQ_INIT(&submr_print_queue);
1827
Blue Swirl314e2982011-09-11 20:22:05 +00001828 QTAILQ_FOREACH(submr, &mr->subregions, subregions_link) {
Jan Kiszka9479c572011-09-27 15:00:41 +02001829 new_ml = g_new(MemoryRegionList, 1);
1830 new_ml->mr = submr;
1831 QTAILQ_FOREACH(ml, &submr_print_queue, queue) {
1832 if (new_ml->mr->addr < ml->mr->addr ||
1833 (new_ml->mr->addr == ml->mr->addr &&
1834 new_ml->mr->priority > ml->mr->priority)) {
1835 QTAILQ_INSERT_BEFORE(ml, new_ml, queue);
1836 new_ml = NULL;
1837 break;
1838 }
1839 }
1840 if (new_ml) {
1841 QTAILQ_INSERT_TAIL(&submr_print_queue, new_ml, queue);
1842 }
1843 }
1844
1845 QTAILQ_FOREACH(ml, &submr_print_queue, queue) {
1846 mtree_print_mr(mon_printf, f, ml->mr, level + 1, base + mr->addr,
1847 alias_print_queue);
1848 }
1849
Avi Kivity88365e42011-11-13 12:00:55 +02001850 QTAILQ_FOREACH_SAFE(ml, &submr_print_queue, queue, next_ml) {
Jan Kiszka9479c572011-09-27 15:00:41 +02001851 g_free(ml);
Blue Swirl314e2982011-09-11 20:22:05 +00001852 }
1853}
1854
1855void mtree_info(fprintf_function mon_printf, void *f)
1856{
1857 MemoryRegionListHead ml_head;
1858 MemoryRegionList *ml, *ml2;
Avi Kivity0d673e32012-10-02 15:28:50 +02001859 AddressSpace *as;
Blue Swirl314e2982011-09-11 20:22:05 +00001860
1861 QTAILQ_INIT(&ml_head);
1862
Avi Kivity0d673e32012-10-02 15:28:50 +02001863 QTAILQ_FOREACH(as, &address_spaces, address_spaces_link) {
Avi Kivity0d673e32012-10-02 15:28:50 +02001864 mon_printf(f, "%s\n", as->name);
1865 mtree_print_mr(mon_printf, f, as->root, 0, 0, &ml_head);
Blue Swirlb9f9be82012-03-10 16:58:35 +00001866 }
1867
1868 mon_printf(f, "aliases\n");
Blue Swirl314e2982011-09-11 20:22:05 +00001869 /* print aliased regions */
1870 QTAILQ_FOREACH(ml, &ml_head, queue) {
1871 if (!ml->printed) {
1872 mon_printf(f, "%s\n", ml->mr->name);
1873 mtree_print_mr(mon_printf, f, ml->mr, 0, 0, &ml_head);
1874 }
1875 }
1876
1877 QTAILQ_FOREACH_SAFE(ml, &ml_head, queue, ml2) {
Avi Kivity88365e42011-11-13 12:00:55 +02001878 g_free(ml);
Blue Swirl314e2982011-09-11 20:22:05 +00001879 }
Blue Swirl314e2982011-09-11 20:22:05 +00001880}