blob: 35553b52a60e770dcff99ad1259ca241dcbc1d10 [file] [log] [blame]
Avi Kivity093bc2c2011-07-26 14:26:01 +03001/*
2 * Physical memory management
3 *
4 * Copyright 2011 Red Hat, Inc. and/or its affiliates
5 *
6 * Authors:
7 * Avi Kivity <avi@redhat.com>
8 *
9 * This work is licensed under the terms of the GNU GPL, version 2. See
10 * the COPYING file in the top-level directory.
11 *
Paolo Bonzini6b620ca2012-01-13 17:44:23 +010012 * Contributions after 2012-01-13 are licensed under the terms of the
13 * GNU GPL, version 2 or (at your option) any later version.
Avi Kivity093bc2c2011-07-26 14:26:01 +030014 */
15
Paolo Bonzini022c62c2012-12-17 18:19:49 +010016#include "exec/memory.h"
17#include "exec/address-spaces.h"
18#include "exec/ioport.h"
Paolo Bonzini1de7afc2012-12-17 18:20:00 +010019#include "qemu/bitops.h"
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -040020#include "qom/object.h"
Paolo Bonzini9c17d612012-12-17 18:20:04 +010021#include "sysemu/kvm.h"
Avi Kivity093bc2c2011-07-26 14:26:01 +030022#include <assert.h>
23
Paolo Bonzini022c62c2012-12-17 18:19:49 +010024#include "exec/memory-internal.h"
Avi Kivity67d95c12011-12-15 15:25:22 +020025
Paolo Bonzinid1970632013-05-24 13:23:38 +020026//#define DEBUG_UNASSIGNED
27
Jan Kiszka22bde712012-11-05 16:45:56 +010028static unsigned memory_region_transaction_depth;
29static bool memory_region_update_pending;
Avi Kivity7664e802011-12-11 14:47:25 +020030static bool global_dirty_log = false;
31
Paolo Bonzini856d7242013-05-06 11:57:21 +020032/* flat_view_mutex is taken around reading as->current_map; the critical
33 * section is extremely short, so I'm using a single mutex for every AS.
34 * We could also RCU for the read-side.
35 *
36 * The BQL is taken around transaction commits, hence both locks are taken
37 * while writing to as->current_map (with the BQL taken outside).
38 */
39static QemuMutex flat_view_mutex;
40
Avi Kivity72e22d22012-02-08 15:05:50 +020041static QTAILQ_HEAD(memory_listeners, MemoryListener) memory_listeners
42 = QTAILQ_HEAD_INITIALIZER(memory_listeners);
Avi Kivity4ef4db82011-07-26 14:26:13 +030043
Avi Kivity0d673e32012-10-02 15:28:50 +020044static QTAILQ_HEAD(, AddressSpace) address_spaces
45 = QTAILQ_HEAD_INITIALIZER(address_spaces);
46
Paolo Bonzini856d7242013-05-06 11:57:21 +020047static void memory_init(void)
48{
49 qemu_mutex_init(&flat_view_mutex);
50}
51
Avi Kivity093bc2c2011-07-26 14:26:01 +030052typedef struct AddrRange AddrRange;
53
Avi Kivity8417ceb2011-08-03 11:56:14 +030054/*
55 * Note using signed integers limits us to physical addresses at most
56 * 63 bits wide. They are needed for negative offsetting in aliases
57 * (large MemoryRegion::alias_offset).
58 */
Avi Kivity093bc2c2011-07-26 14:26:01 +030059struct AddrRange {
Avi Kivity08dafab2011-10-16 13:19:17 +020060 Int128 start;
61 Int128 size;
Avi Kivity093bc2c2011-07-26 14:26:01 +030062};
63
Avi Kivity08dafab2011-10-16 13:19:17 +020064static AddrRange addrrange_make(Int128 start, Int128 size)
Avi Kivity093bc2c2011-07-26 14:26:01 +030065{
66 return (AddrRange) { start, size };
67}
68
69static bool addrrange_equal(AddrRange r1, AddrRange r2)
70{
Avi Kivity08dafab2011-10-16 13:19:17 +020071 return int128_eq(r1.start, r2.start) && int128_eq(r1.size, r2.size);
Avi Kivity093bc2c2011-07-26 14:26:01 +030072}
73
Avi Kivity08dafab2011-10-16 13:19:17 +020074static Int128 addrrange_end(AddrRange r)
Avi Kivity093bc2c2011-07-26 14:26:01 +030075{
Avi Kivity08dafab2011-10-16 13:19:17 +020076 return int128_add(r.start, r.size);
Avi Kivity093bc2c2011-07-26 14:26:01 +030077}
78
Avi Kivity08dafab2011-10-16 13:19:17 +020079static AddrRange addrrange_shift(AddrRange range, Int128 delta)
Avi Kivity093bc2c2011-07-26 14:26:01 +030080{
Avi Kivity08dafab2011-10-16 13:19:17 +020081 int128_addto(&range.start, delta);
Avi Kivity093bc2c2011-07-26 14:26:01 +030082 return range;
83}
84
Avi Kivity08dafab2011-10-16 13:19:17 +020085static bool addrrange_contains(AddrRange range, Int128 addr)
86{
87 return int128_ge(addr, range.start)
88 && int128_lt(addr, addrrange_end(range));
89}
90
Avi Kivity093bc2c2011-07-26 14:26:01 +030091static bool addrrange_intersects(AddrRange r1, AddrRange r2)
92{
Avi Kivity08dafab2011-10-16 13:19:17 +020093 return addrrange_contains(r1, r2.start)
94 || addrrange_contains(r2, r1.start);
Avi Kivity093bc2c2011-07-26 14:26:01 +030095}
96
97static AddrRange addrrange_intersection(AddrRange r1, AddrRange r2)
98{
Avi Kivity08dafab2011-10-16 13:19:17 +020099 Int128 start = int128_max(r1.start, r2.start);
100 Int128 end = int128_min(addrrange_end(r1), addrrange_end(r2));
101 return addrrange_make(start, int128_sub(end, start));
Avi Kivity093bc2c2011-07-26 14:26:01 +0300102}
103
Avi Kivity0e0d36b2012-02-08 16:39:45 +0200104enum ListenerDirection { Forward, Reverse };
105
Avi Kivity7376e582012-02-08 21:05:17 +0200106static bool memory_listener_match(MemoryListener *listener,
107 MemoryRegionSection *section)
108{
109 return !listener->address_space_filter
110 || listener->address_space_filter == section->address_space;
111}
112
113#define MEMORY_LISTENER_CALL_GLOBAL(_callback, _direction, _args...) \
Avi Kivity0e0d36b2012-02-08 16:39:45 +0200114 do { \
115 MemoryListener *_listener; \
116 \
117 switch (_direction) { \
118 case Forward: \
119 QTAILQ_FOREACH(_listener, &memory_listeners, link) { \
Avi Kivity975aefe2012-10-02 16:39:57 +0200120 if (_listener->_callback) { \
121 _listener->_callback(_listener, ##_args); \
122 } \
Avi Kivity0e0d36b2012-02-08 16:39:45 +0200123 } \
124 break; \
125 case Reverse: \
126 QTAILQ_FOREACH_REVERSE(_listener, &memory_listeners, \
127 memory_listeners, link) { \
Avi Kivity975aefe2012-10-02 16:39:57 +0200128 if (_listener->_callback) { \
129 _listener->_callback(_listener, ##_args); \
130 } \
Avi Kivity0e0d36b2012-02-08 16:39:45 +0200131 } \
132 break; \
133 default: \
134 abort(); \
135 } \
136 } while (0)
137
Avi Kivity7376e582012-02-08 21:05:17 +0200138#define MEMORY_LISTENER_CALL(_callback, _direction, _section, _args...) \
139 do { \
140 MemoryListener *_listener; \
141 \
142 switch (_direction) { \
143 case Forward: \
144 QTAILQ_FOREACH(_listener, &memory_listeners, link) { \
Avi Kivity975aefe2012-10-02 16:39:57 +0200145 if (_listener->_callback \
146 && memory_listener_match(_listener, _section)) { \
Avi Kivity7376e582012-02-08 21:05:17 +0200147 _listener->_callback(_listener, _section, ##_args); \
148 } \
149 } \
150 break; \
151 case Reverse: \
152 QTAILQ_FOREACH_REVERSE(_listener, &memory_listeners, \
153 memory_listeners, link) { \
Avi Kivity975aefe2012-10-02 16:39:57 +0200154 if (_listener->_callback \
155 && memory_listener_match(_listener, _section)) { \
Avi Kivity7376e582012-02-08 21:05:17 +0200156 _listener->_callback(_listener, _section, ##_args); \
157 } \
158 } \
159 break; \
160 default: \
161 abort(); \
162 } \
163 } while (0)
164
Paolo Bonzinidfde4e62013-05-06 10:46:11 +0200165/* No need to ref/unref .mr, the FlatRange keeps it alive. */
Avi Kivity0e0d36b2012-02-08 16:39:45 +0200166#define MEMORY_LISTENER_UPDATE_REGION(fr, as, dir, callback) \
Avi Kivity7376e582012-02-08 21:05:17 +0200167 MEMORY_LISTENER_CALL(callback, dir, (&(MemoryRegionSection) { \
Avi Kivity0e0d36b2012-02-08 16:39:45 +0200168 .mr = (fr)->mr, \
Avi Kivityf6790af2012-10-02 20:13:51 +0200169 .address_space = (as), \
Avi Kivity0e0d36b2012-02-08 16:39:45 +0200170 .offset_within_region = (fr)->offset_in_region, \
Paolo Bonzini052e87b2013-05-27 10:08:27 +0200171 .size = (fr)->addr.size, \
Avi Kivity0e0d36b2012-02-08 16:39:45 +0200172 .offset_within_address_space = int128_get64((fr)->addr.start), \
Avi Kivity7a8499e2012-02-08 17:01:23 +0200173 .readonly = (fr)->readonly, \
Avi Kivity7376e582012-02-08 21:05:17 +0200174 }))
Avi Kivity0e0d36b2012-02-08 16:39:45 +0200175
Avi Kivity093bc2c2011-07-26 14:26:01 +0300176struct CoalescedMemoryRange {
177 AddrRange addr;
178 QTAILQ_ENTRY(CoalescedMemoryRange) link;
179};
180
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300181struct MemoryRegionIoeventfd {
182 AddrRange addr;
183 bool match_data;
184 uint64_t data;
Paolo Bonzini753d5e12012-07-05 17:16:27 +0200185 EventNotifier *e;
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300186};
187
188static bool memory_region_ioeventfd_before(MemoryRegionIoeventfd a,
189 MemoryRegionIoeventfd b)
190{
Avi Kivity08dafab2011-10-16 13:19:17 +0200191 if (int128_lt(a.addr.start, b.addr.start)) {
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300192 return true;
Avi Kivity08dafab2011-10-16 13:19:17 +0200193 } else if (int128_gt(a.addr.start, b.addr.start)) {
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300194 return false;
Avi Kivity08dafab2011-10-16 13:19:17 +0200195 } else if (int128_lt(a.addr.size, b.addr.size)) {
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300196 return true;
Avi Kivity08dafab2011-10-16 13:19:17 +0200197 } else if (int128_gt(a.addr.size, b.addr.size)) {
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300198 return false;
199 } else if (a.match_data < b.match_data) {
200 return true;
201 } else if (a.match_data > b.match_data) {
202 return false;
203 } else if (a.match_data) {
204 if (a.data < b.data) {
205 return true;
206 } else if (a.data > b.data) {
207 return false;
208 }
209 }
Paolo Bonzini753d5e12012-07-05 17:16:27 +0200210 if (a.e < b.e) {
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300211 return true;
Paolo Bonzini753d5e12012-07-05 17:16:27 +0200212 } else if (a.e > b.e) {
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300213 return false;
214 }
215 return false;
216}
217
218static bool memory_region_ioeventfd_equal(MemoryRegionIoeventfd a,
219 MemoryRegionIoeventfd b)
220{
221 return !memory_region_ioeventfd_before(a, b)
222 && !memory_region_ioeventfd_before(b, a);
223}
224
Avi Kivity093bc2c2011-07-26 14:26:01 +0300225typedef struct FlatRange FlatRange;
226typedef struct FlatView FlatView;
227
228/* Range of memory in the global map. Addresses are absolute. */
229struct FlatRange {
230 MemoryRegion *mr;
Avi Kivitya8170e52012-10-23 12:30:10 +0200231 hwaddr offset_in_region;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300232 AddrRange addr;
Avi Kivity5a583342011-07-26 14:26:02 +0300233 uint8_t dirty_log_mask;
Jan Kiszka5f9a5ea2013-05-07 19:04:25 +0200234 bool romd_mode;
Avi Kivityfb1cd6f2011-09-25 14:48:47 +0300235 bool readonly;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300236};
237
238/* Flattened global view of current active memory hierarchy. Kept in sorted
239 * order.
240 */
241struct FlatView {
Paolo Bonzini856d7242013-05-06 11:57:21 +0200242 unsigned ref;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300243 FlatRange *ranges;
244 unsigned nr;
245 unsigned nr_allocated;
246};
247
Avi Kivitycc31e6e2011-07-26 14:26:05 +0300248typedef struct AddressSpaceOps AddressSpaceOps;
249
Avi Kivity093bc2c2011-07-26 14:26:01 +0300250#define FOR_EACH_FLAT_RANGE(var, view) \
251 for (var = (view)->ranges; var < (view)->ranges + (view)->nr; ++var)
252
Avi Kivity093bc2c2011-07-26 14:26:01 +0300253static bool flatrange_equal(FlatRange *a, FlatRange *b)
254{
255 return a->mr == b->mr
256 && addrrange_equal(a->addr, b->addr)
Avi Kivityd0a9b5b2011-08-08 19:58:49 +0300257 && a->offset_in_region == b->offset_in_region
Jan Kiszka5f9a5ea2013-05-07 19:04:25 +0200258 && a->romd_mode == b->romd_mode
Avi Kivityfb1cd6f2011-09-25 14:48:47 +0300259 && a->readonly == b->readonly;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300260}
261
262static void flatview_init(FlatView *view)
263{
Paolo Bonzini856d7242013-05-06 11:57:21 +0200264 view->ref = 1;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300265 view->ranges = NULL;
266 view->nr = 0;
267 view->nr_allocated = 0;
268}
269
270/* Insert a range into a given position. Caller is responsible for maintaining
271 * sorting order.
272 */
273static void flatview_insert(FlatView *view, unsigned pos, FlatRange *range)
274{
275 if (view->nr == view->nr_allocated) {
276 view->nr_allocated = MAX(2 * view->nr, 10);
Anthony Liguori7267c092011-08-20 22:09:37 -0500277 view->ranges = g_realloc(view->ranges,
Avi Kivity093bc2c2011-07-26 14:26:01 +0300278 view->nr_allocated * sizeof(*view->ranges));
279 }
280 memmove(view->ranges + pos + 1, view->ranges + pos,
281 (view->nr - pos) * sizeof(FlatRange));
282 view->ranges[pos] = *range;
Paolo Bonzinidfde4e62013-05-06 10:46:11 +0200283 memory_region_ref(range->mr);
Avi Kivity093bc2c2011-07-26 14:26:01 +0300284 ++view->nr;
285}
286
287static void flatview_destroy(FlatView *view)
288{
Paolo Bonzinidfde4e62013-05-06 10:46:11 +0200289 int i;
290
291 for (i = 0; i < view->nr; i++) {
292 memory_region_unref(view->ranges[i].mr);
293 }
Anthony Liguori7267c092011-08-20 22:09:37 -0500294 g_free(view->ranges);
Paolo Bonzinia9a0c062013-05-06 10:29:07 +0200295 g_free(view);
Avi Kivity093bc2c2011-07-26 14:26:01 +0300296}
297
Paolo Bonzini856d7242013-05-06 11:57:21 +0200298static void flatview_ref(FlatView *view)
299{
300 atomic_inc(&view->ref);
301}
302
303static void flatview_unref(FlatView *view)
304{
305 if (atomic_fetch_dec(&view->ref) == 1) {
306 flatview_destroy(view);
307 }
308}
309
Avi Kivity3d8e6bf2011-07-26 14:26:03 +0300310static bool can_merge(FlatRange *r1, FlatRange *r2)
311{
Avi Kivity08dafab2011-10-16 13:19:17 +0200312 return int128_eq(addrrange_end(r1->addr), r2->addr.start)
Avi Kivity3d8e6bf2011-07-26 14:26:03 +0300313 && r1->mr == r2->mr
Avi Kivity08dafab2011-10-16 13:19:17 +0200314 && int128_eq(int128_add(int128_make64(r1->offset_in_region),
315 r1->addr.size),
316 int128_make64(r2->offset_in_region))
Avi Kivityd0a9b5b2011-08-08 19:58:49 +0300317 && r1->dirty_log_mask == r2->dirty_log_mask
Jan Kiszka5f9a5ea2013-05-07 19:04:25 +0200318 && r1->romd_mode == r2->romd_mode
Avi Kivityfb1cd6f2011-09-25 14:48:47 +0300319 && r1->readonly == r2->readonly;
Avi Kivity3d8e6bf2011-07-26 14:26:03 +0300320}
321
Peter Crosthwaite8508e022013-06-03 15:31:56 +1000322/* Attempt to simplify a view by merging adjacent ranges */
Avi Kivity3d8e6bf2011-07-26 14:26:03 +0300323static void flatview_simplify(FlatView *view)
324{
325 unsigned i, j;
326
327 i = 0;
328 while (i < view->nr) {
329 j = i + 1;
330 while (j < view->nr
331 && can_merge(&view->ranges[j-1], &view->ranges[j])) {
Avi Kivity08dafab2011-10-16 13:19:17 +0200332 int128_addto(&view->ranges[i].addr.size, view->ranges[j].addr.size);
Avi Kivity3d8e6bf2011-07-26 14:26:03 +0300333 ++j;
334 }
335 ++i;
336 memmove(&view->ranges[i], &view->ranges[j],
337 (view->nr - j) * sizeof(view->ranges[j]));
338 view->nr -= j - i;
339 }
340}
341
Paolo Bonzinice5d2f32013-05-24 17:45:48 +0200342static void memory_region_oldmmio_read_accessor(void *opaque,
343 hwaddr addr,
344 uint64_t *value,
345 unsigned size,
346 unsigned shift,
347 uint64_t mask)
348{
349 MemoryRegion *mr = opaque;
350 uint64_t tmp;
351
352 tmp = mr->ops->old_mmio.read[ctz32(size)](mr->opaque, addr);
353 *value |= (tmp & mask) << shift;
354}
355
Avi Kivity164a4dc2011-08-11 10:40:25 +0300356static void memory_region_read_accessor(void *opaque,
Avi Kivitya8170e52012-10-23 12:30:10 +0200357 hwaddr addr,
Avi Kivity164a4dc2011-08-11 10:40:25 +0300358 uint64_t *value,
359 unsigned size,
360 unsigned shift,
361 uint64_t mask)
362{
363 MemoryRegion *mr = opaque;
364 uint64_t tmp;
365
Jan Kiszkad4105152012-08-23 13:02:29 +0200366 if (mr->flush_coalesced_mmio) {
367 qemu_flush_coalesced_mmio_buffer();
368 }
Avi Kivity164a4dc2011-08-11 10:40:25 +0300369 tmp = mr->ops->read(mr->opaque, addr, size);
370 *value |= (tmp & mask) << shift;
371}
372
Paolo Bonzinice5d2f32013-05-24 17:45:48 +0200373static void memory_region_oldmmio_write_accessor(void *opaque,
374 hwaddr addr,
375 uint64_t *value,
376 unsigned size,
377 unsigned shift,
378 uint64_t mask)
379{
380 MemoryRegion *mr = opaque;
381 uint64_t tmp;
382
383 tmp = (*value >> shift) & mask;
384 mr->ops->old_mmio.write[ctz32(size)](mr->opaque, addr, tmp);
385}
386
Avi Kivity164a4dc2011-08-11 10:40:25 +0300387static void memory_region_write_accessor(void *opaque,
Avi Kivitya8170e52012-10-23 12:30:10 +0200388 hwaddr addr,
Avi Kivity164a4dc2011-08-11 10:40:25 +0300389 uint64_t *value,
390 unsigned size,
391 unsigned shift,
392 uint64_t mask)
393{
394 MemoryRegion *mr = opaque;
395 uint64_t tmp;
396
Jan Kiszkad4105152012-08-23 13:02:29 +0200397 if (mr->flush_coalesced_mmio) {
398 qemu_flush_coalesced_mmio_buffer();
399 }
Avi Kivity164a4dc2011-08-11 10:40:25 +0300400 tmp = (*value >> shift) & mask;
401 mr->ops->write(mr->opaque, addr, tmp, size);
402}
403
Avi Kivitya8170e52012-10-23 12:30:10 +0200404static void access_with_adjusted_size(hwaddr addr,
Avi Kivity164a4dc2011-08-11 10:40:25 +0300405 uint64_t *value,
406 unsigned size,
407 unsigned access_size_min,
408 unsigned access_size_max,
409 void (*access)(void *opaque,
Avi Kivitya8170e52012-10-23 12:30:10 +0200410 hwaddr addr,
Avi Kivity164a4dc2011-08-11 10:40:25 +0300411 uint64_t *value,
412 unsigned size,
413 unsigned shift,
414 uint64_t mask),
415 void *opaque)
416{
417 uint64_t access_mask;
418 unsigned access_size;
419 unsigned i;
420
421 if (!access_size_min) {
422 access_size_min = 1;
423 }
424 if (!access_size_max) {
425 access_size_max = 4;
426 }
Paolo Bonzinice5d2f32013-05-24 17:45:48 +0200427
428 /* FIXME: support unaligned access? */
Avi Kivity164a4dc2011-08-11 10:40:25 +0300429 access_size = MAX(MIN(size, access_size_max), access_size_min);
430 access_mask = -1ULL >> (64 - access_size * 8);
431 for (i = 0; i < size; i += access_size) {
Paolo Bonzini08521e22013-05-24 12:54:01 +0200432#ifdef TARGET_WORDS_BIGENDIAN
433 access(opaque, addr + i, value, access_size,
434 (size - access_size - i) * 8, access_mask);
435#else
Avi Kivity164a4dc2011-08-11 10:40:25 +0300436 access(opaque, addr + i, value, access_size, i * 8, access_mask);
Paolo Bonzini08521e22013-05-24 12:54:01 +0200437#endif
Avi Kivity164a4dc2011-08-11 10:40:25 +0300438 }
439}
440
Avi Kivitye2177952011-12-08 15:00:18 +0200441static AddressSpace *memory_region_to_address_space(MemoryRegion *mr)
442{
Avi Kivity0d673e32012-10-02 15:28:50 +0200443 AddressSpace *as;
444
Avi Kivitye2177952011-12-08 15:00:18 +0200445 while (mr->parent) {
446 mr = mr->parent;
447 }
Avi Kivity0d673e32012-10-02 15:28:50 +0200448 QTAILQ_FOREACH(as, &address_spaces, address_spaces_link) {
449 if (mr == as->root) {
450 return as;
451 }
Avi Kivitye2177952011-12-08 15:00:18 +0200452 }
453 abort();
454}
455
Avi Kivity093bc2c2011-07-26 14:26:01 +0300456/* Render a memory region into the global view. Ranges in @view obscure
457 * ranges in @mr.
458 */
459static void render_memory_region(FlatView *view,
460 MemoryRegion *mr,
Avi Kivity08dafab2011-10-16 13:19:17 +0200461 Int128 base,
Avi Kivityfb1cd6f2011-09-25 14:48:47 +0300462 AddrRange clip,
463 bool readonly)
Avi Kivity093bc2c2011-07-26 14:26:01 +0300464{
465 MemoryRegion *subregion;
466 unsigned i;
Avi Kivitya8170e52012-10-23 12:30:10 +0200467 hwaddr offset_in_region;
Avi Kivity08dafab2011-10-16 13:19:17 +0200468 Int128 remain;
469 Int128 now;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300470 FlatRange fr;
471 AddrRange tmp;
472
Avi Kivity6bba19b2011-09-14 11:54:58 +0300473 if (!mr->enabled) {
474 return;
475 }
476
Avi Kivity08dafab2011-10-16 13:19:17 +0200477 int128_addto(&base, int128_make64(mr->addr));
Avi Kivityfb1cd6f2011-09-25 14:48:47 +0300478 readonly |= mr->readonly;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300479
480 tmp = addrrange_make(base, mr->size);
481
482 if (!addrrange_intersects(tmp, clip)) {
483 return;
484 }
485
486 clip = addrrange_intersection(tmp, clip);
487
488 if (mr->alias) {
Avi Kivity08dafab2011-10-16 13:19:17 +0200489 int128_subfrom(&base, int128_make64(mr->alias->addr));
490 int128_subfrom(&base, int128_make64(mr->alias_offset));
Avi Kivityfb1cd6f2011-09-25 14:48:47 +0300491 render_memory_region(view, mr->alias, base, clip, readonly);
Avi Kivity093bc2c2011-07-26 14:26:01 +0300492 return;
493 }
494
495 /* Render subregions in priority order. */
496 QTAILQ_FOREACH(subregion, &mr->subregions, subregions_link) {
Avi Kivityfb1cd6f2011-09-25 14:48:47 +0300497 render_memory_region(view, subregion, base, clip, readonly);
Avi Kivity093bc2c2011-07-26 14:26:01 +0300498 }
499
Avi Kivity14a3c102011-07-26 14:26:06 +0300500 if (!mr->terminates) {
Avi Kivity093bc2c2011-07-26 14:26:01 +0300501 return;
502 }
503
Avi Kivity08dafab2011-10-16 13:19:17 +0200504 offset_in_region = int128_get64(int128_sub(clip.start, base));
Avi Kivity093bc2c2011-07-26 14:26:01 +0300505 base = clip.start;
506 remain = clip.size;
507
Peter Crosthwaite2eb74e12013-06-03 15:33:29 +1000508 fr.mr = mr;
509 fr.dirty_log_mask = mr->dirty_log_mask;
510 fr.romd_mode = mr->romd_mode;
511 fr.readonly = readonly;
512
Avi Kivity093bc2c2011-07-26 14:26:01 +0300513 /* Render the region itself into any gaps left by the current view. */
Avi Kivity08dafab2011-10-16 13:19:17 +0200514 for (i = 0; i < view->nr && int128_nz(remain); ++i) {
515 if (int128_ge(base, addrrange_end(view->ranges[i].addr))) {
Avi Kivity093bc2c2011-07-26 14:26:01 +0300516 continue;
517 }
Avi Kivity08dafab2011-10-16 13:19:17 +0200518 if (int128_lt(base, view->ranges[i].addr.start)) {
519 now = int128_min(remain,
520 int128_sub(view->ranges[i].addr.start, base));
Avi Kivity093bc2c2011-07-26 14:26:01 +0300521 fr.offset_in_region = offset_in_region;
522 fr.addr = addrrange_make(base, now);
523 flatview_insert(view, i, &fr);
524 ++i;
Avi Kivity08dafab2011-10-16 13:19:17 +0200525 int128_addto(&base, now);
526 offset_in_region += int128_get64(now);
527 int128_subfrom(&remain, now);
Avi Kivity093bc2c2011-07-26 14:26:01 +0300528 }
Avi Kivityd26a8ca2012-10-29 18:22:36 +0200529 now = int128_sub(int128_min(int128_add(base, remain),
530 addrrange_end(view->ranges[i].addr)),
531 base);
532 int128_addto(&base, now);
533 offset_in_region += int128_get64(now);
534 int128_subfrom(&remain, now);
Avi Kivity093bc2c2011-07-26 14:26:01 +0300535 }
Avi Kivity08dafab2011-10-16 13:19:17 +0200536 if (int128_nz(remain)) {
Avi Kivity093bc2c2011-07-26 14:26:01 +0300537 fr.offset_in_region = offset_in_region;
538 fr.addr = addrrange_make(base, remain);
539 flatview_insert(view, i, &fr);
540 }
541}
542
543/* Render a memory topology into a list of disjoint absolute ranges. */
Paolo Bonzinia9a0c062013-05-06 10:29:07 +0200544static FlatView *generate_memory_topology(MemoryRegion *mr)
Avi Kivity093bc2c2011-07-26 14:26:01 +0300545{
Paolo Bonzinia9a0c062013-05-06 10:29:07 +0200546 FlatView *view;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300547
Paolo Bonzinia9a0c062013-05-06 10:29:07 +0200548 view = g_new(FlatView, 1);
549 flatview_init(view);
Avi Kivity093bc2c2011-07-26 14:26:01 +0300550
Avi Kivity83f3c252012-10-07 12:59:55 +0200551 if (mr) {
Paolo Bonzinia9a0c062013-05-06 10:29:07 +0200552 render_memory_region(view, mr, int128_zero(),
Avi Kivity83f3c252012-10-07 12:59:55 +0200553 addrrange_make(int128_zero(), int128_2_64()), false);
554 }
Paolo Bonzinia9a0c062013-05-06 10:29:07 +0200555 flatview_simplify(view);
Avi Kivity093bc2c2011-07-26 14:26:01 +0300556
557 return view;
558}
559
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300560static void address_space_add_del_ioeventfds(AddressSpace *as,
561 MemoryRegionIoeventfd *fds_new,
562 unsigned fds_new_nb,
563 MemoryRegionIoeventfd *fds_old,
564 unsigned fds_old_nb)
565{
566 unsigned iold, inew;
Avi Kivity80a1ea32012-02-08 16:39:06 +0200567 MemoryRegionIoeventfd *fd;
568 MemoryRegionSection section;
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300569
570 /* Generate a symmetric difference of the old and new fd sets, adding
571 * and deleting as necessary.
572 */
573
574 iold = inew = 0;
575 while (iold < fds_old_nb || inew < fds_new_nb) {
576 if (iold < fds_old_nb
577 && (inew == fds_new_nb
578 || memory_region_ioeventfd_before(fds_old[iold],
579 fds_new[inew]))) {
Avi Kivity80a1ea32012-02-08 16:39:06 +0200580 fd = &fds_old[iold];
581 section = (MemoryRegionSection) {
Avi Kivityf6790af2012-10-02 20:13:51 +0200582 .address_space = as,
Avi Kivity80a1ea32012-02-08 16:39:06 +0200583 .offset_within_address_space = int128_get64(fd->addr.start),
Paolo Bonzini052e87b2013-05-27 10:08:27 +0200584 .size = fd->addr.size,
Avi Kivity80a1ea32012-02-08 16:39:06 +0200585 };
586 MEMORY_LISTENER_CALL(eventfd_del, Forward, &section,
Paolo Bonzini753d5e12012-07-05 17:16:27 +0200587 fd->match_data, fd->data, fd->e);
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300588 ++iold;
589 } else if (inew < fds_new_nb
590 && (iold == fds_old_nb
591 || memory_region_ioeventfd_before(fds_new[inew],
592 fds_old[iold]))) {
Avi Kivity80a1ea32012-02-08 16:39:06 +0200593 fd = &fds_new[inew];
594 section = (MemoryRegionSection) {
Avi Kivityf6790af2012-10-02 20:13:51 +0200595 .address_space = as,
Avi Kivity80a1ea32012-02-08 16:39:06 +0200596 .offset_within_address_space = int128_get64(fd->addr.start),
Paolo Bonzini052e87b2013-05-27 10:08:27 +0200597 .size = fd->addr.size,
Avi Kivity80a1ea32012-02-08 16:39:06 +0200598 };
599 MEMORY_LISTENER_CALL(eventfd_add, Reverse, &section,
Paolo Bonzini753d5e12012-07-05 17:16:27 +0200600 fd->match_data, fd->data, fd->e);
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300601 ++inew;
602 } else {
603 ++iold;
604 ++inew;
605 }
606 }
607}
608
Paolo Bonzini856d7242013-05-06 11:57:21 +0200609static FlatView *address_space_get_flatview(AddressSpace *as)
610{
611 FlatView *view;
612
613 qemu_mutex_lock(&flat_view_mutex);
614 view = as->current_map;
615 flatview_ref(view);
616 qemu_mutex_unlock(&flat_view_mutex);
617 return view;
618}
619
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300620static void address_space_update_ioeventfds(AddressSpace *as)
621{
Paolo Bonzini99e86342013-05-06 10:26:13 +0200622 FlatView *view;
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300623 FlatRange *fr;
624 unsigned ioeventfd_nb = 0;
625 MemoryRegionIoeventfd *ioeventfds = NULL;
626 AddrRange tmp;
627 unsigned i;
628
Paolo Bonzini856d7242013-05-06 11:57:21 +0200629 view = address_space_get_flatview(as);
Paolo Bonzini99e86342013-05-06 10:26:13 +0200630 FOR_EACH_FLAT_RANGE(fr, view) {
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300631 for (i = 0; i < fr->mr->ioeventfd_nb; ++i) {
632 tmp = addrrange_shift(fr->mr->ioeventfds[i].addr,
Avi Kivity08dafab2011-10-16 13:19:17 +0200633 int128_sub(fr->addr.start,
634 int128_make64(fr->offset_in_region)));
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300635 if (addrrange_intersects(fr->addr, tmp)) {
636 ++ioeventfd_nb;
Anthony Liguori7267c092011-08-20 22:09:37 -0500637 ioeventfds = g_realloc(ioeventfds,
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300638 ioeventfd_nb * sizeof(*ioeventfds));
639 ioeventfds[ioeventfd_nb-1] = fr->mr->ioeventfds[i];
640 ioeventfds[ioeventfd_nb-1].addr = tmp;
641 }
642 }
643 }
644
645 address_space_add_del_ioeventfds(as, ioeventfds, ioeventfd_nb,
646 as->ioeventfds, as->ioeventfd_nb);
647
Anthony Liguori7267c092011-08-20 22:09:37 -0500648 g_free(as->ioeventfds);
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300649 as->ioeventfds = ioeventfds;
650 as->ioeventfd_nb = ioeventfd_nb;
Paolo Bonzini856d7242013-05-06 11:57:21 +0200651 flatview_unref(view);
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300652}
653
Avi Kivityb8af1af2011-07-26 14:26:12 +0300654static void address_space_update_topology_pass(AddressSpace *as,
Paolo Bonzinia9a0c062013-05-06 10:29:07 +0200655 const FlatView *old_view,
656 const FlatView *new_view,
Avi Kivityb8af1af2011-07-26 14:26:12 +0300657 bool adding)
Avi Kivity093bc2c2011-07-26 14:26:01 +0300658{
Avi Kivity093bc2c2011-07-26 14:26:01 +0300659 unsigned iold, inew;
660 FlatRange *frold, *frnew;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300661
662 /* Generate a symmetric difference of the old and new memory maps.
663 * Kill ranges in the old map, and instantiate ranges in the new map.
664 */
665 iold = inew = 0;
Paolo Bonzinia9a0c062013-05-06 10:29:07 +0200666 while (iold < old_view->nr || inew < new_view->nr) {
667 if (iold < old_view->nr) {
668 frold = &old_view->ranges[iold];
Avi Kivity093bc2c2011-07-26 14:26:01 +0300669 } else {
670 frold = NULL;
671 }
Paolo Bonzinia9a0c062013-05-06 10:29:07 +0200672 if (inew < new_view->nr) {
673 frnew = &new_view->ranges[inew];
Avi Kivity093bc2c2011-07-26 14:26:01 +0300674 } else {
675 frnew = NULL;
676 }
677
678 if (frold
679 && (!frnew
Avi Kivity08dafab2011-10-16 13:19:17 +0200680 || int128_lt(frold->addr.start, frnew->addr.start)
681 || (int128_eq(frold->addr.start, frnew->addr.start)
Avi Kivity093bc2c2011-07-26 14:26:01 +0300682 && !flatrange_equal(frold, frnew)))) {
Peter Crosthwaite41a6e472013-06-03 15:32:42 +1000683 /* In old but not in new, or in both but attributes changed. */
Avi Kivity093bc2c2011-07-26 14:26:01 +0300684
Avi Kivityb8af1af2011-07-26 14:26:12 +0300685 if (!adding) {
Avi Kivity72e22d22012-02-08 15:05:50 +0200686 MEMORY_LISTENER_UPDATE_REGION(frold, as, Reverse, region_del);
Avi Kivityb8af1af2011-07-26 14:26:12 +0300687 }
688
Avi Kivity093bc2c2011-07-26 14:26:01 +0300689 ++iold;
690 } else if (frold && frnew && flatrange_equal(frold, frnew)) {
Peter Crosthwaite41a6e472013-06-03 15:32:42 +1000691 /* In both and unchanged (except logging may have changed) */
Avi Kivity093bc2c2011-07-26 14:26:01 +0300692
Avi Kivityb8af1af2011-07-26 14:26:12 +0300693 if (adding) {
Avi Kivity50c1e142012-02-08 21:36:02 +0200694 MEMORY_LISTENER_UPDATE_REGION(frnew, as, Forward, region_nop);
Avi Kivityb8af1af2011-07-26 14:26:12 +0300695 if (frold->dirty_log_mask && !frnew->dirty_log_mask) {
Avi Kivity72e22d22012-02-08 15:05:50 +0200696 MEMORY_LISTENER_UPDATE_REGION(frnew, as, Reverse, log_stop);
Avi Kivityb8af1af2011-07-26 14:26:12 +0300697 } else if (frnew->dirty_log_mask && !frold->dirty_log_mask) {
Avi Kivity72e22d22012-02-08 15:05:50 +0200698 MEMORY_LISTENER_UPDATE_REGION(frnew, as, Forward, log_start);
Avi Kivityb8af1af2011-07-26 14:26:12 +0300699 }
Avi Kivity5a583342011-07-26 14:26:02 +0300700 }
701
Avi Kivity093bc2c2011-07-26 14:26:01 +0300702 ++iold;
703 ++inew;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300704 } else {
705 /* In new */
706
Avi Kivityb8af1af2011-07-26 14:26:12 +0300707 if (adding) {
Avi Kivity72e22d22012-02-08 15:05:50 +0200708 MEMORY_LISTENER_UPDATE_REGION(frnew, as, Forward, region_add);
Avi Kivityb8af1af2011-07-26 14:26:12 +0300709 }
710
Avi Kivity093bc2c2011-07-26 14:26:01 +0300711 ++inew;
712 }
713 }
Avi Kivityb8af1af2011-07-26 14:26:12 +0300714}
715
716
717static void address_space_update_topology(AddressSpace *as)
718{
Paolo Bonzini856d7242013-05-06 11:57:21 +0200719 FlatView *old_view = address_space_get_flatview(as);
Paolo Bonzinia9a0c062013-05-06 10:29:07 +0200720 FlatView *new_view = generate_memory_topology(as->root);
Avi Kivityb8af1af2011-07-26 14:26:12 +0300721
722 address_space_update_topology_pass(as, old_view, new_view, false);
723 address_space_update_topology_pass(as, old_view, new_view, true);
724
Paolo Bonzini856d7242013-05-06 11:57:21 +0200725 qemu_mutex_lock(&flat_view_mutex);
726 flatview_unref(as->current_map);
Paolo Bonzinia9a0c062013-05-06 10:29:07 +0200727 as->current_map = new_view;
Paolo Bonzini856d7242013-05-06 11:57:21 +0200728 qemu_mutex_unlock(&flat_view_mutex);
729
730 /* Note that all the old MemoryRegions are still alive up to this
731 * point. This relieves most MemoryListeners from the need to
732 * ref/unref the MemoryRegions they get---unless they use them
733 * outside the iothread mutex, in which case precise reference
734 * counting is necessary.
735 */
736 flatview_unref(old_view);
737
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300738 address_space_update_ioeventfds(as);
Avi Kivity093bc2c2011-07-26 14:26:01 +0300739}
740
Avi Kivity4ef4db82011-07-26 14:26:13 +0300741void memory_region_transaction_begin(void)
742{
Jan Kiszkabb880de2012-08-23 13:02:32 +0200743 qemu_flush_coalesced_mmio_buffer();
Avi Kivity4ef4db82011-07-26 14:26:13 +0300744 ++memory_region_transaction_depth;
745}
746
747void memory_region_transaction_commit(void)
748{
Avi Kivity0d673e32012-10-02 15:28:50 +0200749 AddressSpace *as;
750
Avi Kivity4ef4db82011-07-26 14:26:13 +0300751 assert(memory_region_transaction_depth);
752 --memory_region_transaction_depth;
Jan Kiszka22bde712012-11-05 16:45:56 +0100753 if (!memory_region_transaction_depth && memory_region_update_pending) {
754 memory_region_update_pending = false;
Jan Kiszka02e2b952012-08-23 13:02:31 +0200755 MEMORY_LISTENER_CALL_GLOBAL(begin, Forward);
756
Avi Kivity0d673e32012-10-02 15:28:50 +0200757 QTAILQ_FOREACH(as, &address_spaces, address_spaces_link) {
758 address_space_update_topology(as);
Jan Kiszka02e2b952012-08-23 13:02:31 +0200759 }
760
761 MEMORY_LISTENER_CALL_GLOBAL(commit, Forward);
Avi Kivitye87c0992011-09-14 12:16:20 +0300762 }
Avi Kivity4ef4db82011-07-26 14:26:13 +0300763}
764
Avi Kivity545e92e2011-08-08 19:58:48 +0300765static void memory_region_destructor_none(MemoryRegion *mr)
766{
767}
768
769static void memory_region_destructor_ram(MemoryRegion *mr)
770{
771 qemu_ram_free(mr->ram_addr);
772}
773
Paolo Bonzinidfde4e62013-05-06 10:46:11 +0200774static void memory_region_destructor_alias(MemoryRegion *mr)
775{
776 memory_region_unref(mr->alias);
777}
778
Avi Kivity545e92e2011-08-08 19:58:48 +0300779static void memory_region_destructor_ram_from_ptr(MemoryRegion *mr)
780{
781 qemu_ram_free_from_ptr(mr->ram_addr);
782}
783
Avi Kivityd0a9b5b2011-08-08 19:58:49 +0300784static void memory_region_destructor_rom_device(MemoryRegion *mr)
785{
786 qemu_ram_free(mr->ram_addr & TARGET_PAGE_MASK);
Avi Kivityd0a9b5b2011-08-08 19:58:49 +0300787}
788
Avi Kivitybe675c92011-11-20 16:22:55 +0200789static bool memory_region_wrong_endianness(MemoryRegion *mr)
790{
Andreas Färber2c3579a2012-01-07 09:45:14 +0100791#ifdef TARGET_WORDS_BIGENDIAN
Avi Kivitybe675c92011-11-20 16:22:55 +0200792 return mr->ops->endianness == DEVICE_LITTLE_ENDIAN;
793#else
794 return mr->ops->endianness == DEVICE_BIG_ENDIAN;
795#endif
796}
797
Avi Kivity093bc2c2011-07-26 14:26:01 +0300798void memory_region_init(MemoryRegion *mr,
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -0400799 Object *owner,
Avi Kivity093bc2c2011-07-26 14:26:01 +0300800 const char *name,
801 uint64_t size)
802{
Paolo Bonzini2cdfcf22013-05-24 13:55:52 +0200803 mr->ops = &unassigned_mem_ops;
804 mr->opaque = NULL;
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -0400805 mr->owner = owner;
Avi Kivity30951152012-10-30 13:47:46 +0200806 mr->iommu_ops = NULL;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300807 mr->parent = NULL;
Paolo Bonzini803c0812013-05-07 06:59:09 +0200808 mr->owner = NULL;
Avi Kivity08dafab2011-10-16 13:19:17 +0200809 mr->size = int128_make64(size);
810 if (size == UINT64_MAX) {
811 mr->size = int128_2_64();
812 }
Avi Kivity093bc2c2011-07-26 14:26:01 +0300813 mr->addr = 0;
Avi Kivityb3b00c72012-01-02 13:20:11 +0200814 mr->subpage = false;
Avi Kivity6bba19b2011-09-14 11:54:58 +0300815 mr->enabled = true;
Avi Kivity14a3c102011-07-26 14:26:06 +0300816 mr->terminates = false;
Avi Kivity8ea92522011-12-08 15:58:43 +0200817 mr->ram = false;
Jan Kiszka5f9a5ea2013-05-07 19:04:25 +0200818 mr->romd_mode = true;
Avi Kivityfb1cd6f2011-09-25 14:48:47 +0300819 mr->readonly = false;
Avi Kivity75c578d2012-01-02 15:40:52 +0200820 mr->rom_device = false;
Avi Kivity545e92e2011-08-08 19:58:48 +0300821 mr->destructor = memory_region_destructor_none;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300822 mr->priority = 0;
823 mr->may_overlap = false;
824 mr->alias = NULL;
825 QTAILQ_INIT(&mr->subregions);
826 memset(&mr->subregions_link, 0, sizeof mr->subregions_link);
827 QTAILQ_INIT(&mr->coalesced);
Anthony Liguori7267c092011-08-20 22:09:37 -0500828 mr->name = g_strdup(name);
Avi Kivity5a583342011-07-26 14:26:02 +0300829 mr->dirty_log_mask = 0;
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300830 mr->ioeventfd_nb = 0;
831 mr->ioeventfds = NULL;
Jan Kiszkad4105152012-08-23 13:02:29 +0200832 mr->flush_coalesced_mmio = false;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300833}
834
Paolo Bonzinib018ddf2013-05-24 14:48:38 +0200835static uint64_t unassigned_mem_read(void *opaque, hwaddr addr,
836 unsigned size)
837{
838#ifdef DEBUG_UNASSIGNED
839 printf("Unassigned mem read " TARGET_FMT_plx "\n", addr);
840#endif
Andreas Färberc658b942013-05-27 06:49:53 +0200841 if (cpu_single_env != NULL) {
842 cpu_unassigned_access(ENV_GET_CPU(cpu_single_env),
843 addr, false, false, 0, size);
844 }
Paolo Bonzinib018ddf2013-05-24 14:48:38 +0200845 return 0;
846}
847
848static void unassigned_mem_write(void *opaque, hwaddr addr,
849 uint64_t val, unsigned size)
850{
851#ifdef DEBUG_UNASSIGNED
852 printf("Unassigned mem write " TARGET_FMT_plx " = 0x%"PRIx64"\n", addr, val);
853#endif
Andreas Färberc658b942013-05-27 06:49:53 +0200854 if (cpu_single_env != NULL) {
855 cpu_unassigned_access(ENV_GET_CPU(cpu_single_env),
856 addr, true, false, 0, size);
857 }
Paolo Bonzinib018ddf2013-05-24 14:48:38 +0200858}
859
Paolo Bonzinid1970632013-05-24 13:23:38 +0200860static bool unassigned_mem_accepts(void *opaque, hwaddr addr,
861 unsigned size, bool is_write)
862{
863 return false;
864}
865
866const MemoryRegionOps unassigned_mem_ops = {
867 .valid.accepts = unassigned_mem_accepts,
868 .endianness = DEVICE_NATIVE_ENDIAN,
869};
870
Paolo Bonzinid2702032013-05-24 11:55:06 +0200871bool memory_region_access_valid(MemoryRegion *mr,
872 hwaddr addr,
873 unsigned size,
874 bool is_write)
Avi Kivity093bc2c2011-07-26 14:26:01 +0300875{
Paolo Bonzinia014ed02013-05-24 17:48:52 +0200876 int access_size_min, access_size_max;
877 int access_size, i;
Avi Kivity897fa7c2011-11-13 13:05:27 +0200878
Avi Kivity093bc2c2011-07-26 14:26:01 +0300879 if (!mr->ops->valid.unaligned && (addr & (size - 1))) {
880 return false;
881 }
882
Paolo Bonzinia014ed02013-05-24 17:48:52 +0200883 if (!mr->ops->valid.accepts) {
Avi Kivity093bc2c2011-07-26 14:26:01 +0300884 return true;
885 }
886
Paolo Bonzinia014ed02013-05-24 17:48:52 +0200887 access_size_min = mr->ops->valid.min_access_size;
888 if (!mr->ops->valid.min_access_size) {
889 access_size_min = 1;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300890 }
Paolo Bonzinia014ed02013-05-24 17:48:52 +0200891
892 access_size_max = mr->ops->valid.max_access_size;
893 if (!mr->ops->valid.max_access_size) {
894 access_size_max = 4;
895 }
896
897 access_size = MAX(MIN(size, access_size_max), access_size_min);
898 for (i = 0; i < size; i += access_size) {
899 if (!mr->ops->valid.accepts(mr->opaque, addr + i, access_size,
900 is_write)) {
901 return false;
902 }
903 }
904
Avi Kivity093bc2c2011-07-26 14:26:01 +0300905 return true;
906}
907
Avi Kivitya621f382012-01-02 13:12:08 +0200908static uint64_t memory_region_dispatch_read1(MemoryRegion *mr,
Avi Kivitya8170e52012-10-23 12:30:10 +0200909 hwaddr addr,
Avi Kivitya621f382012-01-02 13:12:08 +0200910 unsigned size)
Avi Kivity093bc2c2011-07-26 14:26:01 +0300911{
Avi Kivity164a4dc2011-08-11 10:40:25 +0300912 uint64_t data = 0;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300913
Paolo Bonzinice5d2f32013-05-24 17:45:48 +0200914 if (mr->ops->read) {
915 access_with_adjusted_size(addr, &data, size,
916 mr->ops->impl.min_access_size,
917 mr->ops->impl.max_access_size,
918 memory_region_read_accessor, mr);
919 } else {
920 access_with_adjusted_size(addr, &data, size, 1, 4,
921 memory_region_oldmmio_read_accessor, mr);
Avi Kivity74901c32011-07-26 14:26:10 +0300922 }
923
Avi Kivity093bc2c2011-07-26 14:26:01 +0300924 return data;
925}
926
Avi Kivitya621f382012-01-02 13:12:08 +0200927static void adjust_endianness(MemoryRegion *mr, uint64_t *data, unsigned size)
Avi Kivity093bc2c2011-07-26 14:26:01 +0300928{
Avi Kivitya621f382012-01-02 13:12:08 +0200929 if (memory_region_wrong_endianness(mr)) {
930 switch (size) {
931 case 1:
932 break;
933 case 2:
934 *data = bswap16(*data);
935 break;
936 case 4:
937 *data = bswap32(*data);
Andreas Färber1470a0c2012-01-07 09:45:15 +0100938 break;
Paolo Bonzini968a5622013-05-24 17:58:37 +0200939 case 8:
940 *data = bswap64(*data);
941 break;
Avi Kivitya621f382012-01-02 13:12:08 +0200942 default:
943 abort();
944 }
945 }
946}
Avi Kivity093bc2c2011-07-26 14:26:01 +0300947
Paolo Bonzini791af8c2013-05-24 16:10:39 +0200948static bool memory_region_dispatch_read(MemoryRegion *mr,
949 hwaddr addr,
950 uint64_t *pval,
951 unsigned size)
Avi Kivitya621f382012-01-02 13:12:08 +0200952{
Paolo Bonzini791af8c2013-05-24 16:10:39 +0200953 if (!memory_region_access_valid(mr, addr, size, false)) {
954 *pval = unassigned_mem_read(mr, addr, size);
955 return true;
956 }
Avi Kivitya621f382012-01-02 13:12:08 +0200957
Paolo Bonzini791af8c2013-05-24 16:10:39 +0200958 *pval = memory_region_dispatch_read1(mr, addr, size);
959 adjust_endianness(mr, pval, size);
960 return false;
Avi Kivitya621f382012-01-02 13:12:08 +0200961}
962
Paolo Bonzini791af8c2013-05-24 16:10:39 +0200963static bool memory_region_dispatch_write(MemoryRegion *mr,
Avi Kivitya8170e52012-10-23 12:30:10 +0200964 hwaddr addr,
Avi Kivitya621f382012-01-02 13:12:08 +0200965 uint64_t data,
966 unsigned size)
967{
Avi Kivity897fa7c2011-11-13 13:05:27 +0200968 if (!memory_region_access_valid(mr, addr, size, true)) {
Paolo Bonzinib018ddf2013-05-24 14:48:38 +0200969 unassigned_mem_write(mr, addr, data, size);
Paolo Bonzini791af8c2013-05-24 16:10:39 +0200970 return true;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300971 }
972
Avi Kivitya621f382012-01-02 13:12:08 +0200973 adjust_endianness(mr, &data, size);
974
Paolo Bonzinice5d2f32013-05-24 17:45:48 +0200975 if (mr->ops->write) {
976 access_with_adjusted_size(addr, &data, size,
977 mr->ops->impl.min_access_size,
978 mr->ops->impl.max_access_size,
979 memory_region_write_accessor, mr);
980 } else {
981 access_with_adjusted_size(addr, &data, size, 1, 4,
982 memory_region_oldmmio_write_accessor, mr);
Avi Kivity74901c32011-07-26 14:26:10 +0300983 }
Paolo Bonzini791af8c2013-05-24 16:10:39 +0200984 return false;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300985}
986
Avi Kivity093bc2c2011-07-26 14:26:01 +0300987void memory_region_init_io(MemoryRegion *mr,
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -0400988 Object *owner,
Avi Kivity093bc2c2011-07-26 14:26:01 +0300989 const MemoryRegionOps *ops,
990 void *opaque,
991 const char *name,
992 uint64_t size)
993{
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -0400994 memory_region_init(mr, owner, name, size);
Avi Kivity093bc2c2011-07-26 14:26:01 +0300995 mr->ops = ops;
996 mr->opaque = opaque;
Avi Kivity14a3c102011-07-26 14:26:06 +0300997 mr->terminates = true;
Avi Kivity97161e12012-03-08 19:16:39 +0200998 mr->ram_addr = ~(ram_addr_t)0;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300999}
1000
1001void memory_region_init_ram(MemoryRegion *mr,
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -04001002 Object *owner,
Avi Kivity093bc2c2011-07-26 14:26:01 +03001003 const char *name,
1004 uint64_t size)
1005{
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -04001006 memory_region_init(mr, owner, name, size);
Avi Kivity8ea92522011-12-08 15:58:43 +02001007 mr->ram = true;
Avi Kivity14a3c102011-07-26 14:26:06 +03001008 mr->terminates = true;
Avi Kivity545e92e2011-08-08 19:58:48 +03001009 mr->destructor = memory_region_destructor_ram;
Avi Kivityc5705a72011-12-20 15:59:12 +02001010 mr->ram_addr = qemu_ram_alloc(size, mr);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001011}
1012
1013void memory_region_init_ram_ptr(MemoryRegion *mr,
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -04001014 Object *owner,
Avi Kivity093bc2c2011-07-26 14:26:01 +03001015 const char *name,
1016 uint64_t size,
1017 void *ptr)
1018{
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -04001019 memory_region_init(mr, owner, name, size);
Avi Kivity8ea92522011-12-08 15:58:43 +02001020 mr->ram = true;
Avi Kivity14a3c102011-07-26 14:26:06 +03001021 mr->terminates = true;
Avi Kivity545e92e2011-08-08 19:58:48 +03001022 mr->destructor = memory_region_destructor_ram_from_ptr;
Avi Kivityc5705a72011-12-20 15:59:12 +02001023 mr->ram_addr = qemu_ram_alloc_from_ptr(size, ptr, mr);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001024}
1025
1026void memory_region_init_alias(MemoryRegion *mr,
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -04001027 Object *owner,
Avi Kivity093bc2c2011-07-26 14:26:01 +03001028 const char *name,
1029 MemoryRegion *orig,
Avi Kivitya8170e52012-10-23 12:30:10 +02001030 hwaddr offset,
Avi Kivity093bc2c2011-07-26 14:26:01 +03001031 uint64_t size)
1032{
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -04001033 memory_region_init(mr, owner, name, size);
Paolo Bonzinidfde4e62013-05-06 10:46:11 +02001034 memory_region_ref(orig);
1035 mr->destructor = memory_region_destructor_alias;
Avi Kivity093bc2c2011-07-26 14:26:01 +03001036 mr->alias = orig;
1037 mr->alias_offset = offset;
1038}
1039
Avi Kivityd0a9b5b2011-08-08 19:58:49 +03001040void memory_region_init_rom_device(MemoryRegion *mr,
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -04001041 Object *owner,
Avi Kivityd0a9b5b2011-08-08 19:58:49 +03001042 const MemoryRegionOps *ops,
Avi Kivity75f59412011-08-26 00:35:15 +03001043 void *opaque,
Avi Kivityd0a9b5b2011-08-08 19:58:49 +03001044 const char *name,
1045 uint64_t size)
1046{
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -04001047 memory_region_init(mr, owner, name, size);
Avi Kivity7bc2b9c2011-08-25 14:56:14 +03001048 mr->ops = ops;
Avi Kivity75f59412011-08-26 00:35:15 +03001049 mr->opaque = opaque;
Avi Kivityd0a9b5b2011-08-08 19:58:49 +03001050 mr->terminates = true;
Avi Kivity75c578d2012-01-02 15:40:52 +02001051 mr->rom_device = true;
Avi Kivityd0a9b5b2011-08-08 19:58:49 +03001052 mr->destructor = memory_region_destructor_rom_device;
Avi Kivityc5705a72011-12-20 15:59:12 +02001053 mr->ram_addr = qemu_ram_alloc(size, mr);
Avi Kivityd0a9b5b2011-08-08 19:58:49 +03001054}
1055
Avi Kivity30951152012-10-30 13:47:46 +02001056void memory_region_init_iommu(MemoryRegion *mr,
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -04001057 Object *owner,
Avi Kivity30951152012-10-30 13:47:46 +02001058 const MemoryRegionIOMMUOps *ops,
1059 const char *name,
1060 uint64_t size)
1061{
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -04001062 memory_region_init(mr, owner, name, size);
Avi Kivity30951152012-10-30 13:47:46 +02001063 mr->iommu_ops = ops,
1064 mr->terminates = true; /* then re-forwards */
David Gibson06866572013-05-14 19:13:56 +10001065 notifier_list_init(&mr->iommu_notify);
Avi Kivity30951152012-10-30 13:47:46 +02001066}
1067
Jan Kiszka1660e722011-10-23 16:01:19 +02001068void memory_region_init_reservation(MemoryRegion *mr,
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -04001069 Object *owner,
Jan Kiszka1660e722011-10-23 16:01:19 +02001070 const char *name,
1071 uint64_t size)
1072{
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -04001073 memory_region_init_io(mr, owner, &unassigned_mem_ops, mr, name, size);
Jan Kiszka1660e722011-10-23 16:01:19 +02001074}
1075
Avi Kivity093bc2c2011-07-26 14:26:01 +03001076void memory_region_destroy(MemoryRegion *mr)
1077{
1078 assert(QTAILQ_EMPTY(&mr->subregions));
Avi Kivity2be0e252012-10-17 17:14:41 +02001079 assert(memory_region_transaction_depth == 0);
Avi Kivity545e92e2011-08-08 19:58:48 +03001080 mr->destructor(mr);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001081 memory_region_clear_coalescing(mr);
Anthony Liguori7267c092011-08-20 22:09:37 -05001082 g_free((char *)mr->name);
1083 g_free(mr->ioeventfds);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001084}
1085
Paolo Bonzini803c0812013-05-07 06:59:09 +02001086Object *memory_region_owner(MemoryRegion *mr)
1087{
1088 return mr->owner;
1089}
1090
Paolo Bonzini46637be2013-05-07 09:06:00 +02001091void memory_region_ref(MemoryRegion *mr)
1092{
1093 if (mr && mr->owner) {
1094 object_ref(mr->owner);
1095 }
1096}
1097
1098void memory_region_unref(MemoryRegion *mr)
1099{
1100 if (mr && mr->owner) {
1101 object_unref(mr->owner);
1102 }
1103}
1104
Avi Kivity093bc2c2011-07-26 14:26:01 +03001105uint64_t memory_region_size(MemoryRegion *mr)
1106{
Avi Kivity08dafab2011-10-16 13:19:17 +02001107 if (int128_eq(mr->size, int128_2_64())) {
1108 return UINT64_MAX;
1109 }
1110 return int128_get64(mr->size);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001111}
1112
Avi Kivity8991c792011-12-20 15:53:11 +02001113const char *memory_region_name(MemoryRegion *mr)
1114{
1115 return mr->name;
1116}
1117
Avi Kivity8ea92522011-12-08 15:58:43 +02001118bool memory_region_is_ram(MemoryRegion *mr)
1119{
1120 return mr->ram;
1121}
1122
Avi Kivity55043ba2011-12-15 17:20:34 +02001123bool memory_region_is_logging(MemoryRegion *mr)
1124{
1125 return mr->dirty_log_mask;
1126}
1127
Avi Kivityce7923d2011-12-08 16:05:11 +02001128bool memory_region_is_rom(MemoryRegion *mr)
1129{
1130 return mr->ram && mr->readonly;
1131}
1132
Avi Kivity30951152012-10-30 13:47:46 +02001133bool memory_region_is_iommu(MemoryRegion *mr)
1134{
1135 return mr->iommu_ops;
1136}
1137
David Gibson06866572013-05-14 19:13:56 +10001138void memory_region_register_iommu_notifier(MemoryRegion *mr, Notifier *n)
1139{
1140 notifier_list_add(&mr->iommu_notify, n);
1141}
1142
1143void memory_region_unregister_iommu_notifier(Notifier *n)
1144{
1145 notifier_remove(n);
1146}
1147
1148void memory_region_notify_iommu(MemoryRegion *mr,
1149 IOMMUTLBEntry entry)
1150{
1151 assert(memory_region_is_iommu(mr));
1152 notifier_list_notify(&mr->iommu_notify, &entry);
1153}
1154
Avi Kivity093bc2c2011-07-26 14:26:01 +03001155void memory_region_set_log(MemoryRegion *mr, bool log, unsigned client)
1156{
Avi Kivity5a583342011-07-26 14:26:02 +03001157 uint8_t mask = 1 << client;
1158
Jan Kiszka59023ef2012-08-23 13:02:30 +02001159 memory_region_transaction_begin();
Avi Kivity5a583342011-07-26 14:26:02 +03001160 mr->dirty_log_mask = (mr->dirty_log_mask & ~mask) | (log * mask);
Jan Kiszka22bde712012-11-05 16:45:56 +01001161 memory_region_update_pending |= mr->enabled;
Jan Kiszka59023ef2012-08-23 13:02:30 +02001162 memory_region_transaction_commit();
Avi Kivity093bc2c2011-07-26 14:26:01 +03001163}
1164
Avi Kivitya8170e52012-10-23 12:30:10 +02001165bool memory_region_get_dirty(MemoryRegion *mr, hwaddr addr,
1166 hwaddr size, unsigned client)
Avi Kivity093bc2c2011-07-26 14:26:01 +03001167{
Avi Kivity14a3c102011-07-26 14:26:06 +03001168 assert(mr->terminates);
Blue Swirlcd7a45c2012-01-22 16:38:21 +00001169 return cpu_physical_memory_get_dirty(mr->ram_addr + addr, size,
1170 1 << client);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001171}
1172
Avi Kivitya8170e52012-10-23 12:30:10 +02001173void memory_region_set_dirty(MemoryRegion *mr, hwaddr addr,
1174 hwaddr size)
Avi Kivity093bc2c2011-07-26 14:26:01 +03001175{
Avi Kivity14a3c102011-07-26 14:26:06 +03001176 assert(mr->terminates);
Blue Swirlfd4aa972011-10-16 16:04:59 +00001177 return cpu_physical_memory_set_dirty_range(mr->ram_addr + addr, size, -1);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001178}
1179
Juan Quintela6c279db2012-10-17 20:24:28 +02001180bool memory_region_test_and_clear_dirty(MemoryRegion *mr, hwaddr addr,
1181 hwaddr size, unsigned client)
1182{
1183 bool ret;
1184 assert(mr->terminates);
1185 ret = cpu_physical_memory_get_dirty(mr->ram_addr + addr, size,
1186 1 << client);
1187 if (ret) {
1188 cpu_physical_memory_reset_dirty(mr->ram_addr + addr,
1189 mr->ram_addr + addr + size,
1190 1 << client);
1191 }
1192 return ret;
1193}
1194
1195
Avi Kivity093bc2c2011-07-26 14:26:01 +03001196void memory_region_sync_dirty_bitmap(MemoryRegion *mr)
1197{
Avi Kivity0d673e32012-10-02 15:28:50 +02001198 AddressSpace *as;
Avi Kivity5a583342011-07-26 14:26:02 +03001199 FlatRange *fr;
1200
Avi Kivity0d673e32012-10-02 15:28:50 +02001201 QTAILQ_FOREACH(as, &address_spaces, address_spaces_link) {
Paolo Bonzini856d7242013-05-06 11:57:21 +02001202 FlatView *view = address_space_get_flatview(as);
Paolo Bonzini99e86342013-05-06 10:26:13 +02001203 FOR_EACH_FLAT_RANGE(fr, view) {
Avi Kivity0d673e32012-10-02 15:28:50 +02001204 if (fr->mr == mr) {
1205 MEMORY_LISTENER_UPDATE_REGION(fr, as, Forward, log_sync);
1206 }
Avi Kivity5a583342011-07-26 14:26:02 +03001207 }
Paolo Bonzini856d7242013-05-06 11:57:21 +02001208 flatview_unref(view);
Avi Kivity5a583342011-07-26 14:26:02 +03001209 }
Avi Kivity093bc2c2011-07-26 14:26:01 +03001210}
1211
1212void memory_region_set_readonly(MemoryRegion *mr, bool readonly)
1213{
Avi Kivityfb1cd6f2011-09-25 14:48:47 +03001214 if (mr->readonly != readonly) {
Jan Kiszka59023ef2012-08-23 13:02:30 +02001215 memory_region_transaction_begin();
Avi Kivityfb1cd6f2011-09-25 14:48:47 +03001216 mr->readonly = readonly;
Jan Kiszka22bde712012-11-05 16:45:56 +01001217 memory_region_update_pending |= mr->enabled;
Jan Kiszka59023ef2012-08-23 13:02:30 +02001218 memory_region_transaction_commit();
Avi Kivityfb1cd6f2011-09-25 14:48:47 +03001219 }
Avi Kivity093bc2c2011-07-26 14:26:01 +03001220}
1221
Jan Kiszka5f9a5ea2013-05-07 19:04:25 +02001222void memory_region_rom_device_set_romd(MemoryRegion *mr, bool romd_mode)
Avi Kivityd0a9b5b2011-08-08 19:58:49 +03001223{
Jan Kiszka5f9a5ea2013-05-07 19:04:25 +02001224 if (mr->romd_mode != romd_mode) {
Jan Kiszka59023ef2012-08-23 13:02:30 +02001225 memory_region_transaction_begin();
Jan Kiszka5f9a5ea2013-05-07 19:04:25 +02001226 mr->romd_mode = romd_mode;
Jan Kiszka22bde712012-11-05 16:45:56 +01001227 memory_region_update_pending |= mr->enabled;
Jan Kiszka59023ef2012-08-23 13:02:30 +02001228 memory_region_transaction_commit();
Avi Kivityd0a9b5b2011-08-08 19:58:49 +03001229 }
1230}
1231
Avi Kivitya8170e52012-10-23 12:30:10 +02001232void memory_region_reset_dirty(MemoryRegion *mr, hwaddr addr,
1233 hwaddr size, unsigned client)
Avi Kivity093bc2c2011-07-26 14:26:01 +03001234{
Avi Kivity14a3c102011-07-26 14:26:06 +03001235 assert(mr->terminates);
Avi Kivity5a583342011-07-26 14:26:02 +03001236 cpu_physical_memory_reset_dirty(mr->ram_addr + addr,
1237 mr->ram_addr + addr + size,
1238 1 << client);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001239}
1240
1241void *memory_region_get_ram_ptr(MemoryRegion *mr)
1242{
1243 if (mr->alias) {
1244 return memory_region_get_ram_ptr(mr->alias) + mr->alias_offset;
1245 }
1246
Avi Kivity14a3c102011-07-26 14:26:06 +03001247 assert(mr->terminates);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001248
Jan Kiszka021d26d2011-08-30 00:38:24 +02001249 return qemu_get_ram_ptr(mr->ram_addr & TARGET_PAGE_MASK);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001250}
1251
Avi Kivity0d673e32012-10-02 15:28:50 +02001252static void memory_region_update_coalesced_range_as(MemoryRegion *mr, AddressSpace *as)
Avi Kivity093bc2c2011-07-26 14:26:01 +03001253{
Paolo Bonzini99e86342013-05-06 10:26:13 +02001254 FlatView *view;
Avi Kivity093bc2c2011-07-26 14:26:01 +03001255 FlatRange *fr;
1256 CoalescedMemoryRange *cmr;
1257 AddrRange tmp;
Avi Kivity95d29942012-10-02 18:21:54 +02001258 MemoryRegionSection section;
Avi Kivity093bc2c2011-07-26 14:26:01 +03001259
Paolo Bonzini856d7242013-05-06 11:57:21 +02001260 view = address_space_get_flatview(as);
Paolo Bonzini99e86342013-05-06 10:26:13 +02001261 FOR_EACH_FLAT_RANGE(fr, view) {
Avi Kivity093bc2c2011-07-26 14:26:01 +03001262 if (fr->mr == mr) {
Avi Kivity95d29942012-10-02 18:21:54 +02001263 section = (MemoryRegionSection) {
Avi Kivityf6790af2012-10-02 20:13:51 +02001264 .address_space = as,
Avi Kivity95d29942012-10-02 18:21:54 +02001265 .offset_within_address_space = int128_get64(fr->addr.start),
Paolo Bonzini052e87b2013-05-27 10:08:27 +02001266 .size = fr->addr.size,
Avi Kivity95d29942012-10-02 18:21:54 +02001267 };
1268
1269 MEMORY_LISTENER_CALL(coalesced_mmio_del, Reverse, &section,
1270 int128_get64(fr->addr.start),
1271 int128_get64(fr->addr.size));
Avi Kivity093bc2c2011-07-26 14:26:01 +03001272 QTAILQ_FOREACH(cmr, &mr->coalesced, link) {
1273 tmp = addrrange_shift(cmr->addr,
Avi Kivity08dafab2011-10-16 13:19:17 +02001274 int128_sub(fr->addr.start,
1275 int128_make64(fr->offset_in_region)));
Avi Kivity093bc2c2011-07-26 14:26:01 +03001276 if (!addrrange_intersects(tmp, fr->addr)) {
1277 continue;
1278 }
1279 tmp = addrrange_intersection(tmp, fr->addr);
Avi Kivity95d29942012-10-02 18:21:54 +02001280 MEMORY_LISTENER_CALL(coalesced_mmio_add, Forward, &section,
1281 int128_get64(tmp.start),
1282 int128_get64(tmp.size));
Avi Kivity093bc2c2011-07-26 14:26:01 +03001283 }
1284 }
1285 }
Paolo Bonzini856d7242013-05-06 11:57:21 +02001286 flatview_unref(view);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001287}
1288
Avi Kivity0d673e32012-10-02 15:28:50 +02001289static void memory_region_update_coalesced_range(MemoryRegion *mr)
1290{
1291 AddressSpace *as;
1292
1293 QTAILQ_FOREACH(as, &address_spaces, address_spaces_link) {
1294 memory_region_update_coalesced_range_as(mr, as);
1295 }
1296}
1297
Avi Kivity093bc2c2011-07-26 14:26:01 +03001298void memory_region_set_coalescing(MemoryRegion *mr)
1299{
1300 memory_region_clear_coalescing(mr);
Avi Kivity08dafab2011-10-16 13:19:17 +02001301 memory_region_add_coalescing(mr, 0, int128_get64(mr->size));
Avi Kivity093bc2c2011-07-26 14:26:01 +03001302}
1303
1304void memory_region_add_coalescing(MemoryRegion *mr,
Avi Kivitya8170e52012-10-23 12:30:10 +02001305 hwaddr offset,
Avi Kivity093bc2c2011-07-26 14:26:01 +03001306 uint64_t size)
1307{
Anthony Liguori7267c092011-08-20 22:09:37 -05001308 CoalescedMemoryRange *cmr = g_malloc(sizeof(*cmr));
Avi Kivity093bc2c2011-07-26 14:26:01 +03001309
Avi Kivity08dafab2011-10-16 13:19:17 +02001310 cmr->addr = addrrange_make(int128_make64(offset), int128_make64(size));
Avi Kivity093bc2c2011-07-26 14:26:01 +03001311 QTAILQ_INSERT_TAIL(&mr->coalesced, cmr, link);
1312 memory_region_update_coalesced_range(mr);
Jan Kiszkad4105152012-08-23 13:02:29 +02001313 memory_region_set_flush_coalesced(mr);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001314}
1315
1316void memory_region_clear_coalescing(MemoryRegion *mr)
1317{
1318 CoalescedMemoryRange *cmr;
1319
Jan Kiszkad4105152012-08-23 13:02:29 +02001320 qemu_flush_coalesced_mmio_buffer();
1321 mr->flush_coalesced_mmio = false;
1322
Avi Kivity093bc2c2011-07-26 14:26:01 +03001323 while (!QTAILQ_EMPTY(&mr->coalesced)) {
1324 cmr = QTAILQ_FIRST(&mr->coalesced);
1325 QTAILQ_REMOVE(&mr->coalesced, cmr, link);
Anthony Liguori7267c092011-08-20 22:09:37 -05001326 g_free(cmr);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001327 }
1328 memory_region_update_coalesced_range(mr);
1329}
1330
Jan Kiszkad4105152012-08-23 13:02:29 +02001331void memory_region_set_flush_coalesced(MemoryRegion *mr)
1332{
1333 mr->flush_coalesced_mmio = true;
1334}
1335
1336void memory_region_clear_flush_coalesced(MemoryRegion *mr)
1337{
1338 qemu_flush_coalesced_mmio_buffer();
1339 if (QTAILQ_EMPTY(&mr->coalesced)) {
1340 mr->flush_coalesced_mmio = false;
1341 }
1342}
1343
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001344void memory_region_add_eventfd(MemoryRegion *mr,
Avi Kivitya8170e52012-10-23 12:30:10 +02001345 hwaddr addr,
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001346 unsigned size,
1347 bool match_data,
1348 uint64_t data,
Paolo Bonzini753d5e12012-07-05 17:16:27 +02001349 EventNotifier *e)
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001350{
1351 MemoryRegionIoeventfd mrfd = {
Avi Kivity08dafab2011-10-16 13:19:17 +02001352 .addr.start = int128_make64(addr),
1353 .addr.size = int128_make64(size),
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001354 .match_data = match_data,
1355 .data = data,
Paolo Bonzini753d5e12012-07-05 17:16:27 +02001356 .e = e,
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001357 };
1358 unsigned i;
1359
Alexander Graf28f362b2012-10-15 20:30:28 +02001360 adjust_endianness(mr, &mrfd.data, size);
Jan Kiszka59023ef2012-08-23 13:02:30 +02001361 memory_region_transaction_begin();
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001362 for (i = 0; i < mr->ioeventfd_nb; ++i) {
1363 if (memory_region_ioeventfd_before(mrfd, mr->ioeventfds[i])) {
1364 break;
1365 }
1366 }
1367 ++mr->ioeventfd_nb;
Anthony Liguori7267c092011-08-20 22:09:37 -05001368 mr->ioeventfds = g_realloc(mr->ioeventfds,
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001369 sizeof(*mr->ioeventfds) * mr->ioeventfd_nb);
1370 memmove(&mr->ioeventfds[i+1], &mr->ioeventfds[i],
1371 sizeof(*mr->ioeventfds) * (mr->ioeventfd_nb-1 - i));
1372 mr->ioeventfds[i] = mrfd;
Jan Kiszka22bde712012-11-05 16:45:56 +01001373 memory_region_update_pending |= mr->enabled;
Jan Kiszka59023ef2012-08-23 13:02:30 +02001374 memory_region_transaction_commit();
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001375}
1376
1377void memory_region_del_eventfd(MemoryRegion *mr,
Avi Kivitya8170e52012-10-23 12:30:10 +02001378 hwaddr addr,
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001379 unsigned size,
1380 bool match_data,
1381 uint64_t data,
Paolo Bonzini753d5e12012-07-05 17:16:27 +02001382 EventNotifier *e)
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001383{
1384 MemoryRegionIoeventfd mrfd = {
Avi Kivity08dafab2011-10-16 13:19:17 +02001385 .addr.start = int128_make64(addr),
1386 .addr.size = int128_make64(size),
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001387 .match_data = match_data,
1388 .data = data,
Paolo Bonzini753d5e12012-07-05 17:16:27 +02001389 .e = e,
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001390 };
1391 unsigned i;
1392
Alexander Graf28f362b2012-10-15 20:30:28 +02001393 adjust_endianness(mr, &mrfd.data, size);
Jan Kiszka59023ef2012-08-23 13:02:30 +02001394 memory_region_transaction_begin();
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001395 for (i = 0; i < mr->ioeventfd_nb; ++i) {
1396 if (memory_region_ioeventfd_equal(mrfd, mr->ioeventfds[i])) {
1397 break;
1398 }
1399 }
1400 assert(i != mr->ioeventfd_nb);
1401 memmove(&mr->ioeventfds[i], &mr->ioeventfds[i+1],
1402 sizeof(*mr->ioeventfds) * (mr->ioeventfd_nb - (i+1)));
1403 --mr->ioeventfd_nb;
Anthony Liguori7267c092011-08-20 22:09:37 -05001404 mr->ioeventfds = g_realloc(mr->ioeventfds,
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001405 sizeof(*mr->ioeventfds)*mr->ioeventfd_nb + 1);
Jan Kiszka22bde712012-11-05 16:45:56 +01001406 memory_region_update_pending |= mr->enabled;
Jan Kiszka59023ef2012-08-23 13:02:30 +02001407 memory_region_transaction_commit();
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001408}
1409
Avi Kivity093bc2c2011-07-26 14:26:01 +03001410static void memory_region_add_subregion_common(MemoryRegion *mr,
Avi Kivitya8170e52012-10-23 12:30:10 +02001411 hwaddr offset,
Avi Kivity093bc2c2011-07-26 14:26:01 +03001412 MemoryRegion *subregion)
1413{
1414 MemoryRegion *other;
1415
Jan Kiszka59023ef2012-08-23 13:02:30 +02001416 memory_region_transaction_begin();
1417
Avi Kivity093bc2c2011-07-26 14:26:01 +03001418 assert(!subregion->parent);
Paolo Bonzinidfde4e62013-05-06 10:46:11 +02001419 memory_region_ref(subregion);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001420 subregion->parent = mr;
1421 subregion->addr = offset;
1422 QTAILQ_FOREACH(other, &mr->subregions, subregions_link) {
1423 if (subregion->may_overlap || other->may_overlap) {
1424 continue;
1425 }
Hu Tao2c7cfd62013-03-15 14:32:01 +08001426 if (int128_ge(int128_make64(offset),
Avi Kivity08dafab2011-10-16 13:19:17 +02001427 int128_add(int128_make64(other->addr), other->size))
1428 || int128_le(int128_add(int128_make64(offset), subregion->size),
1429 int128_make64(other->addr))) {
Avi Kivity093bc2c2011-07-26 14:26:01 +03001430 continue;
1431 }
Anthony Liguoria5e1cbc2011-08-22 11:14:56 -05001432#if 0
Michael Walle860329b2011-09-15 23:16:49 +02001433 printf("warning: subregion collision %llx/%llx (%s) "
1434 "vs %llx/%llx (%s)\n",
Avi Kivity093bc2c2011-07-26 14:26:01 +03001435 (unsigned long long)offset,
Avi Kivity08dafab2011-10-16 13:19:17 +02001436 (unsigned long long)int128_get64(subregion->size),
Michael Walle860329b2011-09-15 23:16:49 +02001437 subregion->name,
1438 (unsigned long long)other->addr,
Avi Kivity08dafab2011-10-16 13:19:17 +02001439 (unsigned long long)int128_get64(other->size),
Michael Walle860329b2011-09-15 23:16:49 +02001440 other->name);
Anthony Liguoria5e1cbc2011-08-22 11:14:56 -05001441#endif
Avi Kivity093bc2c2011-07-26 14:26:01 +03001442 }
1443 QTAILQ_FOREACH(other, &mr->subregions, subregions_link) {
1444 if (subregion->priority >= other->priority) {
1445 QTAILQ_INSERT_BEFORE(other, subregion, subregions_link);
1446 goto done;
1447 }
1448 }
1449 QTAILQ_INSERT_TAIL(&mr->subregions, subregion, subregions_link);
1450done:
Jan Kiszka22bde712012-11-05 16:45:56 +01001451 memory_region_update_pending |= mr->enabled && subregion->enabled;
Jan Kiszka59023ef2012-08-23 13:02:30 +02001452 memory_region_transaction_commit();
Avi Kivity093bc2c2011-07-26 14:26:01 +03001453}
1454
1455
1456void memory_region_add_subregion(MemoryRegion *mr,
Avi Kivitya8170e52012-10-23 12:30:10 +02001457 hwaddr offset,
Avi Kivity093bc2c2011-07-26 14:26:01 +03001458 MemoryRegion *subregion)
1459{
1460 subregion->may_overlap = false;
1461 subregion->priority = 0;
1462 memory_region_add_subregion_common(mr, offset, subregion);
1463}
1464
1465void memory_region_add_subregion_overlap(MemoryRegion *mr,
Avi Kivitya8170e52012-10-23 12:30:10 +02001466 hwaddr offset,
Avi Kivity093bc2c2011-07-26 14:26:01 +03001467 MemoryRegion *subregion,
1468 unsigned priority)
1469{
1470 subregion->may_overlap = true;
1471 subregion->priority = priority;
1472 memory_region_add_subregion_common(mr, offset, subregion);
1473}
1474
1475void memory_region_del_subregion(MemoryRegion *mr,
1476 MemoryRegion *subregion)
1477{
Jan Kiszka59023ef2012-08-23 13:02:30 +02001478 memory_region_transaction_begin();
Avi Kivity093bc2c2011-07-26 14:26:01 +03001479 assert(subregion->parent == mr);
1480 subregion->parent = NULL;
1481 QTAILQ_REMOVE(&mr->subregions, subregion, subregions_link);
Paolo Bonzinidfde4e62013-05-06 10:46:11 +02001482 memory_region_unref(subregion);
Jan Kiszka22bde712012-11-05 16:45:56 +01001483 memory_region_update_pending |= mr->enabled && subregion->enabled;
Jan Kiszka59023ef2012-08-23 13:02:30 +02001484 memory_region_transaction_commit();
Avi Kivity6bba19b2011-09-14 11:54:58 +03001485}
1486
1487void memory_region_set_enabled(MemoryRegion *mr, bool enabled)
1488{
1489 if (enabled == mr->enabled) {
1490 return;
1491 }
Jan Kiszka59023ef2012-08-23 13:02:30 +02001492 memory_region_transaction_begin();
Avi Kivity6bba19b2011-09-14 11:54:58 +03001493 mr->enabled = enabled;
Jan Kiszka22bde712012-11-05 16:45:56 +01001494 memory_region_update_pending = true;
Jan Kiszka59023ef2012-08-23 13:02:30 +02001495 memory_region_transaction_commit();
Avi Kivity093bc2c2011-07-26 14:26:01 +03001496}
Avi Kivity1c0ffa52011-07-26 14:26:04 +03001497
Avi Kivitya8170e52012-10-23 12:30:10 +02001498void memory_region_set_address(MemoryRegion *mr, hwaddr addr)
Avi Kivity2282e1a2011-09-14 12:10:12 +03001499{
1500 MemoryRegion *parent = mr->parent;
1501 unsigned priority = mr->priority;
1502 bool may_overlap = mr->may_overlap;
1503
1504 if (addr == mr->addr || !parent) {
1505 mr->addr = addr;
1506 return;
1507 }
1508
1509 memory_region_transaction_begin();
Paolo Bonzinidfde4e62013-05-06 10:46:11 +02001510 memory_region_ref(mr);
Avi Kivity2282e1a2011-09-14 12:10:12 +03001511 memory_region_del_subregion(parent, mr);
1512 if (may_overlap) {
1513 memory_region_add_subregion_overlap(parent, addr, mr, priority);
1514 } else {
1515 memory_region_add_subregion(parent, addr, mr);
1516 }
Paolo Bonzinidfde4e62013-05-06 10:46:11 +02001517 memory_region_unref(mr);
Avi Kivity2282e1a2011-09-14 12:10:12 +03001518 memory_region_transaction_commit();
1519}
1520
Avi Kivitya8170e52012-10-23 12:30:10 +02001521void memory_region_set_alias_offset(MemoryRegion *mr, hwaddr offset)
Avi Kivity47033592011-12-04 19:16:50 +02001522{
Avi Kivity47033592011-12-04 19:16:50 +02001523 assert(mr->alias);
Avi Kivity47033592011-12-04 19:16:50 +02001524
Jan Kiszka59023ef2012-08-23 13:02:30 +02001525 if (offset == mr->alias_offset) {
Avi Kivity47033592011-12-04 19:16:50 +02001526 return;
1527 }
1528
Jan Kiszka59023ef2012-08-23 13:02:30 +02001529 memory_region_transaction_begin();
1530 mr->alias_offset = offset;
Jan Kiszka22bde712012-11-05 16:45:56 +01001531 memory_region_update_pending |= mr->enabled;
Jan Kiszka59023ef2012-08-23 13:02:30 +02001532 memory_region_transaction_commit();
Avi Kivity47033592011-12-04 19:16:50 +02001533}
1534
Avi Kivitye34911c2011-12-19 12:06:23 +02001535ram_addr_t memory_region_get_ram_addr(MemoryRegion *mr)
1536{
Avi Kivitye34911c2011-12-19 12:06:23 +02001537 return mr->ram_addr;
1538}
1539
Avi Kivitye2177952011-12-08 15:00:18 +02001540static int cmp_flatrange_addr(const void *addr_, const void *fr_)
1541{
1542 const AddrRange *addr = addr_;
1543 const FlatRange *fr = fr_;
1544
1545 if (int128_le(addrrange_end(*addr), fr->addr.start)) {
1546 return -1;
1547 } else if (int128_ge(addr->start, addrrange_end(fr->addr))) {
1548 return 1;
1549 }
1550 return 0;
1551}
1552
Paolo Bonzini99e86342013-05-06 10:26:13 +02001553static FlatRange *flatview_lookup(FlatView *view, AddrRange addr)
Avi Kivitye2177952011-12-08 15:00:18 +02001554{
Paolo Bonzini99e86342013-05-06 10:26:13 +02001555 return bsearch(&addr, view->ranges, view->nr,
Avi Kivitye2177952011-12-08 15:00:18 +02001556 sizeof(FlatRange), cmp_flatrange_addr);
1557}
1558
Paolo Bonzini3ce10902013-07-02 13:40:48 +02001559bool memory_region_present(MemoryRegion *parent, hwaddr addr)
1560{
1561 MemoryRegion *mr = memory_region_find(parent, addr, 1).mr;
1562 if (!mr) {
1563 return false;
1564 }
Paolo Bonzinidfde4e62013-05-06 10:46:11 +02001565 memory_region_unref(mr);
Paolo Bonzini3ce10902013-07-02 13:40:48 +02001566 return true;
1567}
1568
Paolo Bonzini73034e92013-05-07 15:48:28 +02001569MemoryRegionSection memory_region_find(MemoryRegion *mr,
Avi Kivitya8170e52012-10-23 12:30:10 +02001570 hwaddr addr, uint64_t size)
Avi Kivitye2177952011-12-08 15:00:18 +02001571{
Paolo Bonzini052e87b2013-05-27 10:08:27 +02001572 MemoryRegionSection ret = { .mr = NULL };
Paolo Bonzini73034e92013-05-07 15:48:28 +02001573 MemoryRegion *root;
1574 AddressSpace *as;
1575 AddrRange range;
Paolo Bonzini99e86342013-05-06 10:26:13 +02001576 FlatView *view;
Paolo Bonzini73034e92013-05-07 15:48:28 +02001577 FlatRange *fr;
Avi Kivitye2177952011-12-08 15:00:18 +02001578
Paolo Bonzini73034e92013-05-07 15:48:28 +02001579 addr += mr->addr;
1580 for (root = mr; root->parent; ) {
1581 root = root->parent;
1582 addr += root->addr;
1583 }
1584
1585 as = memory_region_to_address_space(root);
1586 range = addrrange_make(int128_make64(addr), int128_make64(size));
Paolo Bonzini99e86342013-05-06 10:26:13 +02001587
Paolo Bonzini856d7242013-05-06 11:57:21 +02001588 view = address_space_get_flatview(as);
Paolo Bonzini99e86342013-05-06 10:26:13 +02001589 fr = flatview_lookup(view, range);
Avi Kivitye2177952011-12-08 15:00:18 +02001590 if (!fr) {
1591 return ret;
1592 }
1593
Paolo Bonzini99e86342013-05-06 10:26:13 +02001594 while (fr > view->ranges && addrrange_intersects(fr[-1].addr, range)) {
Avi Kivitye2177952011-12-08 15:00:18 +02001595 --fr;
1596 }
1597
1598 ret.mr = fr->mr;
Paolo Bonzini73034e92013-05-07 15:48:28 +02001599 ret.address_space = as;
Avi Kivitye2177952011-12-08 15:00:18 +02001600 range = addrrange_intersection(range, fr->addr);
1601 ret.offset_within_region = fr->offset_in_region;
1602 ret.offset_within_region += int128_get64(int128_sub(range.start,
1603 fr->addr.start));
Paolo Bonzini052e87b2013-05-27 10:08:27 +02001604 ret.size = range.size;
Avi Kivitye2177952011-12-08 15:00:18 +02001605 ret.offset_within_address_space = int128_get64(range.start);
Avi Kivity7a8499e2012-02-08 17:01:23 +02001606 ret.readonly = fr->readonly;
Paolo Bonzinidfde4e62013-05-06 10:46:11 +02001607 memory_region_ref(ret.mr);
1608
Paolo Bonzini856d7242013-05-06 11:57:21 +02001609 flatview_unref(view);
Avi Kivitye2177952011-12-08 15:00:18 +02001610 return ret;
1611}
1612
Paolo Bonzini1d671362013-04-24 10:46:55 +02001613void address_space_sync_dirty_bitmap(AddressSpace *as)
Avi Kivity86e775c2011-12-15 16:24:49 +02001614{
Paolo Bonzini99e86342013-05-06 10:26:13 +02001615 FlatView *view;
Avi Kivity7664e802011-12-11 14:47:25 +02001616 FlatRange *fr;
1617
Paolo Bonzini856d7242013-05-06 11:57:21 +02001618 view = address_space_get_flatview(as);
Paolo Bonzini99e86342013-05-06 10:26:13 +02001619 FOR_EACH_FLAT_RANGE(fr, view) {
Avi Kivity72e22d22012-02-08 15:05:50 +02001620 MEMORY_LISTENER_UPDATE_REGION(fr, as, Forward, log_sync);
Avi Kivity7664e802011-12-11 14:47:25 +02001621 }
Paolo Bonzini856d7242013-05-06 11:57:21 +02001622 flatview_unref(view);
Avi Kivity7664e802011-12-11 14:47:25 +02001623}
1624
1625void memory_global_dirty_log_start(void)
1626{
Avi Kivity7664e802011-12-11 14:47:25 +02001627 global_dirty_log = true;
Avi Kivity7376e582012-02-08 21:05:17 +02001628 MEMORY_LISTENER_CALL_GLOBAL(log_global_start, Forward);
Avi Kivity7664e802011-12-11 14:47:25 +02001629}
1630
1631void memory_global_dirty_log_stop(void)
1632{
Avi Kivity7664e802011-12-11 14:47:25 +02001633 global_dirty_log = false;
Avi Kivity7376e582012-02-08 21:05:17 +02001634 MEMORY_LISTENER_CALL_GLOBAL(log_global_stop, Reverse);
Avi Kivity7664e802011-12-11 14:47:25 +02001635}
1636
1637static void listener_add_address_space(MemoryListener *listener,
1638 AddressSpace *as)
1639{
Paolo Bonzini99e86342013-05-06 10:26:13 +02001640 FlatView *view;
Avi Kivity7664e802011-12-11 14:47:25 +02001641 FlatRange *fr;
1642
Julien Grall221b3a32012-04-04 15:15:41 +01001643 if (listener->address_space_filter
Avi Kivityf6790af2012-10-02 20:13:51 +02001644 && listener->address_space_filter != as) {
Julien Grall221b3a32012-04-04 15:15:41 +01001645 return;
1646 }
1647
Avi Kivity7664e802011-12-11 14:47:25 +02001648 if (global_dirty_log) {
Avi Kivity975aefe2012-10-02 16:39:57 +02001649 if (listener->log_global_start) {
1650 listener->log_global_start(listener);
1651 }
Avi Kivity7664e802011-12-11 14:47:25 +02001652 }
Avi Kivity975aefe2012-10-02 16:39:57 +02001653
Paolo Bonzini856d7242013-05-06 11:57:21 +02001654 view = address_space_get_flatview(as);
Paolo Bonzini99e86342013-05-06 10:26:13 +02001655 FOR_EACH_FLAT_RANGE(fr, view) {
Avi Kivity7664e802011-12-11 14:47:25 +02001656 MemoryRegionSection section = {
1657 .mr = fr->mr,
Avi Kivityf6790af2012-10-02 20:13:51 +02001658 .address_space = as,
Avi Kivity7664e802011-12-11 14:47:25 +02001659 .offset_within_region = fr->offset_in_region,
Paolo Bonzini052e87b2013-05-27 10:08:27 +02001660 .size = fr->addr.size,
Avi Kivity7664e802011-12-11 14:47:25 +02001661 .offset_within_address_space = int128_get64(fr->addr.start),
Avi Kivity7a8499e2012-02-08 17:01:23 +02001662 .readonly = fr->readonly,
Avi Kivity7664e802011-12-11 14:47:25 +02001663 };
Avi Kivity975aefe2012-10-02 16:39:57 +02001664 if (listener->region_add) {
1665 listener->region_add(listener, &section);
1666 }
Avi Kivity7664e802011-12-11 14:47:25 +02001667 }
Paolo Bonzini856d7242013-05-06 11:57:21 +02001668 flatview_unref(view);
Avi Kivity7664e802011-12-11 14:47:25 +02001669}
1670
Avi Kivityf6790af2012-10-02 20:13:51 +02001671void memory_listener_register(MemoryListener *listener, AddressSpace *filter)
Avi Kivity7664e802011-12-11 14:47:25 +02001672{
Avi Kivity72e22d22012-02-08 15:05:50 +02001673 MemoryListener *other = NULL;
Avi Kivity0d673e32012-10-02 15:28:50 +02001674 AddressSpace *as;
Avi Kivity72e22d22012-02-08 15:05:50 +02001675
Avi Kivity7376e582012-02-08 21:05:17 +02001676 listener->address_space_filter = filter;
Avi Kivity72e22d22012-02-08 15:05:50 +02001677 if (QTAILQ_EMPTY(&memory_listeners)
1678 || listener->priority >= QTAILQ_LAST(&memory_listeners,
1679 memory_listeners)->priority) {
1680 QTAILQ_INSERT_TAIL(&memory_listeners, listener, link);
1681 } else {
1682 QTAILQ_FOREACH(other, &memory_listeners, link) {
1683 if (listener->priority < other->priority) {
1684 break;
1685 }
1686 }
1687 QTAILQ_INSERT_BEFORE(other, listener, link);
1688 }
Avi Kivity0d673e32012-10-02 15:28:50 +02001689
1690 QTAILQ_FOREACH(as, &address_spaces, address_spaces_link) {
1691 listener_add_address_space(listener, as);
1692 }
Avi Kivity7664e802011-12-11 14:47:25 +02001693}
1694
1695void memory_listener_unregister(MemoryListener *listener)
1696{
Avi Kivity72e22d22012-02-08 15:05:50 +02001697 QTAILQ_REMOVE(&memory_listeners, listener, link);
Avi Kivity86e775c2011-12-15 16:24:49 +02001698}
Avi Kivitye2177952011-12-08 15:00:18 +02001699
Alexey Kardashevskiy7dca8042013-04-29 16:25:51 +00001700void address_space_init(AddressSpace *as, MemoryRegion *root, const char *name)
Avi Kivity1c0ffa52011-07-26 14:26:04 +03001701{
Paolo Bonzini856d7242013-05-06 11:57:21 +02001702 if (QTAILQ_EMPTY(&address_spaces)) {
1703 memory_init();
1704 }
1705
Jan Kiszka59023ef2012-08-23 13:02:30 +02001706 memory_region_transaction_begin();
Avi Kivity8786db72012-10-02 13:53:41 +02001707 as->root = root;
1708 as->current_map = g_new(FlatView, 1);
1709 flatview_init(as->current_map);
Avi Kivity4c19eb72012-10-30 13:47:44 +02001710 as->ioeventfd_nb = 0;
1711 as->ioeventfds = NULL;
Avi Kivity0d673e32012-10-02 15:28:50 +02001712 QTAILQ_INSERT_TAIL(&address_spaces, as, address_spaces_link);
Alexey Kardashevskiy7dca8042013-04-29 16:25:51 +00001713 as->name = g_strdup(name ? name : "anonymous");
Avi Kivityac1970f2012-10-03 16:22:53 +02001714 address_space_init_dispatch(as);
Paolo Bonzinif43793c2013-04-16 15:39:51 +02001715 memory_region_update_pending |= root->enabled;
1716 memory_region_transaction_commit();
Avi Kivity1c0ffa52011-07-26 14:26:04 +03001717}
Avi Kivity658b2222011-07-26 14:26:08 +03001718
Avi Kivity83f3c252012-10-07 12:59:55 +02001719void address_space_destroy(AddressSpace *as)
1720{
1721 /* Flush out anything from MemoryListeners listening in on this */
1722 memory_region_transaction_begin();
1723 as->root = NULL;
1724 memory_region_transaction_commit();
1725 QTAILQ_REMOVE(&address_spaces, as, address_spaces_link);
1726 address_space_destroy_dispatch(as);
Paolo Bonzini856d7242013-05-06 11:57:21 +02001727 flatview_unref(as->current_map);
Alexey Kardashevskiy7dca8042013-04-29 16:25:51 +00001728 g_free(as->name);
Avi Kivity4c19eb72012-10-30 13:47:44 +02001729 g_free(as->ioeventfds);
Avi Kivity83f3c252012-10-07 12:59:55 +02001730}
1731
Paolo Bonzini791af8c2013-05-24 16:10:39 +02001732bool io_mem_read(MemoryRegion *mr, hwaddr addr, uint64_t *pval, unsigned size)
Avi Kivityacbbec52011-11-21 12:27:03 +02001733{
Paolo Bonzini791af8c2013-05-24 16:10:39 +02001734 return memory_region_dispatch_read(mr, addr, pval, size);
Avi Kivityacbbec52011-11-21 12:27:03 +02001735}
1736
Paolo Bonzini791af8c2013-05-24 16:10:39 +02001737bool io_mem_write(MemoryRegion *mr, hwaddr addr,
Avi Kivityacbbec52011-11-21 12:27:03 +02001738 uint64_t val, unsigned size)
1739{
Paolo Bonzini791af8c2013-05-24 16:10:39 +02001740 return memory_region_dispatch_write(mr, addr, val, size);
Avi Kivityacbbec52011-11-21 12:27:03 +02001741}
1742
Blue Swirl314e2982011-09-11 20:22:05 +00001743typedef struct MemoryRegionList MemoryRegionList;
1744
1745struct MemoryRegionList {
1746 const MemoryRegion *mr;
1747 bool printed;
1748 QTAILQ_ENTRY(MemoryRegionList) queue;
1749};
1750
1751typedef QTAILQ_HEAD(queue, MemoryRegionList) MemoryRegionListHead;
1752
1753static void mtree_print_mr(fprintf_function mon_printf, void *f,
1754 const MemoryRegion *mr, unsigned int level,
Avi Kivitya8170e52012-10-23 12:30:10 +02001755 hwaddr base,
Jan Kiszka9479c572011-09-27 15:00:41 +02001756 MemoryRegionListHead *alias_print_queue)
Blue Swirl314e2982011-09-11 20:22:05 +00001757{
Jan Kiszka9479c572011-09-27 15:00:41 +02001758 MemoryRegionList *new_ml, *ml, *next_ml;
1759 MemoryRegionListHead submr_print_queue;
Blue Swirl314e2982011-09-11 20:22:05 +00001760 const MemoryRegion *submr;
1761 unsigned int i;
1762
Jan Kiszka7ea692b2012-10-31 10:49:02 +01001763 if (!mr || !mr->enabled) {
Blue Swirl314e2982011-09-11 20:22:05 +00001764 return;
1765 }
1766
1767 for (i = 0; i < level; i++) {
1768 mon_printf(f, " ");
1769 }
1770
1771 if (mr->alias) {
1772 MemoryRegionList *ml;
1773 bool found = false;
1774
1775 /* check if the alias is already in the queue */
Jan Kiszka9479c572011-09-27 15:00:41 +02001776 QTAILQ_FOREACH(ml, alias_print_queue, queue) {
Blue Swirl314e2982011-09-11 20:22:05 +00001777 if (ml->mr == mr->alias && !ml->printed) {
1778 found = true;
1779 }
1780 }
1781
1782 if (!found) {
1783 ml = g_new(MemoryRegionList, 1);
1784 ml->mr = mr->alias;
1785 ml->printed = false;
Jan Kiszka9479c572011-09-27 15:00:41 +02001786 QTAILQ_INSERT_TAIL(alias_print_queue, ml, queue);
Blue Swirl314e2982011-09-11 20:22:05 +00001787 }
Jan Kiszka4896d742012-02-04 16:25:42 +01001788 mon_printf(f, TARGET_FMT_plx "-" TARGET_FMT_plx
1789 " (prio %d, %c%c): alias %s @%s " TARGET_FMT_plx
1790 "-" TARGET_FMT_plx "\n",
Blue Swirl314e2982011-09-11 20:22:05 +00001791 base + mr->addr,
Avi Kivity08dafab2011-10-16 13:19:17 +02001792 base + mr->addr
Paolo Bonzini052e87b2013-05-27 10:08:27 +02001793 + (hwaddr)int128_get64(int128_sub(mr->size, int128_make64(1))),
Jan Kiszka4b474ba2011-09-27 15:00:31 +02001794 mr->priority,
Jan Kiszka5f9a5ea2013-05-07 19:04:25 +02001795 mr->romd_mode ? 'R' : '-',
1796 !mr->readonly && !(mr->rom_device && mr->romd_mode) ? 'W'
1797 : '-',
Blue Swirl314e2982011-09-11 20:22:05 +00001798 mr->name,
1799 mr->alias->name,
1800 mr->alias_offset,
Avi Kivity08dafab2011-10-16 13:19:17 +02001801 mr->alias_offset
Avi Kivitya8170e52012-10-23 12:30:10 +02001802 + (hwaddr)int128_get64(mr->size) - 1);
Blue Swirl314e2982011-09-11 20:22:05 +00001803 } else {
Jan Kiszka4896d742012-02-04 16:25:42 +01001804 mon_printf(f,
1805 TARGET_FMT_plx "-" TARGET_FMT_plx " (prio %d, %c%c): %s\n",
Blue Swirl314e2982011-09-11 20:22:05 +00001806 base + mr->addr,
Avi Kivity08dafab2011-10-16 13:19:17 +02001807 base + mr->addr
Paolo Bonzini052e87b2013-05-27 10:08:27 +02001808 + (hwaddr)int128_get64(int128_sub(mr->size, int128_make64(1))),
Jan Kiszka4b474ba2011-09-27 15:00:31 +02001809 mr->priority,
Jan Kiszka5f9a5ea2013-05-07 19:04:25 +02001810 mr->romd_mode ? 'R' : '-',
1811 !mr->readonly && !(mr->rom_device && mr->romd_mode) ? 'W'
1812 : '-',
Blue Swirl314e2982011-09-11 20:22:05 +00001813 mr->name);
1814 }
Jan Kiszka9479c572011-09-27 15:00:41 +02001815
1816 QTAILQ_INIT(&submr_print_queue);
1817
Blue Swirl314e2982011-09-11 20:22:05 +00001818 QTAILQ_FOREACH(submr, &mr->subregions, subregions_link) {
Jan Kiszka9479c572011-09-27 15:00:41 +02001819 new_ml = g_new(MemoryRegionList, 1);
1820 new_ml->mr = submr;
1821 QTAILQ_FOREACH(ml, &submr_print_queue, queue) {
1822 if (new_ml->mr->addr < ml->mr->addr ||
1823 (new_ml->mr->addr == ml->mr->addr &&
1824 new_ml->mr->priority > ml->mr->priority)) {
1825 QTAILQ_INSERT_BEFORE(ml, new_ml, queue);
1826 new_ml = NULL;
1827 break;
1828 }
1829 }
1830 if (new_ml) {
1831 QTAILQ_INSERT_TAIL(&submr_print_queue, new_ml, queue);
1832 }
1833 }
1834
1835 QTAILQ_FOREACH(ml, &submr_print_queue, queue) {
1836 mtree_print_mr(mon_printf, f, ml->mr, level + 1, base + mr->addr,
1837 alias_print_queue);
1838 }
1839
Avi Kivity88365e42011-11-13 12:00:55 +02001840 QTAILQ_FOREACH_SAFE(ml, &submr_print_queue, queue, next_ml) {
Jan Kiszka9479c572011-09-27 15:00:41 +02001841 g_free(ml);
Blue Swirl314e2982011-09-11 20:22:05 +00001842 }
1843}
1844
1845void mtree_info(fprintf_function mon_printf, void *f)
1846{
1847 MemoryRegionListHead ml_head;
1848 MemoryRegionList *ml, *ml2;
Avi Kivity0d673e32012-10-02 15:28:50 +02001849 AddressSpace *as;
Blue Swirl314e2982011-09-11 20:22:05 +00001850
1851 QTAILQ_INIT(&ml_head);
1852
Avi Kivity0d673e32012-10-02 15:28:50 +02001853 QTAILQ_FOREACH(as, &address_spaces, address_spaces_link) {
Avi Kivity0d673e32012-10-02 15:28:50 +02001854 mon_printf(f, "%s\n", as->name);
1855 mtree_print_mr(mon_printf, f, as->root, 0, 0, &ml_head);
Blue Swirlb9f9be82012-03-10 16:58:35 +00001856 }
1857
1858 mon_printf(f, "aliases\n");
Blue Swirl314e2982011-09-11 20:22:05 +00001859 /* print aliased regions */
1860 QTAILQ_FOREACH(ml, &ml_head, queue) {
1861 if (!ml->printed) {
1862 mon_printf(f, "%s\n", ml->mr->name);
1863 mtree_print_mr(mon_printf, f, ml->mr, 0, 0, &ml_head);
1864 }
1865 }
1866
1867 QTAILQ_FOREACH_SAFE(ml, &ml_head, queue, ml2) {
Avi Kivity88365e42011-11-13 12:00:55 +02001868 g_free(ml);
Blue Swirl314e2982011-09-11 20:22:05 +00001869 }
Blue Swirl314e2982011-09-11 20:22:05 +00001870}