blob: fb52e1cdb236d8066bb5d824b70d8e5074297106 [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"
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 Bonzinie7342aa2013-07-22 15:54:37 +0200342static bool memory_region_big_endian(MemoryRegion *mr)
343{
344#ifdef TARGET_WORDS_BIGENDIAN
345 return mr->ops->endianness != DEVICE_LITTLE_ENDIAN;
346#else
347 return mr->ops->endianness == DEVICE_BIG_ENDIAN;
348#endif
349}
350
Paolo Bonzinie11ef3d2013-07-22 15:54:35 +0200351static bool memory_region_wrong_endianness(MemoryRegion *mr)
352{
353#ifdef TARGET_WORDS_BIGENDIAN
354 return mr->ops->endianness == DEVICE_LITTLE_ENDIAN;
355#else
356 return mr->ops->endianness == DEVICE_BIG_ENDIAN;
357#endif
358}
359
360static void adjust_endianness(MemoryRegion *mr, uint64_t *data, unsigned size)
361{
362 if (memory_region_wrong_endianness(mr)) {
363 switch (size) {
364 case 1:
365 break;
366 case 2:
367 *data = bswap16(*data);
368 break;
369 case 4:
370 *data = bswap32(*data);
371 break;
372 case 8:
373 *data = bswap64(*data);
374 break;
375 default:
376 abort();
377 }
378 }
379}
380
Paolo Bonzini547e9202013-07-22 15:54:36 +0200381static void memory_region_oldmmio_read_accessor(MemoryRegion *mr,
Paolo Bonzinice5d2f32013-05-24 17:45:48 +0200382 hwaddr addr,
383 uint64_t *value,
384 unsigned size,
385 unsigned shift,
386 uint64_t mask)
387{
Paolo Bonzinice5d2f32013-05-24 17:45:48 +0200388 uint64_t tmp;
389
390 tmp = mr->ops->old_mmio.read[ctz32(size)](mr->opaque, addr);
Paolo Bonzini55d5d042013-07-28 14:57:22 +0200391 trace_memory_region_ops_read(mr, addr, tmp, size);
Paolo Bonzinice5d2f32013-05-24 17:45:48 +0200392 *value |= (tmp & mask) << shift;
393}
394
Paolo Bonzini547e9202013-07-22 15:54:36 +0200395static void memory_region_read_accessor(MemoryRegion *mr,
Avi Kivitya8170e52012-10-23 12:30:10 +0200396 hwaddr addr,
Avi Kivity164a4dc2011-08-11 10:40:25 +0300397 uint64_t *value,
398 unsigned size,
399 unsigned shift,
400 uint64_t mask)
401{
Avi Kivity164a4dc2011-08-11 10:40:25 +0300402 uint64_t tmp;
403
Jan Kiszkad4105152012-08-23 13:02:29 +0200404 if (mr->flush_coalesced_mmio) {
405 qemu_flush_coalesced_mmio_buffer();
406 }
Avi Kivity164a4dc2011-08-11 10:40:25 +0300407 tmp = mr->ops->read(mr->opaque, addr, size);
Paolo Bonzini55d5d042013-07-28 14:57:22 +0200408 trace_memory_region_ops_read(mr, addr, tmp, size);
Avi Kivity164a4dc2011-08-11 10:40:25 +0300409 *value |= (tmp & mask) << shift;
410}
411
Paolo Bonzini547e9202013-07-22 15:54:36 +0200412static void memory_region_oldmmio_write_accessor(MemoryRegion *mr,
Paolo Bonzinice5d2f32013-05-24 17:45:48 +0200413 hwaddr addr,
414 uint64_t *value,
415 unsigned size,
416 unsigned shift,
417 uint64_t mask)
418{
Paolo Bonzinice5d2f32013-05-24 17:45:48 +0200419 uint64_t tmp;
420
421 tmp = (*value >> shift) & mask;
Paolo Bonzini55d5d042013-07-28 14:57:22 +0200422 trace_memory_region_ops_write(mr, addr, tmp, size);
Paolo Bonzinice5d2f32013-05-24 17:45:48 +0200423 mr->ops->old_mmio.write[ctz32(size)](mr->opaque, addr, tmp);
424}
425
Paolo Bonzini547e9202013-07-22 15:54:36 +0200426static void memory_region_write_accessor(MemoryRegion *mr,
Avi Kivitya8170e52012-10-23 12:30:10 +0200427 hwaddr addr,
Avi Kivity164a4dc2011-08-11 10:40:25 +0300428 uint64_t *value,
429 unsigned size,
430 unsigned shift,
431 uint64_t mask)
432{
Avi Kivity164a4dc2011-08-11 10:40:25 +0300433 uint64_t tmp;
434
Jan Kiszkad4105152012-08-23 13:02:29 +0200435 if (mr->flush_coalesced_mmio) {
436 qemu_flush_coalesced_mmio_buffer();
437 }
Avi Kivity164a4dc2011-08-11 10:40:25 +0300438 tmp = (*value >> shift) & mask;
Paolo Bonzini55d5d042013-07-28 14:57:22 +0200439 trace_memory_region_ops_write(mr, addr, tmp, size);
Avi Kivity164a4dc2011-08-11 10:40:25 +0300440 mr->ops->write(mr->opaque, addr, tmp, size);
441}
442
Avi Kivitya8170e52012-10-23 12:30:10 +0200443static void access_with_adjusted_size(hwaddr addr,
Avi Kivity164a4dc2011-08-11 10:40:25 +0300444 uint64_t *value,
445 unsigned size,
446 unsigned access_size_min,
447 unsigned access_size_max,
Paolo Bonzini547e9202013-07-22 15:54:36 +0200448 void (*access)(MemoryRegion *mr,
Avi Kivitya8170e52012-10-23 12:30:10 +0200449 hwaddr addr,
Avi Kivity164a4dc2011-08-11 10:40:25 +0300450 uint64_t *value,
451 unsigned size,
452 unsigned shift,
453 uint64_t mask),
Paolo Bonzini547e9202013-07-22 15:54:36 +0200454 MemoryRegion *mr)
Avi Kivity164a4dc2011-08-11 10:40:25 +0300455{
456 uint64_t access_mask;
457 unsigned access_size;
458 unsigned i;
459
460 if (!access_size_min) {
461 access_size_min = 1;
462 }
463 if (!access_size_max) {
464 access_size_max = 4;
465 }
Paolo Bonzinice5d2f32013-05-24 17:45:48 +0200466
467 /* FIXME: support unaligned access? */
Avi Kivity164a4dc2011-08-11 10:40:25 +0300468 access_size = MAX(MIN(size, access_size_max), access_size_min);
469 access_mask = -1ULL >> (64 - access_size * 8);
Paolo Bonzinie7342aa2013-07-22 15:54:37 +0200470 if (memory_region_big_endian(mr)) {
471 for (i = 0; i < size; i += access_size) {
472 access(mr, addr + i, value, access_size,
473 (size - access_size - i) * 8, access_mask);
474 }
475 } else {
476 for (i = 0; i < size; i += access_size) {
477 access(mr, addr + i, value, access_size, i * 8, access_mask);
478 }
Avi Kivity164a4dc2011-08-11 10:40:25 +0300479 }
480}
481
Avi Kivitye2177952011-12-08 15:00:18 +0200482static AddressSpace *memory_region_to_address_space(MemoryRegion *mr)
483{
Avi Kivity0d673e32012-10-02 15:28:50 +0200484 AddressSpace *as;
485
Avi Kivitye2177952011-12-08 15:00:18 +0200486 while (mr->parent) {
487 mr = mr->parent;
488 }
Avi Kivity0d673e32012-10-02 15:28:50 +0200489 QTAILQ_FOREACH(as, &address_spaces, address_spaces_link) {
490 if (mr == as->root) {
491 return as;
492 }
Avi Kivitye2177952011-12-08 15:00:18 +0200493 }
494 abort();
495}
496
Avi Kivity093bc2c2011-07-26 14:26:01 +0300497/* Render a memory region into the global view. Ranges in @view obscure
498 * ranges in @mr.
499 */
500static void render_memory_region(FlatView *view,
501 MemoryRegion *mr,
Avi Kivity08dafab2011-10-16 13:19:17 +0200502 Int128 base,
Avi Kivityfb1cd6f2011-09-25 14:48:47 +0300503 AddrRange clip,
504 bool readonly)
Avi Kivity093bc2c2011-07-26 14:26:01 +0300505{
506 MemoryRegion *subregion;
507 unsigned i;
Avi Kivitya8170e52012-10-23 12:30:10 +0200508 hwaddr offset_in_region;
Avi Kivity08dafab2011-10-16 13:19:17 +0200509 Int128 remain;
510 Int128 now;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300511 FlatRange fr;
512 AddrRange tmp;
513
Avi Kivity6bba19b2011-09-14 11:54:58 +0300514 if (!mr->enabled) {
515 return;
516 }
517
Avi Kivity08dafab2011-10-16 13:19:17 +0200518 int128_addto(&base, int128_make64(mr->addr));
Avi Kivityfb1cd6f2011-09-25 14:48:47 +0300519 readonly |= mr->readonly;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300520
521 tmp = addrrange_make(base, mr->size);
522
523 if (!addrrange_intersects(tmp, clip)) {
524 return;
525 }
526
527 clip = addrrange_intersection(tmp, clip);
528
529 if (mr->alias) {
Avi Kivity08dafab2011-10-16 13:19:17 +0200530 int128_subfrom(&base, int128_make64(mr->alias->addr));
531 int128_subfrom(&base, int128_make64(mr->alias_offset));
Avi Kivityfb1cd6f2011-09-25 14:48:47 +0300532 render_memory_region(view, mr->alias, base, clip, readonly);
Avi Kivity093bc2c2011-07-26 14:26:01 +0300533 return;
534 }
535
536 /* Render subregions in priority order. */
537 QTAILQ_FOREACH(subregion, &mr->subregions, subregions_link) {
Avi Kivityfb1cd6f2011-09-25 14:48:47 +0300538 render_memory_region(view, subregion, base, clip, readonly);
Avi Kivity093bc2c2011-07-26 14:26:01 +0300539 }
540
Avi Kivity14a3c102011-07-26 14:26:06 +0300541 if (!mr->terminates) {
Avi Kivity093bc2c2011-07-26 14:26:01 +0300542 return;
543 }
544
Avi Kivity08dafab2011-10-16 13:19:17 +0200545 offset_in_region = int128_get64(int128_sub(clip.start, base));
Avi Kivity093bc2c2011-07-26 14:26:01 +0300546 base = clip.start;
547 remain = clip.size;
548
Peter Crosthwaite2eb74e12013-06-03 15:33:29 +1000549 fr.mr = mr;
550 fr.dirty_log_mask = mr->dirty_log_mask;
551 fr.romd_mode = mr->romd_mode;
552 fr.readonly = readonly;
553
Avi Kivity093bc2c2011-07-26 14:26:01 +0300554 /* Render the region itself into any gaps left by the current view. */
Avi Kivity08dafab2011-10-16 13:19:17 +0200555 for (i = 0; i < view->nr && int128_nz(remain); ++i) {
556 if (int128_ge(base, addrrange_end(view->ranges[i].addr))) {
Avi Kivity093bc2c2011-07-26 14:26:01 +0300557 continue;
558 }
Avi Kivity08dafab2011-10-16 13:19:17 +0200559 if (int128_lt(base, view->ranges[i].addr.start)) {
560 now = int128_min(remain,
561 int128_sub(view->ranges[i].addr.start, base));
Avi Kivity093bc2c2011-07-26 14:26:01 +0300562 fr.offset_in_region = offset_in_region;
563 fr.addr = addrrange_make(base, now);
564 flatview_insert(view, i, &fr);
565 ++i;
Avi Kivity08dafab2011-10-16 13:19:17 +0200566 int128_addto(&base, now);
567 offset_in_region += int128_get64(now);
568 int128_subfrom(&remain, now);
Avi Kivity093bc2c2011-07-26 14:26:01 +0300569 }
Avi Kivityd26a8ca2012-10-29 18:22:36 +0200570 now = int128_sub(int128_min(int128_add(base, remain),
571 addrrange_end(view->ranges[i].addr)),
572 base);
573 int128_addto(&base, now);
574 offset_in_region += int128_get64(now);
575 int128_subfrom(&remain, now);
Avi Kivity093bc2c2011-07-26 14:26:01 +0300576 }
Avi Kivity08dafab2011-10-16 13:19:17 +0200577 if (int128_nz(remain)) {
Avi Kivity093bc2c2011-07-26 14:26:01 +0300578 fr.offset_in_region = offset_in_region;
579 fr.addr = addrrange_make(base, remain);
580 flatview_insert(view, i, &fr);
581 }
582}
583
584/* Render a memory topology into a list of disjoint absolute ranges. */
Paolo Bonzinia9a0c062013-05-06 10:29:07 +0200585static FlatView *generate_memory_topology(MemoryRegion *mr)
Avi Kivity093bc2c2011-07-26 14:26:01 +0300586{
Paolo Bonzinia9a0c062013-05-06 10:29:07 +0200587 FlatView *view;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300588
Paolo Bonzinia9a0c062013-05-06 10:29:07 +0200589 view = g_new(FlatView, 1);
590 flatview_init(view);
Avi Kivity093bc2c2011-07-26 14:26:01 +0300591
Avi Kivity83f3c252012-10-07 12:59:55 +0200592 if (mr) {
Paolo Bonzinia9a0c062013-05-06 10:29:07 +0200593 render_memory_region(view, mr, int128_zero(),
Avi Kivity83f3c252012-10-07 12:59:55 +0200594 addrrange_make(int128_zero(), int128_2_64()), false);
595 }
Paolo Bonzinia9a0c062013-05-06 10:29:07 +0200596 flatview_simplify(view);
Avi Kivity093bc2c2011-07-26 14:26:01 +0300597
598 return view;
599}
600
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300601static void address_space_add_del_ioeventfds(AddressSpace *as,
602 MemoryRegionIoeventfd *fds_new,
603 unsigned fds_new_nb,
604 MemoryRegionIoeventfd *fds_old,
605 unsigned fds_old_nb)
606{
607 unsigned iold, inew;
Avi Kivity80a1ea32012-02-08 16:39:06 +0200608 MemoryRegionIoeventfd *fd;
609 MemoryRegionSection section;
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300610
611 /* Generate a symmetric difference of the old and new fd sets, adding
612 * and deleting as necessary.
613 */
614
615 iold = inew = 0;
616 while (iold < fds_old_nb || inew < fds_new_nb) {
617 if (iold < fds_old_nb
618 && (inew == fds_new_nb
619 || memory_region_ioeventfd_before(fds_old[iold],
620 fds_new[inew]))) {
Avi Kivity80a1ea32012-02-08 16:39:06 +0200621 fd = &fds_old[iold];
622 section = (MemoryRegionSection) {
Avi Kivityf6790af2012-10-02 20:13:51 +0200623 .address_space = as,
Avi Kivity80a1ea32012-02-08 16:39:06 +0200624 .offset_within_address_space = int128_get64(fd->addr.start),
Paolo Bonzini052e87b2013-05-27 10:08:27 +0200625 .size = fd->addr.size,
Avi Kivity80a1ea32012-02-08 16:39:06 +0200626 };
627 MEMORY_LISTENER_CALL(eventfd_del, Forward, &section,
Paolo Bonzini753d5e12012-07-05 17:16:27 +0200628 fd->match_data, fd->data, fd->e);
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300629 ++iold;
630 } else if (inew < fds_new_nb
631 && (iold == fds_old_nb
632 || memory_region_ioeventfd_before(fds_new[inew],
633 fds_old[iold]))) {
Avi Kivity80a1ea32012-02-08 16:39:06 +0200634 fd = &fds_new[inew];
635 section = (MemoryRegionSection) {
Avi Kivityf6790af2012-10-02 20:13:51 +0200636 .address_space = as,
Avi Kivity80a1ea32012-02-08 16:39:06 +0200637 .offset_within_address_space = int128_get64(fd->addr.start),
Paolo Bonzini052e87b2013-05-27 10:08:27 +0200638 .size = fd->addr.size,
Avi Kivity80a1ea32012-02-08 16:39:06 +0200639 };
640 MEMORY_LISTENER_CALL(eventfd_add, Reverse, &section,
Paolo Bonzini753d5e12012-07-05 17:16:27 +0200641 fd->match_data, fd->data, fd->e);
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300642 ++inew;
643 } else {
644 ++iold;
645 ++inew;
646 }
647 }
648}
649
Paolo Bonzini856d7242013-05-06 11:57:21 +0200650static FlatView *address_space_get_flatview(AddressSpace *as)
651{
652 FlatView *view;
653
654 qemu_mutex_lock(&flat_view_mutex);
655 view = as->current_map;
656 flatview_ref(view);
657 qemu_mutex_unlock(&flat_view_mutex);
658 return view;
659}
660
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300661static void address_space_update_ioeventfds(AddressSpace *as)
662{
Paolo Bonzini99e86342013-05-06 10:26:13 +0200663 FlatView *view;
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300664 FlatRange *fr;
665 unsigned ioeventfd_nb = 0;
666 MemoryRegionIoeventfd *ioeventfds = NULL;
667 AddrRange tmp;
668 unsigned i;
669
Paolo Bonzini856d7242013-05-06 11:57:21 +0200670 view = address_space_get_flatview(as);
Paolo Bonzini99e86342013-05-06 10:26:13 +0200671 FOR_EACH_FLAT_RANGE(fr, view) {
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300672 for (i = 0; i < fr->mr->ioeventfd_nb; ++i) {
673 tmp = addrrange_shift(fr->mr->ioeventfds[i].addr,
Avi Kivity08dafab2011-10-16 13:19:17 +0200674 int128_sub(fr->addr.start,
675 int128_make64(fr->offset_in_region)));
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300676 if (addrrange_intersects(fr->addr, tmp)) {
677 ++ioeventfd_nb;
Anthony Liguori7267c092011-08-20 22:09:37 -0500678 ioeventfds = g_realloc(ioeventfds,
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300679 ioeventfd_nb * sizeof(*ioeventfds));
680 ioeventfds[ioeventfd_nb-1] = fr->mr->ioeventfds[i];
681 ioeventfds[ioeventfd_nb-1].addr = tmp;
682 }
683 }
684 }
685
686 address_space_add_del_ioeventfds(as, ioeventfds, ioeventfd_nb,
687 as->ioeventfds, as->ioeventfd_nb);
688
Anthony Liguori7267c092011-08-20 22:09:37 -0500689 g_free(as->ioeventfds);
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300690 as->ioeventfds = ioeventfds;
691 as->ioeventfd_nb = ioeventfd_nb;
Paolo Bonzini856d7242013-05-06 11:57:21 +0200692 flatview_unref(view);
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300693}
694
Avi Kivityb8af1af2011-07-26 14:26:12 +0300695static void address_space_update_topology_pass(AddressSpace *as,
Paolo Bonzinia9a0c062013-05-06 10:29:07 +0200696 const FlatView *old_view,
697 const FlatView *new_view,
Avi Kivityb8af1af2011-07-26 14:26:12 +0300698 bool adding)
Avi Kivity093bc2c2011-07-26 14:26:01 +0300699{
Avi Kivity093bc2c2011-07-26 14:26:01 +0300700 unsigned iold, inew;
701 FlatRange *frold, *frnew;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300702
703 /* Generate a symmetric difference of the old and new memory maps.
704 * Kill ranges in the old map, and instantiate ranges in the new map.
705 */
706 iold = inew = 0;
Paolo Bonzinia9a0c062013-05-06 10:29:07 +0200707 while (iold < old_view->nr || inew < new_view->nr) {
708 if (iold < old_view->nr) {
709 frold = &old_view->ranges[iold];
Avi Kivity093bc2c2011-07-26 14:26:01 +0300710 } else {
711 frold = NULL;
712 }
Paolo Bonzinia9a0c062013-05-06 10:29:07 +0200713 if (inew < new_view->nr) {
714 frnew = &new_view->ranges[inew];
Avi Kivity093bc2c2011-07-26 14:26:01 +0300715 } else {
716 frnew = NULL;
717 }
718
719 if (frold
720 && (!frnew
Avi Kivity08dafab2011-10-16 13:19:17 +0200721 || int128_lt(frold->addr.start, frnew->addr.start)
722 || (int128_eq(frold->addr.start, frnew->addr.start)
Avi Kivity093bc2c2011-07-26 14:26:01 +0300723 && !flatrange_equal(frold, frnew)))) {
Peter Crosthwaite41a6e472013-06-03 15:32:42 +1000724 /* In old but not in new, or in both but attributes changed. */
Avi Kivity093bc2c2011-07-26 14:26:01 +0300725
Avi Kivityb8af1af2011-07-26 14:26:12 +0300726 if (!adding) {
Avi Kivity72e22d22012-02-08 15:05:50 +0200727 MEMORY_LISTENER_UPDATE_REGION(frold, as, Reverse, region_del);
Avi Kivityb8af1af2011-07-26 14:26:12 +0300728 }
729
Avi Kivity093bc2c2011-07-26 14:26:01 +0300730 ++iold;
731 } else if (frold && frnew && flatrange_equal(frold, frnew)) {
Peter Crosthwaite41a6e472013-06-03 15:32:42 +1000732 /* In both and unchanged (except logging may have changed) */
Avi Kivity093bc2c2011-07-26 14:26:01 +0300733
Avi Kivityb8af1af2011-07-26 14:26:12 +0300734 if (adding) {
Avi Kivity50c1e142012-02-08 21:36:02 +0200735 MEMORY_LISTENER_UPDATE_REGION(frnew, as, Forward, region_nop);
Avi Kivityb8af1af2011-07-26 14:26:12 +0300736 if (frold->dirty_log_mask && !frnew->dirty_log_mask) {
Avi Kivity72e22d22012-02-08 15:05:50 +0200737 MEMORY_LISTENER_UPDATE_REGION(frnew, as, Reverse, log_stop);
Avi Kivityb8af1af2011-07-26 14:26:12 +0300738 } else if (frnew->dirty_log_mask && !frold->dirty_log_mask) {
Avi Kivity72e22d22012-02-08 15:05:50 +0200739 MEMORY_LISTENER_UPDATE_REGION(frnew, as, Forward, log_start);
Avi Kivityb8af1af2011-07-26 14:26:12 +0300740 }
Avi Kivity5a583342011-07-26 14:26:02 +0300741 }
742
Avi Kivity093bc2c2011-07-26 14:26:01 +0300743 ++iold;
744 ++inew;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300745 } else {
746 /* In new */
747
Avi Kivityb8af1af2011-07-26 14:26:12 +0300748 if (adding) {
Avi Kivity72e22d22012-02-08 15:05:50 +0200749 MEMORY_LISTENER_UPDATE_REGION(frnew, as, Forward, region_add);
Avi Kivityb8af1af2011-07-26 14:26:12 +0300750 }
751
Avi Kivity093bc2c2011-07-26 14:26:01 +0300752 ++inew;
753 }
754 }
Avi Kivityb8af1af2011-07-26 14:26:12 +0300755}
756
757
758static void address_space_update_topology(AddressSpace *as)
759{
Paolo Bonzini856d7242013-05-06 11:57:21 +0200760 FlatView *old_view = address_space_get_flatview(as);
Paolo Bonzinia9a0c062013-05-06 10:29:07 +0200761 FlatView *new_view = generate_memory_topology(as->root);
Avi Kivityb8af1af2011-07-26 14:26:12 +0300762
763 address_space_update_topology_pass(as, old_view, new_view, false);
764 address_space_update_topology_pass(as, old_view, new_view, true);
765
Paolo Bonzini856d7242013-05-06 11:57:21 +0200766 qemu_mutex_lock(&flat_view_mutex);
767 flatview_unref(as->current_map);
Paolo Bonzinia9a0c062013-05-06 10:29:07 +0200768 as->current_map = new_view;
Paolo Bonzini856d7242013-05-06 11:57:21 +0200769 qemu_mutex_unlock(&flat_view_mutex);
770
771 /* Note that all the old MemoryRegions are still alive up to this
772 * point. This relieves most MemoryListeners from the need to
773 * ref/unref the MemoryRegions they get---unless they use them
774 * outside the iothread mutex, in which case precise reference
775 * counting is necessary.
776 */
777 flatview_unref(old_view);
778
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300779 address_space_update_ioeventfds(as);
Avi Kivity093bc2c2011-07-26 14:26:01 +0300780}
781
Avi Kivity4ef4db82011-07-26 14:26:13 +0300782void memory_region_transaction_begin(void)
783{
Jan Kiszkabb880de2012-08-23 13:02:32 +0200784 qemu_flush_coalesced_mmio_buffer();
Avi Kivity4ef4db82011-07-26 14:26:13 +0300785 ++memory_region_transaction_depth;
786}
787
788void memory_region_transaction_commit(void)
789{
Avi Kivity0d673e32012-10-02 15:28:50 +0200790 AddressSpace *as;
791
Avi Kivity4ef4db82011-07-26 14:26:13 +0300792 assert(memory_region_transaction_depth);
793 --memory_region_transaction_depth;
Jan Kiszka22bde712012-11-05 16:45:56 +0100794 if (!memory_region_transaction_depth && memory_region_update_pending) {
795 memory_region_update_pending = false;
Jan Kiszka02e2b952012-08-23 13:02:31 +0200796 MEMORY_LISTENER_CALL_GLOBAL(begin, Forward);
797
Avi Kivity0d673e32012-10-02 15:28:50 +0200798 QTAILQ_FOREACH(as, &address_spaces, address_spaces_link) {
799 address_space_update_topology(as);
Jan Kiszka02e2b952012-08-23 13:02:31 +0200800 }
801
802 MEMORY_LISTENER_CALL_GLOBAL(commit, Forward);
Avi Kivitye87c0992011-09-14 12:16:20 +0300803 }
Avi Kivity4ef4db82011-07-26 14:26:13 +0300804}
805
Avi Kivity545e92e2011-08-08 19:58:48 +0300806static void memory_region_destructor_none(MemoryRegion *mr)
807{
808}
809
810static void memory_region_destructor_ram(MemoryRegion *mr)
811{
812 qemu_ram_free(mr->ram_addr);
813}
814
Paolo Bonzinidfde4e62013-05-06 10:46:11 +0200815static void memory_region_destructor_alias(MemoryRegion *mr)
816{
817 memory_region_unref(mr->alias);
818}
819
Avi Kivity545e92e2011-08-08 19:58:48 +0300820static void memory_region_destructor_ram_from_ptr(MemoryRegion *mr)
821{
822 qemu_ram_free_from_ptr(mr->ram_addr);
823}
824
Avi Kivityd0a9b5b2011-08-08 19:58:49 +0300825static void memory_region_destructor_rom_device(MemoryRegion *mr)
826{
827 qemu_ram_free(mr->ram_addr & TARGET_PAGE_MASK);
Avi Kivityd0a9b5b2011-08-08 19:58:49 +0300828}
829
Avi Kivity093bc2c2011-07-26 14:26:01 +0300830void memory_region_init(MemoryRegion *mr,
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -0400831 Object *owner,
Avi Kivity093bc2c2011-07-26 14:26:01 +0300832 const char *name,
833 uint64_t size)
834{
Paolo Bonzini2cdfcf22013-05-24 13:55:52 +0200835 mr->ops = &unassigned_mem_ops;
836 mr->opaque = NULL;
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -0400837 mr->owner = owner;
Avi Kivity30951152012-10-30 13:47:46 +0200838 mr->iommu_ops = NULL;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300839 mr->parent = NULL;
Avi Kivity08dafab2011-10-16 13:19:17 +0200840 mr->size = int128_make64(size);
841 if (size == UINT64_MAX) {
842 mr->size = int128_2_64();
843 }
Avi Kivity093bc2c2011-07-26 14:26:01 +0300844 mr->addr = 0;
Avi Kivityb3b00c72012-01-02 13:20:11 +0200845 mr->subpage = false;
Avi Kivity6bba19b2011-09-14 11:54:58 +0300846 mr->enabled = true;
Avi Kivity14a3c102011-07-26 14:26:06 +0300847 mr->terminates = false;
Avi Kivity8ea92522011-12-08 15:58:43 +0200848 mr->ram = false;
Jan Kiszka5f9a5ea2013-05-07 19:04:25 +0200849 mr->romd_mode = true;
Avi Kivityfb1cd6f2011-09-25 14:48:47 +0300850 mr->readonly = false;
Avi Kivity75c578d2012-01-02 15:40:52 +0200851 mr->rom_device = false;
Avi Kivity545e92e2011-08-08 19:58:48 +0300852 mr->destructor = memory_region_destructor_none;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300853 mr->priority = 0;
854 mr->may_overlap = false;
855 mr->alias = NULL;
856 QTAILQ_INIT(&mr->subregions);
857 memset(&mr->subregions_link, 0, sizeof mr->subregions_link);
858 QTAILQ_INIT(&mr->coalesced);
Anthony Liguori7267c092011-08-20 22:09:37 -0500859 mr->name = g_strdup(name);
Avi Kivity5a583342011-07-26 14:26:02 +0300860 mr->dirty_log_mask = 0;
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300861 mr->ioeventfd_nb = 0;
862 mr->ioeventfds = NULL;
Jan Kiszkad4105152012-08-23 13:02:29 +0200863 mr->flush_coalesced_mmio = false;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300864}
865
Paolo Bonzinib018ddf2013-05-24 14:48:38 +0200866static uint64_t unassigned_mem_read(void *opaque, hwaddr addr,
867 unsigned size)
868{
869#ifdef DEBUG_UNASSIGNED
870 printf("Unassigned mem read " TARGET_FMT_plx "\n", addr);
871#endif
Andreas Färber4917cf42013-05-27 05:17:50 +0200872 if (current_cpu != NULL) {
873 cpu_unassigned_access(current_cpu, addr, false, false, 0, size);
Andreas Färberc658b942013-05-27 06:49:53 +0200874 }
Jan Kiszka68a74392013-09-02 18:43:31 +0200875 return 0;
Paolo Bonzinib018ddf2013-05-24 14:48:38 +0200876}
877
878static void unassigned_mem_write(void *opaque, hwaddr addr,
879 uint64_t val, unsigned size)
880{
881#ifdef DEBUG_UNASSIGNED
882 printf("Unassigned mem write " TARGET_FMT_plx " = 0x%"PRIx64"\n", addr, val);
883#endif
Andreas Färber4917cf42013-05-27 05:17:50 +0200884 if (current_cpu != NULL) {
885 cpu_unassigned_access(current_cpu, addr, true, false, 0, size);
Andreas Färberc658b942013-05-27 06:49:53 +0200886 }
Paolo Bonzinib018ddf2013-05-24 14:48:38 +0200887}
888
Paolo Bonzinid1970632013-05-24 13:23:38 +0200889static bool unassigned_mem_accepts(void *opaque, hwaddr addr,
890 unsigned size, bool is_write)
891{
892 return false;
893}
894
895const MemoryRegionOps unassigned_mem_ops = {
896 .valid.accepts = unassigned_mem_accepts,
897 .endianness = DEVICE_NATIVE_ENDIAN,
898};
899
Paolo Bonzinid2702032013-05-24 11:55:06 +0200900bool memory_region_access_valid(MemoryRegion *mr,
901 hwaddr addr,
902 unsigned size,
903 bool is_write)
Avi Kivity093bc2c2011-07-26 14:26:01 +0300904{
Paolo Bonzinia014ed02013-05-24 17:48:52 +0200905 int access_size_min, access_size_max;
906 int access_size, i;
Avi Kivity897fa7c2011-11-13 13:05:27 +0200907
Avi Kivity093bc2c2011-07-26 14:26:01 +0300908 if (!mr->ops->valid.unaligned && (addr & (size - 1))) {
909 return false;
910 }
911
Paolo Bonzinia014ed02013-05-24 17:48:52 +0200912 if (!mr->ops->valid.accepts) {
Avi Kivity093bc2c2011-07-26 14:26:01 +0300913 return true;
914 }
915
Paolo Bonzinia014ed02013-05-24 17:48:52 +0200916 access_size_min = mr->ops->valid.min_access_size;
917 if (!mr->ops->valid.min_access_size) {
918 access_size_min = 1;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300919 }
Paolo Bonzinia014ed02013-05-24 17:48:52 +0200920
921 access_size_max = mr->ops->valid.max_access_size;
922 if (!mr->ops->valid.max_access_size) {
923 access_size_max = 4;
924 }
925
926 access_size = MAX(MIN(size, access_size_max), access_size_min);
927 for (i = 0; i < size; i += access_size) {
928 if (!mr->ops->valid.accepts(mr->opaque, addr + i, access_size,
929 is_write)) {
930 return false;
931 }
932 }
933
Avi Kivity093bc2c2011-07-26 14:26:01 +0300934 return true;
935}
936
Avi Kivitya621f382012-01-02 13:12:08 +0200937static uint64_t memory_region_dispatch_read1(MemoryRegion *mr,
Avi Kivitya8170e52012-10-23 12:30:10 +0200938 hwaddr addr,
Avi Kivitya621f382012-01-02 13:12:08 +0200939 unsigned size)
Avi Kivity093bc2c2011-07-26 14:26:01 +0300940{
Avi Kivity164a4dc2011-08-11 10:40:25 +0300941 uint64_t data = 0;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300942
Paolo Bonzinice5d2f32013-05-24 17:45:48 +0200943 if (mr->ops->read) {
944 access_with_adjusted_size(addr, &data, size,
945 mr->ops->impl.min_access_size,
946 mr->ops->impl.max_access_size,
947 memory_region_read_accessor, mr);
948 } else {
949 access_with_adjusted_size(addr, &data, size, 1, 4,
950 memory_region_oldmmio_read_accessor, mr);
Avi Kivity74901c32011-07-26 14:26:10 +0300951 }
952
Avi Kivity093bc2c2011-07-26 14:26:01 +0300953 return data;
954}
955
Paolo Bonzini791af8c2013-05-24 16:10:39 +0200956static bool memory_region_dispatch_read(MemoryRegion *mr,
957 hwaddr addr,
958 uint64_t *pval,
959 unsigned size)
Avi Kivitya621f382012-01-02 13:12:08 +0200960{
Paolo Bonzini791af8c2013-05-24 16:10:39 +0200961 if (!memory_region_access_valid(mr, addr, size, false)) {
962 *pval = unassigned_mem_read(mr, addr, size);
963 return true;
964 }
Avi Kivitya621f382012-01-02 13:12:08 +0200965
Paolo Bonzini791af8c2013-05-24 16:10:39 +0200966 *pval = memory_region_dispatch_read1(mr, addr, size);
967 adjust_endianness(mr, pval, size);
968 return false;
Avi Kivitya621f382012-01-02 13:12:08 +0200969}
970
Paolo Bonzini791af8c2013-05-24 16:10:39 +0200971static bool memory_region_dispatch_write(MemoryRegion *mr,
Avi Kivitya8170e52012-10-23 12:30:10 +0200972 hwaddr addr,
Avi Kivitya621f382012-01-02 13:12:08 +0200973 uint64_t data,
974 unsigned size)
975{
Avi Kivity897fa7c2011-11-13 13:05:27 +0200976 if (!memory_region_access_valid(mr, addr, size, true)) {
Paolo Bonzinib018ddf2013-05-24 14:48:38 +0200977 unassigned_mem_write(mr, addr, data, size);
Paolo Bonzini791af8c2013-05-24 16:10:39 +0200978 return true;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300979 }
980
Avi Kivitya621f382012-01-02 13:12:08 +0200981 adjust_endianness(mr, &data, size);
982
Paolo Bonzinice5d2f32013-05-24 17:45:48 +0200983 if (mr->ops->write) {
984 access_with_adjusted_size(addr, &data, size,
985 mr->ops->impl.min_access_size,
986 mr->ops->impl.max_access_size,
987 memory_region_write_accessor, mr);
988 } else {
989 access_with_adjusted_size(addr, &data, size, 1, 4,
990 memory_region_oldmmio_write_accessor, mr);
Avi Kivity74901c32011-07-26 14:26:10 +0300991 }
Paolo Bonzini791af8c2013-05-24 16:10:39 +0200992 return false;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300993}
994
Avi Kivity093bc2c2011-07-26 14:26:01 +0300995void memory_region_init_io(MemoryRegion *mr,
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -0400996 Object *owner,
Avi Kivity093bc2c2011-07-26 14:26:01 +0300997 const MemoryRegionOps *ops,
998 void *opaque,
999 const char *name,
1000 uint64_t size)
1001{
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -04001002 memory_region_init(mr, owner, name, size);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001003 mr->ops = ops;
1004 mr->opaque = opaque;
Avi Kivity14a3c102011-07-26 14:26:06 +03001005 mr->terminates = true;
Avi Kivity97161e12012-03-08 19:16:39 +02001006 mr->ram_addr = ~(ram_addr_t)0;
Avi Kivity093bc2c2011-07-26 14:26:01 +03001007}
1008
1009void memory_region_init_ram(MemoryRegion *mr,
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -04001010 Object *owner,
Avi Kivity093bc2c2011-07-26 14:26:01 +03001011 const char *name,
1012 uint64_t size)
1013{
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -04001014 memory_region_init(mr, owner, name, size);
Avi Kivity8ea92522011-12-08 15:58:43 +02001015 mr->ram = true;
Avi Kivity14a3c102011-07-26 14:26:06 +03001016 mr->terminates = true;
Avi Kivity545e92e2011-08-08 19:58:48 +03001017 mr->destructor = memory_region_destructor_ram;
Avi Kivityc5705a72011-12-20 15:59:12 +02001018 mr->ram_addr = qemu_ram_alloc(size, mr);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001019}
1020
1021void memory_region_init_ram_ptr(MemoryRegion *mr,
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -04001022 Object *owner,
Avi Kivity093bc2c2011-07-26 14:26:01 +03001023 const char *name,
1024 uint64_t size,
1025 void *ptr)
1026{
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -04001027 memory_region_init(mr, owner, name, size);
Avi Kivity8ea92522011-12-08 15:58:43 +02001028 mr->ram = true;
Avi Kivity14a3c102011-07-26 14:26:06 +03001029 mr->terminates = true;
Avi Kivity545e92e2011-08-08 19:58:48 +03001030 mr->destructor = memory_region_destructor_ram_from_ptr;
Avi Kivityc5705a72011-12-20 15:59:12 +02001031 mr->ram_addr = qemu_ram_alloc_from_ptr(size, ptr, mr);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001032}
1033
1034void memory_region_init_alias(MemoryRegion *mr,
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -04001035 Object *owner,
Avi Kivity093bc2c2011-07-26 14:26:01 +03001036 const char *name,
1037 MemoryRegion *orig,
Avi Kivitya8170e52012-10-23 12:30:10 +02001038 hwaddr offset,
Avi Kivity093bc2c2011-07-26 14:26:01 +03001039 uint64_t size)
1040{
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -04001041 memory_region_init(mr, owner, name, size);
Paolo Bonzinidfde4e62013-05-06 10:46:11 +02001042 memory_region_ref(orig);
1043 mr->destructor = memory_region_destructor_alias;
Avi Kivity093bc2c2011-07-26 14:26:01 +03001044 mr->alias = orig;
1045 mr->alias_offset = offset;
1046}
1047
Avi Kivityd0a9b5b2011-08-08 19:58:49 +03001048void memory_region_init_rom_device(MemoryRegion *mr,
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -04001049 Object *owner,
Avi Kivityd0a9b5b2011-08-08 19:58:49 +03001050 const MemoryRegionOps *ops,
Avi Kivity75f59412011-08-26 00:35:15 +03001051 void *opaque,
Avi Kivityd0a9b5b2011-08-08 19:58:49 +03001052 const char *name,
1053 uint64_t size)
1054{
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -04001055 memory_region_init(mr, owner, name, size);
Avi Kivity7bc2b9c2011-08-25 14:56:14 +03001056 mr->ops = ops;
Avi Kivity75f59412011-08-26 00:35:15 +03001057 mr->opaque = opaque;
Avi Kivityd0a9b5b2011-08-08 19:58:49 +03001058 mr->terminates = true;
Avi Kivity75c578d2012-01-02 15:40:52 +02001059 mr->rom_device = true;
Avi Kivityd0a9b5b2011-08-08 19:58:49 +03001060 mr->destructor = memory_region_destructor_rom_device;
Avi Kivityc5705a72011-12-20 15:59:12 +02001061 mr->ram_addr = qemu_ram_alloc(size, mr);
Avi Kivityd0a9b5b2011-08-08 19:58:49 +03001062}
1063
Avi Kivity30951152012-10-30 13:47:46 +02001064void memory_region_init_iommu(MemoryRegion *mr,
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -04001065 Object *owner,
Avi Kivity30951152012-10-30 13:47:46 +02001066 const MemoryRegionIOMMUOps *ops,
1067 const char *name,
1068 uint64_t size)
1069{
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -04001070 memory_region_init(mr, owner, name, size);
Avi Kivity30951152012-10-30 13:47:46 +02001071 mr->iommu_ops = ops,
1072 mr->terminates = true; /* then re-forwards */
David Gibson06866572013-05-14 19:13:56 +10001073 notifier_list_init(&mr->iommu_notify);
Avi Kivity30951152012-10-30 13:47:46 +02001074}
1075
Jan Kiszka1660e722011-10-23 16:01:19 +02001076void memory_region_init_reservation(MemoryRegion *mr,
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -04001077 Object *owner,
Jan Kiszka1660e722011-10-23 16:01:19 +02001078 const char *name,
1079 uint64_t size)
1080{
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -04001081 memory_region_init_io(mr, owner, &unassigned_mem_ops, mr, name, size);
Jan Kiszka1660e722011-10-23 16:01:19 +02001082}
1083
Avi Kivity093bc2c2011-07-26 14:26:01 +03001084void memory_region_destroy(MemoryRegion *mr)
1085{
1086 assert(QTAILQ_EMPTY(&mr->subregions));
Avi Kivity2be0e252012-10-17 17:14:41 +02001087 assert(memory_region_transaction_depth == 0);
Avi Kivity545e92e2011-08-08 19:58:48 +03001088 mr->destructor(mr);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001089 memory_region_clear_coalescing(mr);
Anthony Liguori7267c092011-08-20 22:09:37 -05001090 g_free((char *)mr->name);
1091 g_free(mr->ioeventfds);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001092}
1093
Paolo Bonzini803c0812013-05-07 06:59:09 +02001094Object *memory_region_owner(MemoryRegion *mr)
1095{
1096 return mr->owner;
1097}
1098
Paolo Bonzini46637be2013-05-07 09:06:00 +02001099void memory_region_ref(MemoryRegion *mr)
1100{
1101 if (mr && mr->owner) {
1102 object_ref(mr->owner);
1103 }
1104}
1105
1106void memory_region_unref(MemoryRegion *mr)
1107{
1108 if (mr && mr->owner) {
1109 object_unref(mr->owner);
1110 }
1111}
1112
Avi Kivity093bc2c2011-07-26 14:26:01 +03001113uint64_t memory_region_size(MemoryRegion *mr)
1114{
Avi Kivity08dafab2011-10-16 13:19:17 +02001115 if (int128_eq(mr->size, int128_2_64())) {
1116 return UINT64_MAX;
1117 }
1118 return int128_get64(mr->size);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001119}
1120
Avi Kivity8991c792011-12-20 15:53:11 +02001121const char *memory_region_name(MemoryRegion *mr)
1122{
1123 return mr->name;
1124}
1125
Avi Kivity8ea92522011-12-08 15:58:43 +02001126bool memory_region_is_ram(MemoryRegion *mr)
1127{
1128 return mr->ram;
1129}
1130
Avi Kivity55043ba2011-12-15 17:20:34 +02001131bool memory_region_is_logging(MemoryRegion *mr)
1132{
1133 return mr->dirty_log_mask;
1134}
1135
Avi Kivityce7923d2011-12-08 16:05:11 +02001136bool memory_region_is_rom(MemoryRegion *mr)
1137{
1138 return mr->ram && mr->readonly;
1139}
1140
Avi Kivity30951152012-10-30 13:47:46 +02001141bool memory_region_is_iommu(MemoryRegion *mr)
1142{
1143 return mr->iommu_ops;
1144}
1145
David Gibson06866572013-05-14 19:13:56 +10001146void memory_region_register_iommu_notifier(MemoryRegion *mr, Notifier *n)
1147{
1148 notifier_list_add(&mr->iommu_notify, n);
1149}
1150
1151void memory_region_unregister_iommu_notifier(Notifier *n)
1152{
1153 notifier_remove(n);
1154}
1155
1156void memory_region_notify_iommu(MemoryRegion *mr,
1157 IOMMUTLBEntry entry)
1158{
1159 assert(memory_region_is_iommu(mr));
1160 notifier_list_notify(&mr->iommu_notify, &entry);
1161}
1162
Avi Kivity093bc2c2011-07-26 14:26:01 +03001163void memory_region_set_log(MemoryRegion *mr, bool log, unsigned client)
1164{
Avi Kivity5a583342011-07-26 14:26:02 +03001165 uint8_t mask = 1 << client;
1166
Jan Kiszka59023ef2012-08-23 13:02:30 +02001167 memory_region_transaction_begin();
Avi Kivity5a583342011-07-26 14:26:02 +03001168 mr->dirty_log_mask = (mr->dirty_log_mask & ~mask) | (log * mask);
Jan Kiszka22bde712012-11-05 16:45:56 +01001169 memory_region_update_pending |= mr->enabled;
Jan Kiszka59023ef2012-08-23 13:02:30 +02001170 memory_region_transaction_commit();
Avi Kivity093bc2c2011-07-26 14:26:01 +03001171}
1172
Avi Kivitya8170e52012-10-23 12:30:10 +02001173bool memory_region_get_dirty(MemoryRegion *mr, hwaddr addr,
1174 hwaddr size, unsigned client)
Avi Kivity093bc2c2011-07-26 14:26:01 +03001175{
Avi Kivity14a3c102011-07-26 14:26:06 +03001176 assert(mr->terminates);
Blue Swirlcd7a45c2012-01-22 16:38:21 +00001177 return cpu_physical_memory_get_dirty(mr->ram_addr + addr, size,
1178 1 << 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);
1193 ret = cpu_physical_memory_get_dirty(mr->ram_addr + addr, size,
1194 1 << client);
1195 if (ret) {
1196 cpu_physical_memory_reset_dirty(mr->ram_addr + addr,
1197 mr->ram_addr + addr + size,
1198 1 << client);
1199 }
1200 return ret;
1201}
1202
1203
Avi Kivity093bc2c2011-07-26 14:26:01 +03001204void memory_region_sync_dirty_bitmap(MemoryRegion *mr)
1205{
Avi Kivity0d673e32012-10-02 15:28:50 +02001206 AddressSpace *as;
Avi Kivity5a583342011-07-26 14:26:02 +03001207 FlatRange *fr;
1208
Avi Kivity0d673e32012-10-02 15:28:50 +02001209 QTAILQ_FOREACH(as, &address_spaces, address_spaces_link) {
Paolo Bonzini856d7242013-05-06 11:57:21 +02001210 FlatView *view = address_space_get_flatview(as);
Paolo Bonzini99e86342013-05-06 10:26:13 +02001211 FOR_EACH_FLAT_RANGE(fr, view) {
Avi Kivity0d673e32012-10-02 15:28:50 +02001212 if (fr->mr == mr) {
1213 MEMORY_LISTENER_UPDATE_REGION(fr, as, Forward, log_sync);
1214 }
Avi Kivity5a583342011-07-26 14:26:02 +03001215 }
Paolo Bonzini856d7242013-05-06 11:57:21 +02001216 flatview_unref(view);
Avi Kivity5a583342011-07-26 14:26:02 +03001217 }
Avi Kivity093bc2c2011-07-26 14:26:01 +03001218}
1219
1220void memory_region_set_readonly(MemoryRegion *mr, bool readonly)
1221{
Avi Kivityfb1cd6f2011-09-25 14:48:47 +03001222 if (mr->readonly != readonly) {
Jan Kiszka59023ef2012-08-23 13:02:30 +02001223 memory_region_transaction_begin();
Avi Kivityfb1cd6f2011-09-25 14:48:47 +03001224 mr->readonly = readonly;
Jan Kiszka22bde712012-11-05 16:45:56 +01001225 memory_region_update_pending |= mr->enabled;
Jan Kiszka59023ef2012-08-23 13:02:30 +02001226 memory_region_transaction_commit();
Avi Kivityfb1cd6f2011-09-25 14:48:47 +03001227 }
Avi Kivity093bc2c2011-07-26 14:26:01 +03001228}
1229
Jan Kiszka5f9a5ea2013-05-07 19:04:25 +02001230void memory_region_rom_device_set_romd(MemoryRegion *mr, bool romd_mode)
Avi Kivityd0a9b5b2011-08-08 19:58:49 +03001231{
Jan Kiszka5f9a5ea2013-05-07 19:04:25 +02001232 if (mr->romd_mode != romd_mode) {
Jan Kiszka59023ef2012-08-23 13:02:30 +02001233 memory_region_transaction_begin();
Jan Kiszka5f9a5ea2013-05-07 19:04:25 +02001234 mr->romd_mode = romd_mode;
Jan Kiszka22bde712012-11-05 16:45:56 +01001235 memory_region_update_pending |= mr->enabled;
Jan Kiszka59023ef2012-08-23 13:02:30 +02001236 memory_region_transaction_commit();
Avi Kivityd0a9b5b2011-08-08 19:58:49 +03001237 }
1238}
1239
Avi Kivitya8170e52012-10-23 12:30:10 +02001240void memory_region_reset_dirty(MemoryRegion *mr, hwaddr addr,
1241 hwaddr size, unsigned client)
Avi Kivity093bc2c2011-07-26 14:26:01 +03001242{
Avi Kivity14a3c102011-07-26 14:26:06 +03001243 assert(mr->terminates);
Avi Kivity5a583342011-07-26 14:26:02 +03001244 cpu_physical_memory_reset_dirty(mr->ram_addr + addr,
1245 mr->ram_addr + addr + size,
1246 1 << client);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001247}
1248
1249void *memory_region_get_ram_ptr(MemoryRegion *mr)
1250{
1251 if (mr->alias) {
1252 return memory_region_get_ram_ptr(mr->alias) + mr->alias_offset;
1253 }
1254
Avi Kivity14a3c102011-07-26 14:26:06 +03001255 assert(mr->terminates);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001256
Jan Kiszka021d26d2011-08-30 00:38:24 +02001257 return qemu_get_ram_ptr(mr->ram_addr & TARGET_PAGE_MASK);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001258}
1259
Avi Kivity0d673e32012-10-02 15:28:50 +02001260static void memory_region_update_coalesced_range_as(MemoryRegion *mr, AddressSpace *as)
Avi Kivity093bc2c2011-07-26 14:26:01 +03001261{
Paolo Bonzini99e86342013-05-06 10:26:13 +02001262 FlatView *view;
Avi Kivity093bc2c2011-07-26 14:26:01 +03001263 FlatRange *fr;
1264 CoalescedMemoryRange *cmr;
1265 AddrRange tmp;
Avi Kivity95d29942012-10-02 18:21:54 +02001266 MemoryRegionSection section;
Avi Kivity093bc2c2011-07-26 14:26:01 +03001267
Paolo Bonzini856d7242013-05-06 11:57:21 +02001268 view = address_space_get_flatview(as);
Paolo Bonzini99e86342013-05-06 10:26:13 +02001269 FOR_EACH_FLAT_RANGE(fr, view) {
Avi Kivity093bc2c2011-07-26 14:26:01 +03001270 if (fr->mr == mr) {
Avi Kivity95d29942012-10-02 18:21:54 +02001271 section = (MemoryRegionSection) {
Avi Kivityf6790af2012-10-02 20:13:51 +02001272 .address_space = as,
Avi Kivity95d29942012-10-02 18:21:54 +02001273 .offset_within_address_space = int128_get64(fr->addr.start),
Paolo Bonzini052e87b2013-05-27 10:08:27 +02001274 .size = fr->addr.size,
Avi Kivity95d29942012-10-02 18:21:54 +02001275 };
1276
1277 MEMORY_LISTENER_CALL(coalesced_mmio_del, Reverse, &section,
1278 int128_get64(fr->addr.start),
1279 int128_get64(fr->addr.size));
Avi Kivity093bc2c2011-07-26 14:26:01 +03001280 QTAILQ_FOREACH(cmr, &mr->coalesced, link) {
1281 tmp = addrrange_shift(cmr->addr,
Avi Kivity08dafab2011-10-16 13:19:17 +02001282 int128_sub(fr->addr.start,
1283 int128_make64(fr->offset_in_region)));
Avi Kivity093bc2c2011-07-26 14:26:01 +03001284 if (!addrrange_intersects(tmp, fr->addr)) {
1285 continue;
1286 }
1287 tmp = addrrange_intersection(tmp, fr->addr);
Avi Kivity95d29942012-10-02 18:21:54 +02001288 MEMORY_LISTENER_CALL(coalesced_mmio_add, Forward, &section,
1289 int128_get64(tmp.start),
1290 int128_get64(tmp.size));
Avi Kivity093bc2c2011-07-26 14:26:01 +03001291 }
1292 }
1293 }
Paolo Bonzini856d7242013-05-06 11:57:21 +02001294 flatview_unref(view);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001295}
1296
Avi Kivity0d673e32012-10-02 15:28:50 +02001297static void memory_region_update_coalesced_range(MemoryRegion *mr)
1298{
1299 AddressSpace *as;
1300
1301 QTAILQ_FOREACH(as, &address_spaces, address_spaces_link) {
1302 memory_region_update_coalesced_range_as(mr, as);
1303 }
1304}
1305
Avi Kivity093bc2c2011-07-26 14:26:01 +03001306void memory_region_set_coalescing(MemoryRegion *mr)
1307{
1308 memory_region_clear_coalescing(mr);
Avi Kivity08dafab2011-10-16 13:19:17 +02001309 memory_region_add_coalescing(mr, 0, int128_get64(mr->size));
Avi Kivity093bc2c2011-07-26 14:26:01 +03001310}
1311
1312void memory_region_add_coalescing(MemoryRegion *mr,
Avi Kivitya8170e52012-10-23 12:30:10 +02001313 hwaddr offset,
Avi Kivity093bc2c2011-07-26 14:26:01 +03001314 uint64_t size)
1315{
Anthony Liguori7267c092011-08-20 22:09:37 -05001316 CoalescedMemoryRange *cmr = g_malloc(sizeof(*cmr));
Avi Kivity093bc2c2011-07-26 14:26:01 +03001317
Avi Kivity08dafab2011-10-16 13:19:17 +02001318 cmr->addr = addrrange_make(int128_make64(offset), int128_make64(size));
Avi Kivity093bc2c2011-07-26 14:26:01 +03001319 QTAILQ_INSERT_TAIL(&mr->coalesced, cmr, link);
1320 memory_region_update_coalesced_range(mr);
Jan Kiszkad4105152012-08-23 13:02:29 +02001321 memory_region_set_flush_coalesced(mr);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001322}
1323
1324void memory_region_clear_coalescing(MemoryRegion *mr)
1325{
1326 CoalescedMemoryRange *cmr;
1327
Jan Kiszkad4105152012-08-23 13:02:29 +02001328 qemu_flush_coalesced_mmio_buffer();
1329 mr->flush_coalesced_mmio = false;
1330
Avi Kivity093bc2c2011-07-26 14:26:01 +03001331 while (!QTAILQ_EMPTY(&mr->coalesced)) {
1332 cmr = QTAILQ_FIRST(&mr->coalesced);
1333 QTAILQ_REMOVE(&mr->coalesced, cmr, link);
Anthony Liguori7267c092011-08-20 22:09:37 -05001334 g_free(cmr);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001335 }
1336 memory_region_update_coalesced_range(mr);
1337}
1338
Jan Kiszkad4105152012-08-23 13:02:29 +02001339void memory_region_set_flush_coalesced(MemoryRegion *mr)
1340{
1341 mr->flush_coalesced_mmio = true;
1342}
1343
1344void memory_region_clear_flush_coalesced(MemoryRegion *mr)
1345{
1346 qemu_flush_coalesced_mmio_buffer();
1347 if (QTAILQ_EMPTY(&mr->coalesced)) {
1348 mr->flush_coalesced_mmio = false;
1349 }
1350}
1351
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001352void memory_region_add_eventfd(MemoryRegion *mr,
Avi Kivitya8170e52012-10-23 12:30:10 +02001353 hwaddr addr,
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001354 unsigned size,
1355 bool match_data,
1356 uint64_t data,
Paolo Bonzini753d5e12012-07-05 17:16:27 +02001357 EventNotifier *e)
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001358{
1359 MemoryRegionIoeventfd mrfd = {
Avi Kivity08dafab2011-10-16 13:19:17 +02001360 .addr.start = int128_make64(addr),
1361 .addr.size = int128_make64(size),
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001362 .match_data = match_data,
1363 .data = data,
Paolo Bonzini753d5e12012-07-05 17:16:27 +02001364 .e = e,
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001365 };
1366 unsigned i;
1367
Alexander Graf28f362b2012-10-15 20:30:28 +02001368 adjust_endianness(mr, &mrfd.data, size);
Jan Kiszka59023ef2012-08-23 13:02:30 +02001369 memory_region_transaction_begin();
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001370 for (i = 0; i < mr->ioeventfd_nb; ++i) {
1371 if (memory_region_ioeventfd_before(mrfd, mr->ioeventfds[i])) {
1372 break;
1373 }
1374 }
1375 ++mr->ioeventfd_nb;
Anthony Liguori7267c092011-08-20 22:09:37 -05001376 mr->ioeventfds = g_realloc(mr->ioeventfds,
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001377 sizeof(*mr->ioeventfds) * mr->ioeventfd_nb);
1378 memmove(&mr->ioeventfds[i+1], &mr->ioeventfds[i],
1379 sizeof(*mr->ioeventfds) * (mr->ioeventfd_nb-1 - i));
1380 mr->ioeventfds[i] = mrfd;
Jan Kiszka22bde712012-11-05 16:45:56 +01001381 memory_region_update_pending |= mr->enabled;
Jan Kiszka59023ef2012-08-23 13:02:30 +02001382 memory_region_transaction_commit();
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001383}
1384
1385void memory_region_del_eventfd(MemoryRegion *mr,
Avi Kivitya8170e52012-10-23 12:30:10 +02001386 hwaddr addr,
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001387 unsigned size,
1388 bool match_data,
1389 uint64_t data,
Paolo Bonzini753d5e12012-07-05 17:16:27 +02001390 EventNotifier *e)
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001391{
1392 MemoryRegionIoeventfd mrfd = {
Avi Kivity08dafab2011-10-16 13:19:17 +02001393 .addr.start = int128_make64(addr),
1394 .addr.size = int128_make64(size),
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001395 .match_data = match_data,
1396 .data = data,
Paolo Bonzini753d5e12012-07-05 17:16:27 +02001397 .e = e,
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001398 };
1399 unsigned i;
1400
Alexander Graf28f362b2012-10-15 20:30:28 +02001401 adjust_endianness(mr, &mrfd.data, size);
Jan Kiszka59023ef2012-08-23 13:02:30 +02001402 memory_region_transaction_begin();
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001403 for (i = 0; i < mr->ioeventfd_nb; ++i) {
1404 if (memory_region_ioeventfd_equal(mrfd, mr->ioeventfds[i])) {
1405 break;
1406 }
1407 }
1408 assert(i != mr->ioeventfd_nb);
1409 memmove(&mr->ioeventfds[i], &mr->ioeventfds[i+1],
1410 sizeof(*mr->ioeventfds) * (mr->ioeventfd_nb - (i+1)));
1411 --mr->ioeventfd_nb;
Anthony Liguori7267c092011-08-20 22:09:37 -05001412 mr->ioeventfds = g_realloc(mr->ioeventfds,
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001413 sizeof(*mr->ioeventfds)*mr->ioeventfd_nb + 1);
Jan Kiszka22bde712012-11-05 16:45:56 +01001414 memory_region_update_pending |= mr->enabled;
Jan Kiszka59023ef2012-08-23 13:02:30 +02001415 memory_region_transaction_commit();
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001416}
1417
Avi Kivity093bc2c2011-07-26 14:26:01 +03001418static void memory_region_add_subregion_common(MemoryRegion *mr,
Avi Kivitya8170e52012-10-23 12:30:10 +02001419 hwaddr offset,
Avi Kivity093bc2c2011-07-26 14:26:01 +03001420 MemoryRegion *subregion)
1421{
1422 MemoryRegion *other;
1423
Jan Kiszka59023ef2012-08-23 13:02:30 +02001424 memory_region_transaction_begin();
1425
Avi Kivity093bc2c2011-07-26 14:26:01 +03001426 assert(!subregion->parent);
Paolo Bonzinidfde4e62013-05-06 10:46:11 +02001427 memory_region_ref(subregion);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001428 subregion->parent = mr;
1429 subregion->addr = offset;
1430 QTAILQ_FOREACH(other, &mr->subregions, subregions_link) {
1431 if (subregion->may_overlap || other->may_overlap) {
1432 continue;
1433 }
Hu Tao2c7cfd62013-03-15 14:32:01 +08001434 if (int128_ge(int128_make64(offset),
Avi Kivity08dafab2011-10-16 13:19:17 +02001435 int128_add(int128_make64(other->addr), other->size))
1436 || int128_le(int128_add(int128_make64(offset), subregion->size),
1437 int128_make64(other->addr))) {
Avi Kivity093bc2c2011-07-26 14:26:01 +03001438 continue;
1439 }
Anthony Liguoria5e1cbc2011-08-22 11:14:56 -05001440#if 0
Michael Walle860329b2011-09-15 23:16:49 +02001441 printf("warning: subregion collision %llx/%llx (%s) "
1442 "vs %llx/%llx (%s)\n",
Avi Kivity093bc2c2011-07-26 14:26:01 +03001443 (unsigned long long)offset,
Avi Kivity08dafab2011-10-16 13:19:17 +02001444 (unsigned long long)int128_get64(subregion->size),
Michael Walle860329b2011-09-15 23:16:49 +02001445 subregion->name,
1446 (unsigned long long)other->addr,
Avi Kivity08dafab2011-10-16 13:19:17 +02001447 (unsigned long long)int128_get64(other->size),
Michael Walle860329b2011-09-15 23:16:49 +02001448 other->name);
Anthony Liguoria5e1cbc2011-08-22 11:14:56 -05001449#endif
Avi Kivity093bc2c2011-07-26 14:26:01 +03001450 }
1451 QTAILQ_FOREACH(other, &mr->subregions, subregions_link) {
1452 if (subregion->priority >= other->priority) {
1453 QTAILQ_INSERT_BEFORE(other, subregion, subregions_link);
1454 goto done;
1455 }
1456 }
1457 QTAILQ_INSERT_TAIL(&mr->subregions, subregion, subregions_link);
1458done:
Jan Kiszka22bde712012-11-05 16:45:56 +01001459 memory_region_update_pending |= mr->enabled && subregion->enabled;
Jan Kiszka59023ef2012-08-23 13:02:30 +02001460 memory_region_transaction_commit();
Avi Kivity093bc2c2011-07-26 14:26:01 +03001461}
1462
1463
1464void memory_region_add_subregion(MemoryRegion *mr,
Avi Kivitya8170e52012-10-23 12:30:10 +02001465 hwaddr offset,
Avi Kivity093bc2c2011-07-26 14:26:01 +03001466 MemoryRegion *subregion)
1467{
1468 subregion->may_overlap = false;
1469 subregion->priority = 0;
1470 memory_region_add_subregion_common(mr, offset, subregion);
1471}
1472
1473void memory_region_add_subregion_overlap(MemoryRegion *mr,
Avi Kivitya8170e52012-10-23 12:30:10 +02001474 hwaddr offset,
Avi Kivity093bc2c2011-07-26 14:26:01 +03001475 MemoryRegion *subregion,
Marcel Apfelbauma1ff8ae2013-09-16 11:21:14 +03001476 int priority)
Avi Kivity093bc2c2011-07-26 14:26:01 +03001477{
1478 subregion->may_overlap = true;
1479 subregion->priority = priority;
1480 memory_region_add_subregion_common(mr, offset, subregion);
1481}
1482
1483void memory_region_del_subregion(MemoryRegion *mr,
1484 MemoryRegion *subregion)
1485{
Jan Kiszka59023ef2012-08-23 13:02:30 +02001486 memory_region_transaction_begin();
Avi Kivity093bc2c2011-07-26 14:26:01 +03001487 assert(subregion->parent == mr);
1488 subregion->parent = NULL;
1489 QTAILQ_REMOVE(&mr->subregions, subregion, subregions_link);
Paolo Bonzinidfde4e62013-05-06 10:46:11 +02001490 memory_region_unref(subregion);
Jan Kiszka22bde712012-11-05 16:45:56 +01001491 memory_region_update_pending |= mr->enabled && subregion->enabled;
Jan Kiszka59023ef2012-08-23 13:02:30 +02001492 memory_region_transaction_commit();
Avi Kivity6bba19b2011-09-14 11:54:58 +03001493}
1494
1495void memory_region_set_enabled(MemoryRegion *mr, bool enabled)
1496{
1497 if (enabled == mr->enabled) {
1498 return;
1499 }
Jan Kiszka59023ef2012-08-23 13:02:30 +02001500 memory_region_transaction_begin();
Avi Kivity6bba19b2011-09-14 11:54:58 +03001501 mr->enabled = enabled;
Jan Kiszka22bde712012-11-05 16:45:56 +01001502 memory_region_update_pending = true;
Jan Kiszka59023ef2012-08-23 13:02:30 +02001503 memory_region_transaction_commit();
Avi Kivity093bc2c2011-07-26 14:26:01 +03001504}
Avi Kivity1c0ffa52011-07-26 14:26:04 +03001505
Avi Kivitya8170e52012-10-23 12:30:10 +02001506void memory_region_set_address(MemoryRegion *mr, hwaddr addr)
Avi Kivity2282e1a2011-09-14 12:10:12 +03001507{
1508 MemoryRegion *parent = mr->parent;
Marcel Apfelbauma1ff8ae2013-09-16 11:21:14 +03001509 int priority = mr->priority;
Avi Kivity2282e1a2011-09-14 12:10:12 +03001510 bool may_overlap = mr->may_overlap;
1511
1512 if (addr == mr->addr || !parent) {
1513 mr->addr = addr;
1514 return;
1515 }
1516
1517 memory_region_transaction_begin();
Paolo Bonzinidfde4e62013-05-06 10:46:11 +02001518 memory_region_ref(mr);
Avi Kivity2282e1a2011-09-14 12:10:12 +03001519 memory_region_del_subregion(parent, mr);
1520 if (may_overlap) {
1521 memory_region_add_subregion_overlap(parent, addr, mr, priority);
1522 } else {
1523 memory_region_add_subregion(parent, addr, mr);
1524 }
Paolo Bonzinidfde4e62013-05-06 10:46:11 +02001525 memory_region_unref(mr);
Avi Kivity2282e1a2011-09-14 12:10:12 +03001526 memory_region_transaction_commit();
1527}
1528
Avi Kivitya8170e52012-10-23 12:30:10 +02001529void memory_region_set_alias_offset(MemoryRegion *mr, hwaddr offset)
Avi Kivity47033592011-12-04 19:16:50 +02001530{
Avi Kivity47033592011-12-04 19:16:50 +02001531 assert(mr->alias);
Avi Kivity47033592011-12-04 19:16:50 +02001532
Jan Kiszka59023ef2012-08-23 13:02:30 +02001533 if (offset == mr->alias_offset) {
Avi Kivity47033592011-12-04 19:16:50 +02001534 return;
1535 }
1536
Jan Kiszka59023ef2012-08-23 13:02:30 +02001537 memory_region_transaction_begin();
1538 mr->alias_offset = offset;
Jan Kiszka22bde712012-11-05 16:45:56 +01001539 memory_region_update_pending |= mr->enabled;
Jan Kiszka59023ef2012-08-23 13:02:30 +02001540 memory_region_transaction_commit();
Avi Kivity47033592011-12-04 19:16:50 +02001541}
1542
Avi Kivitye34911c2011-12-19 12:06:23 +02001543ram_addr_t memory_region_get_ram_addr(MemoryRegion *mr)
1544{
Avi Kivitye34911c2011-12-19 12:06:23 +02001545 return mr->ram_addr;
1546}
1547
Avi Kivitye2177952011-12-08 15:00:18 +02001548static int cmp_flatrange_addr(const void *addr_, const void *fr_)
1549{
1550 const AddrRange *addr = addr_;
1551 const FlatRange *fr = fr_;
1552
1553 if (int128_le(addrrange_end(*addr), fr->addr.start)) {
1554 return -1;
1555 } else if (int128_ge(addr->start, addrrange_end(fr->addr))) {
1556 return 1;
1557 }
1558 return 0;
1559}
1560
Paolo Bonzini99e86342013-05-06 10:26:13 +02001561static FlatRange *flatview_lookup(FlatView *view, AddrRange addr)
Avi Kivitye2177952011-12-08 15:00:18 +02001562{
Paolo Bonzini99e86342013-05-06 10:26:13 +02001563 return bsearch(&addr, view->ranges, view->nr,
Avi Kivitye2177952011-12-08 15:00:18 +02001564 sizeof(FlatRange), cmp_flatrange_addr);
1565}
1566
Paolo Bonzini3ce10902013-07-02 13:40:48 +02001567bool memory_region_present(MemoryRegion *parent, hwaddr addr)
1568{
1569 MemoryRegion *mr = memory_region_find(parent, addr, 1).mr;
1570 if (!mr) {
1571 return false;
1572 }
Paolo Bonzinidfde4e62013-05-06 10:46:11 +02001573 memory_region_unref(mr);
Paolo Bonzini3ce10902013-07-02 13:40:48 +02001574 return true;
1575}
1576
Paolo Bonzini73034e92013-05-07 15:48:28 +02001577MemoryRegionSection memory_region_find(MemoryRegion *mr,
Avi Kivitya8170e52012-10-23 12:30:10 +02001578 hwaddr addr, uint64_t size)
Avi Kivitye2177952011-12-08 15:00:18 +02001579{
Paolo Bonzini052e87b2013-05-27 10:08:27 +02001580 MemoryRegionSection ret = { .mr = NULL };
Paolo Bonzini73034e92013-05-07 15:48:28 +02001581 MemoryRegion *root;
1582 AddressSpace *as;
1583 AddrRange range;
Paolo Bonzini99e86342013-05-06 10:26:13 +02001584 FlatView *view;
Paolo Bonzini73034e92013-05-07 15:48:28 +02001585 FlatRange *fr;
Avi Kivitye2177952011-12-08 15:00:18 +02001586
Paolo Bonzini73034e92013-05-07 15:48:28 +02001587 addr += mr->addr;
1588 for (root = mr; root->parent; ) {
1589 root = root->parent;
1590 addr += root->addr;
1591 }
1592
1593 as = memory_region_to_address_space(root);
1594 range = addrrange_make(int128_make64(addr), int128_make64(size));
Paolo Bonzini99e86342013-05-06 10:26:13 +02001595
Paolo Bonzini856d7242013-05-06 11:57:21 +02001596 view = address_space_get_flatview(as);
Paolo Bonzini99e86342013-05-06 10:26:13 +02001597 fr = flatview_lookup(view, range);
Avi Kivitye2177952011-12-08 15:00:18 +02001598 if (!fr) {
Marcel Apfelbaum6307d972013-12-02 16:20:59 +02001599 flatview_unref(view);
Avi Kivitye2177952011-12-08 15:00:18 +02001600 return ret;
1601 }
1602
Paolo Bonzini99e86342013-05-06 10:26:13 +02001603 while (fr > view->ranges && addrrange_intersects(fr[-1].addr, range)) {
Avi Kivitye2177952011-12-08 15:00:18 +02001604 --fr;
1605 }
1606
1607 ret.mr = fr->mr;
Paolo Bonzini73034e92013-05-07 15:48:28 +02001608 ret.address_space = as;
Avi Kivitye2177952011-12-08 15:00:18 +02001609 range = addrrange_intersection(range, fr->addr);
1610 ret.offset_within_region = fr->offset_in_region;
1611 ret.offset_within_region += int128_get64(int128_sub(range.start,
1612 fr->addr.start));
Paolo Bonzini052e87b2013-05-27 10:08:27 +02001613 ret.size = range.size;
Avi Kivitye2177952011-12-08 15:00:18 +02001614 ret.offset_within_address_space = int128_get64(range.start);
Avi Kivity7a8499e2012-02-08 17:01:23 +02001615 ret.readonly = fr->readonly;
Paolo Bonzinidfde4e62013-05-06 10:46:11 +02001616 memory_region_ref(ret.mr);
1617
Paolo Bonzini856d7242013-05-06 11:57:21 +02001618 flatview_unref(view);
Avi Kivitye2177952011-12-08 15:00:18 +02001619 return ret;
1620}
1621
Paolo Bonzini1d671362013-04-24 10:46:55 +02001622void address_space_sync_dirty_bitmap(AddressSpace *as)
Avi Kivity86e775c2011-12-15 16:24:49 +02001623{
Paolo Bonzini99e86342013-05-06 10:26:13 +02001624 FlatView *view;
Avi Kivity7664e802011-12-11 14:47:25 +02001625 FlatRange *fr;
1626
Paolo Bonzini856d7242013-05-06 11:57:21 +02001627 view = address_space_get_flatview(as);
Paolo Bonzini99e86342013-05-06 10:26:13 +02001628 FOR_EACH_FLAT_RANGE(fr, view) {
Avi Kivity72e22d22012-02-08 15:05:50 +02001629 MEMORY_LISTENER_UPDATE_REGION(fr, as, Forward, log_sync);
Avi Kivity7664e802011-12-11 14:47:25 +02001630 }
Paolo Bonzini856d7242013-05-06 11:57:21 +02001631 flatview_unref(view);
Avi Kivity7664e802011-12-11 14:47:25 +02001632}
1633
1634void memory_global_dirty_log_start(void)
1635{
Avi Kivity7664e802011-12-11 14:47:25 +02001636 global_dirty_log = true;
Avi Kivity7376e582012-02-08 21:05:17 +02001637 MEMORY_LISTENER_CALL_GLOBAL(log_global_start, Forward);
Avi Kivity7664e802011-12-11 14:47:25 +02001638}
1639
1640void memory_global_dirty_log_stop(void)
1641{
Avi Kivity7664e802011-12-11 14:47:25 +02001642 global_dirty_log = false;
Avi Kivity7376e582012-02-08 21:05:17 +02001643 MEMORY_LISTENER_CALL_GLOBAL(log_global_stop, Reverse);
Avi Kivity7664e802011-12-11 14:47:25 +02001644}
1645
1646static void listener_add_address_space(MemoryListener *listener,
1647 AddressSpace *as)
1648{
Paolo Bonzini99e86342013-05-06 10:26:13 +02001649 FlatView *view;
Avi Kivity7664e802011-12-11 14:47:25 +02001650 FlatRange *fr;
1651
Julien Grall221b3a32012-04-04 15:15:41 +01001652 if (listener->address_space_filter
Avi Kivityf6790af2012-10-02 20:13:51 +02001653 && listener->address_space_filter != as) {
Julien Grall221b3a32012-04-04 15:15:41 +01001654 return;
1655 }
1656
Avi Kivity7664e802011-12-11 14:47:25 +02001657 if (global_dirty_log) {
Avi Kivity975aefe2012-10-02 16:39:57 +02001658 if (listener->log_global_start) {
1659 listener->log_global_start(listener);
1660 }
Avi Kivity7664e802011-12-11 14:47:25 +02001661 }
Avi Kivity975aefe2012-10-02 16:39:57 +02001662
Paolo Bonzini856d7242013-05-06 11:57:21 +02001663 view = address_space_get_flatview(as);
Paolo Bonzini99e86342013-05-06 10:26:13 +02001664 FOR_EACH_FLAT_RANGE(fr, view) {
Avi Kivity7664e802011-12-11 14:47:25 +02001665 MemoryRegionSection section = {
1666 .mr = fr->mr,
Avi Kivityf6790af2012-10-02 20:13:51 +02001667 .address_space = as,
Avi Kivity7664e802011-12-11 14:47:25 +02001668 .offset_within_region = fr->offset_in_region,
Paolo Bonzini052e87b2013-05-27 10:08:27 +02001669 .size = fr->addr.size,
Avi Kivity7664e802011-12-11 14:47:25 +02001670 .offset_within_address_space = int128_get64(fr->addr.start),
Avi Kivity7a8499e2012-02-08 17:01:23 +02001671 .readonly = fr->readonly,
Avi Kivity7664e802011-12-11 14:47:25 +02001672 };
Avi Kivity975aefe2012-10-02 16:39:57 +02001673 if (listener->region_add) {
1674 listener->region_add(listener, &section);
1675 }
Avi Kivity7664e802011-12-11 14:47:25 +02001676 }
Paolo Bonzini856d7242013-05-06 11:57:21 +02001677 flatview_unref(view);
Avi Kivity7664e802011-12-11 14:47:25 +02001678}
1679
Avi Kivityf6790af2012-10-02 20:13:51 +02001680void memory_listener_register(MemoryListener *listener, AddressSpace *filter)
Avi Kivity7664e802011-12-11 14:47:25 +02001681{
Avi Kivity72e22d22012-02-08 15:05:50 +02001682 MemoryListener *other = NULL;
Avi Kivity0d673e32012-10-02 15:28:50 +02001683 AddressSpace *as;
Avi Kivity72e22d22012-02-08 15:05:50 +02001684
Avi Kivity7376e582012-02-08 21:05:17 +02001685 listener->address_space_filter = filter;
Avi Kivity72e22d22012-02-08 15:05:50 +02001686 if (QTAILQ_EMPTY(&memory_listeners)
1687 || listener->priority >= QTAILQ_LAST(&memory_listeners,
1688 memory_listeners)->priority) {
1689 QTAILQ_INSERT_TAIL(&memory_listeners, listener, link);
1690 } else {
1691 QTAILQ_FOREACH(other, &memory_listeners, link) {
1692 if (listener->priority < other->priority) {
1693 break;
1694 }
1695 }
1696 QTAILQ_INSERT_BEFORE(other, listener, link);
1697 }
Avi Kivity0d673e32012-10-02 15:28:50 +02001698
1699 QTAILQ_FOREACH(as, &address_spaces, address_spaces_link) {
1700 listener_add_address_space(listener, as);
1701 }
Avi Kivity7664e802011-12-11 14:47:25 +02001702}
1703
1704void memory_listener_unregister(MemoryListener *listener)
1705{
Avi Kivity72e22d22012-02-08 15:05:50 +02001706 QTAILQ_REMOVE(&memory_listeners, listener, link);
Avi Kivity86e775c2011-12-15 16:24:49 +02001707}
Avi Kivitye2177952011-12-08 15:00:18 +02001708
Alexey Kardashevskiy7dca8042013-04-29 16:25:51 +00001709void address_space_init(AddressSpace *as, MemoryRegion *root, const char *name)
Avi Kivity1c0ffa52011-07-26 14:26:04 +03001710{
Paolo Bonzini856d7242013-05-06 11:57:21 +02001711 if (QTAILQ_EMPTY(&address_spaces)) {
1712 memory_init();
1713 }
1714
Jan Kiszka59023ef2012-08-23 13:02:30 +02001715 memory_region_transaction_begin();
Avi Kivity8786db72012-10-02 13:53:41 +02001716 as->root = root;
1717 as->current_map = g_new(FlatView, 1);
1718 flatview_init(as->current_map);
Avi Kivity4c19eb72012-10-30 13:47:44 +02001719 as->ioeventfd_nb = 0;
1720 as->ioeventfds = NULL;
Avi Kivity0d673e32012-10-02 15:28:50 +02001721 QTAILQ_INSERT_TAIL(&address_spaces, as, address_spaces_link);
Alexey Kardashevskiy7dca8042013-04-29 16:25:51 +00001722 as->name = g_strdup(name ? name : "anonymous");
Avi Kivityac1970f2012-10-03 16:22:53 +02001723 address_space_init_dispatch(as);
Paolo Bonzinif43793c2013-04-16 15:39:51 +02001724 memory_region_update_pending |= root->enabled;
1725 memory_region_transaction_commit();
Avi Kivity1c0ffa52011-07-26 14:26:04 +03001726}
Avi Kivity658b2222011-07-26 14:26:08 +03001727
Avi Kivity83f3c252012-10-07 12:59:55 +02001728void address_space_destroy(AddressSpace *as)
1729{
1730 /* Flush out anything from MemoryListeners listening in on this */
1731 memory_region_transaction_begin();
1732 as->root = NULL;
1733 memory_region_transaction_commit();
1734 QTAILQ_REMOVE(&address_spaces, as, address_spaces_link);
1735 address_space_destroy_dispatch(as);
Paolo Bonzini856d7242013-05-06 11:57:21 +02001736 flatview_unref(as->current_map);
Alexey Kardashevskiy7dca8042013-04-29 16:25:51 +00001737 g_free(as->name);
Avi Kivity4c19eb72012-10-30 13:47:44 +02001738 g_free(as->ioeventfds);
Avi Kivity83f3c252012-10-07 12:59:55 +02001739}
1740
Paolo Bonzini791af8c2013-05-24 16:10:39 +02001741bool io_mem_read(MemoryRegion *mr, hwaddr addr, uint64_t *pval, unsigned size)
Avi Kivityacbbec52011-11-21 12:27:03 +02001742{
Paolo Bonzini791af8c2013-05-24 16:10:39 +02001743 return memory_region_dispatch_read(mr, addr, pval, size);
Avi Kivityacbbec52011-11-21 12:27:03 +02001744}
1745
Paolo Bonzini791af8c2013-05-24 16:10:39 +02001746bool io_mem_write(MemoryRegion *mr, hwaddr addr,
Avi Kivityacbbec52011-11-21 12:27:03 +02001747 uint64_t val, unsigned size)
1748{
Paolo Bonzini791af8c2013-05-24 16:10:39 +02001749 return memory_region_dispatch_write(mr, addr, val, size);
Avi Kivityacbbec52011-11-21 12:27:03 +02001750}
1751
Blue Swirl314e2982011-09-11 20:22:05 +00001752typedef struct MemoryRegionList MemoryRegionList;
1753
1754struct MemoryRegionList {
1755 const MemoryRegion *mr;
1756 bool printed;
1757 QTAILQ_ENTRY(MemoryRegionList) queue;
1758};
1759
1760typedef QTAILQ_HEAD(queue, MemoryRegionList) MemoryRegionListHead;
1761
1762static void mtree_print_mr(fprintf_function mon_printf, void *f,
1763 const MemoryRegion *mr, unsigned int level,
Avi Kivitya8170e52012-10-23 12:30:10 +02001764 hwaddr base,
Jan Kiszka9479c572011-09-27 15:00:41 +02001765 MemoryRegionListHead *alias_print_queue)
Blue Swirl314e2982011-09-11 20:22:05 +00001766{
Jan Kiszka9479c572011-09-27 15:00:41 +02001767 MemoryRegionList *new_ml, *ml, *next_ml;
1768 MemoryRegionListHead submr_print_queue;
Blue Swirl314e2982011-09-11 20:22:05 +00001769 const MemoryRegion *submr;
1770 unsigned int i;
1771
Jan Kiszka7ea692b2012-10-31 10:49:02 +01001772 if (!mr || !mr->enabled) {
Blue Swirl314e2982011-09-11 20:22:05 +00001773 return;
1774 }
1775
1776 for (i = 0; i < level; i++) {
1777 mon_printf(f, " ");
1778 }
1779
1780 if (mr->alias) {
1781 MemoryRegionList *ml;
1782 bool found = false;
1783
1784 /* check if the alias is already in the queue */
Jan Kiszka9479c572011-09-27 15:00:41 +02001785 QTAILQ_FOREACH(ml, alias_print_queue, queue) {
Blue Swirl314e2982011-09-11 20:22:05 +00001786 if (ml->mr == mr->alias && !ml->printed) {
1787 found = true;
1788 }
1789 }
1790
1791 if (!found) {
1792 ml = g_new(MemoryRegionList, 1);
1793 ml->mr = mr->alias;
1794 ml->printed = false;
Jan Kiszka9479c572011-09-27 15:00:41 +02001795 QTAILQ_INSERT_TAIL(alias_print_queue, ml, queue);
Blue Swirl314e2982011-09-11 20:22:05 +00001796 }
Jan Kiszka4896d742012-02-04 16:25:42 +01001797 mon_printf(f, TARGET_FMT_plx "-" TARGET_FMT_plx
1798 " (prio %d, %c%c): alias %s @%s " TARGET_FMT_plx
1799 "-" TARGET_FMT_plx "\n",
Blue Swirl314e2982011-09-11 20:22:05 +00001800 base + mr->addr,
Avi Kivity08dafab2011-10-16 13:19:17 +02001801 base + mr->addr
Alex Williamsonfd1d9922013-07-19 12:42:12 -06001802 + (int128_nz(mr->size) ?
1803 (hwaddr)int128_get64(int128_sub(mr->size,
1804 int128_one())) : 0),
Jan Kiszka4b474ba2011-09-27 15:00:31 +02001805 mr->priority,
Jan Kiszka5f9a5ea2013-05-07 19:04:25 +02001806 mr->romd_mode ? 'R' : '-',
1807 !mr->readonly && !(mr->rom_device && mr->romd_mode) ? 'W'
1808 : '-',
Blue Swirl314e2982011-09-11 20:22:05 +00001809 mr->name,
1810 mr->alias->name,
1811 mr->alias_offset,
Avi Kivity08dafab2011-10-16 13:19:17 +02001812 mr->alias_offset
Alexey Kardashevskiya66670c2013-08-30 18:10:38 +10001813 + (int128_nz(mr->size) ?
1814 (hwaddr)int128_get64(int128_sub(mr->size,
1815 int128_one())) : 0));
Blue Swirl314e2982011-09-11 20:22:05 +00001816 } else {
Jan Kiszka4896d742012-02-04 16:25:42 +01001817 mon_printf(f,
1818 TARGET_FMT_plx "-" TARGET_FMT_plx " (prio %d, %c%c): %s\n",
Blue Swirl314e2982011-09-11 20:22:05 +00001819 base + mr->addr,
Avi Kivity08dafab2011-10-16 13:19:17 +02001820 base + mr->addr
Alex Williamsonfd1d9922013-07-19 12:42:12 -06001821 + (int128_nz(mr->size) ?
1822 (hwaddr)int128_get64(int128_sub(mr->size,
1823 int128_one())) : 0),
Jan Kiszka4b474ba2011-09-27 15:00:31 +02001824 mr->priority,
Jan Kiszka5f9a5ea2013-05-07 19:04:25 +02001825 mr->romd_mode ? 'R' : '-',
1826 !mr->readonly && !(mr->rom_device && mr->romd_mode) ? 'W'
1827 : '-',
Blue Swirl314e2982011-09-11 20:22:05 +00001828 mr->name);
1829 }
Jan Kiszka9479c572011-09-27 15:00:41 +02001830
1831 QTAILQ_INIT(&submr_print_queue);
1832
Blue Swirl314e2982011-09-11 20:22:05 +00001833 QTAILQ_FOREACH(submr, &mr->subregions, subregions_link) {
Jan Kiszka9479c572011-09-27 15:00:41 +02001834 new_ml = g_new(MemoryRegionList, 1);
1835 new_ml->mr = submr;
1836 QTAILQ_FOREACH(ml, &submr_print_queue, queue) {
1837 if (new_ml->mr->addr < ml->mr->addr ||
1838 (new_ml->mr->addr == ml->mr->addr &&
1839 new_ml->mr->priority > ml->mr->priority)) {
1840 QTAILQ_INSERT_BEFORE(ml, new_ml, queue);
1841 new_ml = NULL;
1842 break;
1843 }
1844 }
1845 if (new_ml) {
1846 QTAILQ_INSERT_TAIL(&submr_print_queue, new_ml, queue);
1847 }
1848 }
1849
1850 QTAILQ_FOREACH(ml, &submr_print_queue, queue) {
1851 mtree_print_mr(mon_printf, f, ml->mr, level + 1, base + mr->addr,
1852 alias_print_queue);
1853 }
1854
Avi Kivity88365e42011-11-13 12:00:55 +02001855 QTAILQ_FOREACH_SAFE(ml, &submr_print_queue, queue, next_ml) {
Jan Kiszka9479c572011-09-27 15:00:41 +02001856 g_free(ml);
Blue Swirl314e2982011-09-11 20:22:05 +00001857 }
1858}
1859
1860void mtree_info(fprintf_function mon_printf, void *f)
1861{
1862 MemoryRegionListHead ml_head;
1863 MemoryRegionList *ml, *ml2;
Avi Kivity0d673e32012-10-02 15:28:50 +02001864 AddressSpace *as;
Blue Swirl314e2982011-09-11 20:22:05 +00001865
1866 QTAILQ_INIT(&ml_head);
1867
Avi Kivity0d673e32012-10-02 15:28:50 +02001868 QTAILQ_FOREACH(as, &address_spaces, address_spaces_link) {
Avi Kivity0d673e32012-10-02 15:28:50 +02001869 mon_printf(f, "%s\n", as->name);
1870 mtree_print_mr(mon_printf, f, as->root, 0, 0, &ml_head);
Blue Swirlb9f9be82012-03-10 16:58:35 +00001871 }
1872
1873 mon_printf(f, "aliases\n");
Blue Swirl314e2982011-09-11 20:22:05 +00001874 /* print aliased regions */
1875 QTAILQ_FOREACH(ml, &ml_head, queue) {
1876 if (!ml->printed) {
1877 mon_printf(f, "%s\n", ml->mr->name);
1878 mtree_print_mr(mon_printf, f, ml->mr, 0, 0, &ml_head);
1879 }
1880 }
1881
1882 QTAILQ_FOREACH_SAFE(ml, &ml_head, queue, ml2) {
Avi Kivity88365e42011-11-13 12:00:55 +02001883 g_free(ml);
Blue Swirl314e2982011-09-11 20:22:05 +00001884 }
Blue Swirl314e2982011-09-11 20:22:05 +00001885}