blob: 9397fecd2c37d95f8bcb152d129da2be655a922e [file] [log] [blame]
Avi Kivity093bc2c2011-07-26 14:26:01 +03001/*
2 * Physical memory management
3 *
4 * Copyright 2011 Red Hat, Inc. and/or its affiliates
5 *
6 * Authors:
7 * Avi Kivity <avi@redhat.com>
8 *
9 * This work is licensed under the terms of the GNU GPL, version 2. See
10 * the COPYING file in the top-level directory.
11 *
Paolo Bonzini6b620ca2012-01-13 17:44:23 +010012 * Contributions after 2012-01-13 are licensed under the terms of the
13 * GNU GPL, version 2 or (at your option) any later version.
Avi Kivity093bc2c2011-07-26 14:26:01 +030014 */
15
Paolo Bonzini022c62c2012-12-17 18:19:49 +010016#include "exec/memory.h"
17#include "exec/address-spaces.h"
18#include "exec/ioport.h"
Paolo Bonzini1de7afc2012-12-17 18:20:00 +010019#include "qemu/bitops.h"
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -040020#include "qom/object.h"
Paolo Bonzini55d5d042013-07-28 14:57:22 +020021#include "trace.h"
Avi Kivity093bc2c2011-07-26 14:26:01 +030022#include <assert.h>
23
Paolo Bonzini022c62c2012-12-17 18:19:49 +010024#include "exec/memory-internal.h"
Juan Quintela220c3eb2013-10-14 17:13:59 +020025#include "exec/ram_addr.h"
Paolo Bonzinie1c57ab2014-05-14 17:43:18 +080026#include "sysemu/sysemu.h"
Avi Kivity67d95c12011-12-15 15:25:22 +020027
Paolo Bonzinid1970632013-05-24 13:23:38 +020028//#define DEBUG_UNASSIGNED
29
Jan Kiszka22bde712012-11-05 16:45:56 +010030static unsigned memory_region_transaction_depth;
31static bool memory_region_update_pending;
Gonglei4dc56152014-05-08 11:47:32 +080032static bool ioeventfd_update_pending;
Avi Kivity7664e802011-12-11 14:47:25 +020033static bool global_dirty_log = false;
34
Paolo Bonzini856d7242013-05-06 11:57:21 +020035/* flat_view_mutex is taken around reading as->current_map; the critical
36 * section is extremely short, so I'm using a single mutex for every AS.
37 * We could also RCU for the read-side.
38 *
39 * The BQL is taken around transaction commits, hence both locks are taken
40 * while writing to as->current_map (with the BQL taken outside).
41 */
42static QemuMutex flat_view_mutex;
43
Avi Kivity72e22d22012-02-08 15:05:50 +020044static QTAILQ_HEAD(memory_listeners, MemoryListener) memory_listeners
45 = QTAILQ_HEAD_INITIALIZER(memory_listeners);
Avi Kivity4ef4db82011-07-26 14:26:13 +030046
Avi Kivity0d673e32012-10-02 15:28:50 +020047static QTAILQ_HEAD(, AddressSpace) address_spaces
48 = QTAILQ_HEAD_INITIALIZER(address_spaces);
49
Paolo Bonzini856d7242013-05-06 11:57:21 +020050static void memory_init(void)
51{
52 qemu_mutex_init(&flat_view_mutex);
53}
54
Avi Kivity093bc2c2011-07-26 14:26:01 +030055typedef struct AddrRange AddrRange;
56
Avi Kivity8417ceb2011-08-03 11:56:14 +030057/*
58 * Note using signed integers limits us to physical addresses at most
59 * 63 bits wide. They are needed for negative offsetting in aliases
60 * (large MemoryRegion::alias_offset).
61 */
Avi Kivity093bc2c2011-07-26 14:26:01 +030062struct AddrRange {
Avi Kivity08dafab2011-10-16 13:19:17 +020063 Int128 start;
64 Int128 size;
Avi Kivity093bc2c2011-07-26 14:26:01 +030065};
66
Avi Kivity08dafab2011-10-16 13:19:17 +020067static AddrRange addrrange_make(Int128 start, Int128 size)
Avi Kivity093bc2c2011-07-26 14:26:01 +030068{
69 return (AddrRange) { start, size };
70}
71
72static bool addrrange_equal(AddrRange r1, AddrRange r2)
73{
Avi Kivity08dafab2011-10-16 13:19:17 +020074 return int128_eq(r1.start, r2.start) && int128_eq(r1.size, r2.size);
Avi Kivity093bc2c2011-07-26 14:26:01 +030075}
76
Avi Kivity08dafab2011-10-16 13:19:17 +020077static Int128 addrrange_end(AddrRange r)
Avi Kivity093bc2c2011-07-26 14:26:01 +030078{
Avi Kivity08dafab2011-10-16 13:19:17 +020079 return int128_add(r.start, r.size);
Avi Kivity093bc2c2011-07-26 14:26:01 +030080}
81
Avi Kivity08dafab2011-10-16 13:19:17 +020082static AddrRange addrrange_shift(AddrRange range, Int128 delta)
Avi Kivity093bc2c2011-07-26 14:26:01 +030083{
Avi Kivity08dafab2011-10-16 13:19:17 +020084 int128_addto(&range.start, delta);
Avi Kivity093bc2c2011-07-26 14:26:01 +030085 return range;
86}
87
Avi Kivity08dafab2011-10-16 13:19:17 +020088static bool addrrange_contains(AddrRange range, Int128 addr)
89{
90 return int128_ge(addr, range.start)
91 && int128_lt(addr, addrrange_end(range));
92}
93
Avi Kivity093bc2c2011-07-26 14:26:01 +030094static bool addrrange_intersects(AddrRange r1, AddrRange r2)
95{
Avi Kivity08dafab2011-10-16 13:19:17 +020096 return addrrange_contains(r1, r2.start)
97 || addrrange_contains(r2, r1.start);
Avi Kivity093bc2c2011-07-26 14:26:01 +030098}
99
100static AddrRange addrrange_intersection(AddrRange r1, AddrRange r2)
101{
Avi Kivity08dafab2011-10-16 13:19:17 +0200102 Int128 start = int128_max(r1.start, r2.start);
103 Int128 end = int128_min(addrrange_end(r1), addrrange_end(r2));
104 return addrrange_make(start, int128_sub(end, start));
Avi Kivity093bc2c2011-07-26 14:26:01 +0300105}
106
Avi Kivity0e0d36b2012-02-08 16:39:45 +0200107enum ListenerDirection { Forward, Reverse };
108
Avi Kivity7376e582012-02-08 21:05:17 +0200109static bool memory_listener_match(MemoryListener *listener,
110 MemoryRegionSection *section)
111{
112 return !listener->address_space_filter
113 || listener->address_space_filter == section->address_space;
114}
115
116#define MEMORY_LISTENER_CALL_GLOBAL(_callback, _direction, _args...) \
Avi Kivity0e0d36b2012-02-08 16:39:45 +0200117 do { \
118 MemoryListener *_listener; \
119 \
120 switch (_direction) { \
121 case Forward: \
122 QTAILQ_FOREACH(_listener, &memory_listeners, link) { \
Avi Kivity975aefe2012-10-02 16:39:57 +0200123 if (_listener->_callback) { \
124 _listener->_callback(_listener, ##_args); \
125 } \
Avi Kivity0e0d36b2012-02-08 16:39:45 +0200126 } \
127 break; \
128 case Reverse: \
129 QTAILQ_FOREACH_REVERSE(_listener, &memory_listeners, \
130 memory_listeners, link) { \
Avi Kivity975aefe2012-10-02 16:39:57 +0200131 if (_listener->_callback) { \
132 _listener->_callback(_listener, ##_args); \
133 } \
Avi Kivity0e0d36b2012-02-08 16:39:45 +0200134 } \
135 break; \
136 default: \
137 abort(); \
138 } \
139 } while (0)
140
Avi Kivity7376e582012-02-08 21:05:17 +0200141#define MEMORY_LISTENER_CALL(_callback, _direction, _section, _args...) \
142 do { \
143 MemoryListener *_listener; \
144 \
145 switch (_direction) { \
146 case Forward: \
147 QTAILQ_FOREACH(_listener, &memory_listeners, link) { \
Avi Kivity975aefe2012-10-02 16:39:57 +0200148 if (_listener->_callback \
149 && memory_listener_match(_listener, _section)) { \
Avi Kivity7376e582012-02-08 21:05:17 +0200150 _listener->_callback(_listener, _section, ##_args); \
151 } \
152 } \
153 break; \
154 case Reverse: \
155 QTAILQ_FOREACH_REVERSE(_listener, &memory_listeners, \
156 memory_listeners, link) { \
Avi Kivity975aefe2012-10-02 16:39:57 +0200157 if (_listener->_callback \
158 && memory_listener_match(_listener, _section)) { \
Avi Kivity7376e582012-02-08 21:05:17 +0200159 _listener->_callback(_listener, _section, ##_args); \
160 } \
161 } \
162 break; \
163 default: \
164 abort(); \
165 } \
166 } while (0)
167
Paolo Bonzinidfde4e62013-05-06 10:46:11 +0200168/* No need to ref/unref .mr, the FlatRange keeps it alive. */
Avi Kivity0e0d36b2012-02-08 16:39:45 +0200169#define MEMORY_LISTENER_UPDATE_REGION(fr, as, dir, callback) \
Avi Kivity7376e582012-02-08 21:05:17 +0200170 MEMORY_LISTENER_CALL(callback, dir, (&(MemoryRegionSection) { \
Avi Kivity0e0d36b2012-02-08 16:39:45 +0200171 .mr = (fr)->mr, \
Avi Kivityf6790af2012-10-02 20:13:51 +0200172 .address_space = (as), \
Avi Kivity0e0d36b2012-02-08 16:39:45 +0200173 .offset_within_region = (fr)->offset_in_region, \
Paolo Bonzini052e87b2013-05-27 10:08:27 +0200174 .size = (fr)->addr.size, \
Avi Kivity0e0d36b2012-02-08 16:39:45 +0200175 .offset_within_address_space = int128_get64((fr)->addr.start), \
Avi Kivity7a8499e2012-02-08 17:01:23 +0200176 .readonly = (fr)->readonly, \
Avi Kivity7376e582012-02-08 21:05:17 +0200177 }))
Avi Kivity0e0d36b2012-02-08 16:39:45 +0200178
Avi Kivity093bc2c2011-07-26 14:26:01 +0300179struct CoalescedMemoryRange {
180 AddrRange addr;
181 QTAILQ_ENTRY(CoalescedMemoryRange) link;
182};
183
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300184struct MemoryRegionIoeventfd {
185 AddrRange addr;
186 bool match_data;
187 uint64_t data;
Paolo Bonzini753d5e12012-07-05 17:16:27 +0200188 EventNotifier *e;
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300189};
190
191static bool memory_region_ioeventfd_before(MemoryRegionIoeventfd a,
192 MemoryRegionIoeventfd b)
193{
Avi Kivity08dafab2011-10-16 13:19:17 +0200194 if (int128_lt(a.addr.start, b.addr.start)) {
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300195 return true;
Avi Kivity08dafab2011-10-16 13:19:17 +0200196 } else if (int128_gt(a.addr.start, b.addr.start)) {
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300197 return false;
Avi Kivity08dafab2011-10-16 13:19:17 +0200198 } else if (int128_lt(a.addr.size, b.addr.size)) {
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300199 return true;
Avi Kivity08dafab2011-10-16 13:19:17 +0200200 } else if (int128_gt(a.addr.size, b.addr.size)) {
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300201 return false;
202 } else if (a.match_data < b.match_data) {
203 return true;
204 } else if (a.match_data > b.match_data) {
205 return false;
206 } else if (a.match_data) {
207 if (a.data < b.data) {
208 return true;
209 } else if (a.data > b.data) {
210 return false;
211 }
212 }
Paolo Bonzini753d5e12012-07-05 17:16:27 +0200213 if (a.e < b.e) {
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300214 return true;
Paolo Bonzini753d5e12012-07-05 17:16:27 +0200215 } else if (a.e > b.e) {
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300216 return false;
217 }
218 return false;
219}
220
221static bool memory_region_ioeventfd_equal(MemoryRegionIoeventfd a,
222 MemoryRegionIoeventfd b)
223{
224 return !memory_region_ioeventfd_before(a, b)
225 && !memory_region_ioeventfd_before(b, a);
226}
227
Avi Kivity093bc2c2011-07-26 14:26:01 +0300228typedef struct FlatRange FlatRange;
229typedef struct FlatView FlatView;
230
231/* Range of memory in the global map. Addresses are absolute. */
232struct FlatRange {
233 MemoryRegion *mr;
Avi Kivitya8170e52012-10-23 12:30:10 +0200234 hwaddr offset_in_region;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300235 AddrRange addr;
Avi Kivity5a583342011-07-26 14:26:02 +0300236 uint8_t dirty_log_mask;
Jan Kiszka5f9a5ea2013-05-07 19:04:25 +0200237 bool romd_mode;
Avi Kivityfb1cd6f2011-09-25 14:48:47 +0300238 bool readonly;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300239};
240
241/* Flattened global view of current active memory hierarchy. Kept in sorted
242 * order.
243 */
244struct FlatView {
Paolo Bonzini856d7242013-05-06 11:57:21 +0200245 unsigned ref;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300246 FlatRange *ranges;
247 unsigned nr;
248 unsigned nr_allocated;
249};
250
Avi Kivitycc31e6e2011-07-26 14:26:05 +0300251typedef struct AddressSpaceOps AddressSpaceOps;
252
Avi Kivity093bc2c2011-07-26 14:26:01 +0300253#define FOR_EACH_FLAT_RANGE(var, view) \
254 for (var = (view)->ranges; var < (view)->ranges + (view)->nr; ++var)
255
Avi Kivity093bc2c2011-07-26 14:26:01 +0300256static bool flatrange_equal(FlatRange *a, FlatRange *b)
257{
258 return a->mr == b->mr
259 && addrrange_equal(a->addr, b->addr)
Avi Kivityd0a9b5b2011-08-08 19:58:49 +0300260 && a->offset_in_region == b->offset_in_region
Jan Kiszka5f9a5ea2013-05-07 19:04:25 +0200261 && a->romd_mode == b->romd_mode
Avi Kivityfb1cd6f2011-09-25 14:48:47 +0300262 && a->readonly == b->readonly;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300263}
264
265static void flatview_init(FlatView *view)
266{
Paolo Bonzini856d7242013-05-06 11:57:21 +0200267 view->ref = 1;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300268 view->ranges = NULL;
269 view->nr = 0;
270 view->nr_allocated = 0;
271}
272
273/* Insert a range into a given position. Caller is responsible for maintaining
274 * sorting order.
275 */
276static void flatview_insert(FlatView *view, unsigned pos, FlatRange *range)
277{
278 if (view->nr == view->nr_allocated) {
279 view->nr_allocated = MAX(2 * view->nr, 10);
Anthony Liguori7267c092011-08-20 22:09:37 -0500280 view->ranges = g_realloc(view->ranges,
Avi Kivity093bc2c2011-07-26 14:26:01 +0300281 view->nr_allocated * sizeof(*view->ranges));
282 }
283 memmove(view->ranges + pos + 1, view->ranges + pos,
284 (view->nr - pos) * sizeof(FlatRange));
285 view->ranges[pos] = *range;
Paolo Bonzinidfde4e62013-05-06 10:46:11 +0200286 memory_region_ref(range->mr);
Avi Kivity093bc2c2011-07-26 14:26:01 +0300287 ++view->nr;
288}
289
290static void flatview_destroy(FlatView *view)
291{
Paolo Bonzinidfde4e62013-05-06 10:46:11 +0200292 int i;
293
294 for (i = 0; i < view->nr; i++) {
295 memory_region_unref(view->ranges[i].mr);
296 }
Anthony Liguori7267c092011-08-20 22:09:37 -0500297 g_free(view->ranges);
Paolo Bonzinia9a0c062013-05-06 10:29:07 +0200298 g_free(view);
Avi Kivity093bc2c2011-07-26 14:26:01 +0300299}
300
Paolo Bonzini856d7242013-05-06 11:57:21 +0200301static void flatview_ref(FlatView *view)
302{
303 atomic_inc(&view->ref);
304}
305
306static void flatview_unref(FlatView *view)
307{
308 if (atomic_fetch_dec(&view->ref) == 1) {
309 flatview_destroy(view);
310 }
311}
312
Avi Kivity3d8e6bf2011-07-26 14:26:03 +0300313static bool can_merge(FlatRange *r1, FlatRange *r2)
314{
Avi Kivity08dafab2011-10-16 13:19:17 +0200315 return int128_eq(addrrange_end(r1->addr), r2->addr.start)
Avi Kivity3d8e6bf2011-07-26 14:26:03 +0300316 && r1->mr == r2->mr
Avi Kivity08dafab2011-10-16 13:19:17 +0200317 && int128_eq(int128_add(int128_make64(r1->offset_in_region),
318 r1->addr.size),
319 int128_make64(r2->offset_in_region))
Avi Kivityd0a9b5b2011-08-08 19:58:49 +0300320 && r1->dirty_log_mask == r2->dirty_log_mask
Jan Kiszka5f9a5ea2013-05-07 19:04:25 +0200321 && r1->romd_mode == r2->romd_mode
Avi Kivityfb1cd6f2011-09-25 14:48:47 +0300322 && r1->readonly == r2->readonly;
Avi Kivity3d8e6bf2011-07-26 14:26:03 +0300323}
324
Peter Crosthwaite8508e022013-06-03 15:31:56 +1000325/* Attempt to simplify a view by merging adjacent ranges */
Avi Kivity3d8e6bf2011-07-26 14:26:03 +0300326static void flatview_simplify(FlatView *view)
327{
328 unsigned i, j;
329
330 i = 0;
331 while (i < view->nr) {
332 j = i + 1;
333 while (j < view->nr
334 && can_merge(&view->ranges[j-1], &view->ranges[j])) {
Avi Kivity08dafab2011-10-16 13:19:17 +0200335 int128_addto(&view->ranges[i].addr.size, view->ranges[j].addr.size);
Avi Kivity3d8e6bf2011-07-26 14:26:03 +0300336 ++j;
337 }
338 ++i;
339 memmove(&view->ranges[i], &view->ranges[j],
340 (view->nr - j) * sizeof(view->ranges[j]));
341 view->nr -= j - i;
342 }
343}
344
Paolo Bonzinie7342aa2013-07-22 15:54:37 +0200345static bool memory_region_big_endian(MemoryRegion *mr)
346{
347#ifdef TARGET_WORDS_BIGENDIAN
348 return mr->ops->endianness != DEVICE_LITTLE_ENDIAN;
349#else
350 return mr->ops->endianness == DEVICE_BIG_ENDIAN;
351#endif
352}
353
Paolo Bonzinie11ef3d2013-07-22 15:54:35 +0200354static bool memory_region_wrong_endianness(MemoryRegion *mr)
355{
356#ifdef TARGET_WORDS_BIGENDIAN
357 return mr->ops->endianness == DEVICE_LITTLE_ENDIAN;
358#else
359 return mr->ops->endianness == DEVICE_BIG_ENDIAN;
360#endif
361}
362
363static void adjust_endianness(MemoryRegion *mr, uint64_t *data, unsigned size)
364{
365 if (memory_region_wrong_endianness(mr)) {
366 switch (size) {
367 case 1:
368 break;
369 case 2:
370 *data = bswap16(*data);
371 break;
372 case 4:
373 *data = bswap32(*data);
374 break;
375 case 8:
376 *data = bswap64(*data);
377 break;
378 default:
379 abort();
380 }
381 }
382}
383
Paolo Bonzini547e9202013-07-22 15:54:36 +0200384static void memory_region_oldmmio_read_accessor(MemoryRegion *mr,
Paolo Bonzinice5d2f32013-05-24 17:45:48 +0200385 hwaddr addr,
386 uint64_t *value,
387 unsigned size,
388 unsigned shift,
389 uint64_t mask)
390{
Paolo Bonzinice5d2f32013-05-24 17:45:48 +0200391 uint64_t tmp;
392
393 tmp = mr->ops->old_mmio.read[ctz32(size)](mr->opaque, addr);
Paolo Bonzini55d5d042013-07-28 14:57:22 +0200394 trace_memory_region_ops_read(mr, addr, tmp, size);
Paolo Bonzinice5d2f32013-05-24 17:45:48 +0200395 *value |= (tmp & mask) << shift;
396}
397
Paolo Bonzini547e9202013-07-22 15:54:36 +0200398static void memory_region_read_accessor(MemoryRegion *mr,
Avi Kivitya8170e52012-10-23 12:30:10 +0200399 hwaddr addr,
Avi Kivity164a4dc2011-08-11 10:40:25 +0300400 uint64_t *value,
401 unsigned size,
402 unsigned shift,
403 uint64_t mask)
404{
Avi Kivity164a4dc2011-08-11 10:40:25 +0300405 uint64_t tmp;
406
Jan Kiszkad4105152012-08-23 13:02:29 +0200407 if (mr->flush_coalesced_mmio) {
408 qemu_flush_coalesced_mmio_buffer();
409 }
Avi Kivity164a4dc2011-08-11 10:40:25 +0300410 tmp = mr->ops->read(mr->opaque, addr, size);
Paolo Bonzini55d5d042013-07-28 14:57:22 +0200411 trace_memory_region_ops_read(mr, addr, tmp, size);
Avi Kivity164a4dc2011-08-11 10:40:25 +0300412 *value |= (tmp & mask) << shift;
413}
414
Paolo Bonzini547e9202013-07-22 15:54:36 +0200415static void memory_region_oldmmio_write_accessor(MemoryRegion *mr,
Paolo Bonzinice5d2f32013-05-24 17:45:48 +0200416 hwaddr addr,
417 uint64_t *value,
418 unsigned size,
419 unsigned shift,
420 uint64_t mask)
421{
Paolo Bonzinice5d2f32013-05-24 17:45:48 +0200422 uint64_t tmp;
423
424 tmp = (*value >> shift) & mask;
Paolo Bonzini55d5d042013-07-28 14:57:22 +0200425 trace_memory_region_ops_write(mr, addr, tmp, size);
Paolo Bonzinice5d2f32013-05-24 17:45:48 +0200426 mr->ops->old_mmio.write[ctz32(size)](mr->opaque, addr, tmp);
427}
428
Paolo Bonzini547e9202013-07-22 15:54:36 +0200429static void memory_region_write_accessor(MemoryRegion *mr,
Avi Kivitya8170e52012-10-23 12:30:10 +0200430 hwaddr addr,
Avi Kivity164a4dc2011-08-11 10:40:25 +0300431 uint64_t *value,
432 unsigned size,
433 unsigned shift,
434 uint64_t mask)
435{
Avi Kivity164a4dc2011-08-11 10:40:25 +0300436 uint64_t tmp;
437
Jan Kiszkad4105152012-08-23 13:02:29 +0200438 if (mr->flush_coalesced_mmio) {
439 qemu_flush_coalesced_mmio_buffer();
440 }
Avi Kivity164a4dc2011-08-11 10:40:25 +0300441 tmp = (*value >> shift) & mask;
Paolo Bonzini55d5d042013-07-28 14:57:22 +0200442 trace_memory_region_ops_write(mr, addr, tmp, size);
Avi Kivity164a4dc2011-08-11 10:40:25 +0300443 mr->ops->write(mr->opaque, addr, tmp, size);
444}
445
Avi Kivitya8170e52012-10-23 12:30:10 +0200446static void access_with_adjusted_size(hwaddr addr,
Avi Kivity164a4dc2011-08-11 10:40:25 +0300447 uint64_t *value,
448 unsigned size,
449 unsigned access_size_min,
450 unsigned access_size_max,
Paolo Bonzini547e9202013-07-22 15:54:36 +0200451 void (*access)(MemoryRegion *mr,
Avi Kivitya8170e52012-10-23 12:30:10 +0200452 hwaddr addr,
Avi Kivity164a4dc2011-08-11 10:40:25 +0300453 uint64_t *value,
454 unsigned size,
455 unsigned shift,
456 uint64_t mask),
Paolo Bonzini547e9202013-07-22 15:54:36 +0200457 MemoryRegion *mr)
Avi Kivity164a4dc2011-08-11 10:40:25 +0300458{
459 uint64_t access_mask;
460 unsigned access_size;
461 unsigned i;
462
463 if (!access_size_min) {
464 access_size_min = 1;
465 }
466 if (!access_size_max) {
467 access_size_max = 4;
468 }
Paolo Bonzinice5d2f32013-05-24 17:45:48 +0200469
470 /* FIXME: support unaligned access? */
Avi Kivity164a4dc2011-08-11 10:40:25 +0300471 access_size = MAX(MIN(size, access_size_max), access_size_min);
472 access_mask = -1ULL >> (64 - access_size * 8);
Paolo Bonzinie7342aa2013-07-22 15:54:37 +0200473 if (memory_region_big_endian(mr)) {
474 for (i = 0; i < size; i += access_size) {
475 access(mr, addr + i, value, access_size,
476 (size - access_size - i) * 8, access_mask);
477 }
478 } else {
479 for (i = 0; i < size; i += access_size) {
480 access(mr, addr + i, value, access_size, i * 8, access_mask);
481 }
Avi Kivity164a4dc2011-08-11 10:40:25 +0300482 }
483}
484
Avi Kivitye2177952011-12-08 15:00:18 +0200485static AddressSpace *memory_region_to_address_space(MemoryRegion *mr)
486{
Avi Kivity0d673e32012-10-02 15:28:50 +0200487 AddressSpace *as;
488
Paolo Bonzinifeca4ac2014-06-11 11:18:09 +0200489 while (mr->container) {
490 mr = mr->container;
Avi Kivitye2177952011-12-08 15:00:18 +0200491 }
Avi Kivity0d673e32012-10-02 15:28:50 +0200492 QTAILQ_FOREACH(as, &address_spaces, address_spaces_link) {
493 if (mr == as->root) {
494 return as;
495 }
Avi Kivitye2177952011-12-08 15:00:18 +0200496 }
Igor Mammedoveed2bac2014-06-02 15:25:06 +0200497 return NULL;
Avi Kivitye2177952011-12-08 15:00:18 +0200498}
499
Avi Kivity093bc2c2011-07-26 14:26:01 +0300500/* Render a memory region into the global view. Ranges in @view obscure
501 * ranges in @mr.
502 */
503static void render_memory_region(FlatView *view,
504 MemoryRegion *mr,
Avi Kivity08dafab2011-10-16 13:19:17 +0200505 Int128 base,
Avi Kivityfb1cd6f2011-09-25 14:48:47 +0300506 AddrRange clip,
507 bool readonly)
Avi Kivity093bc2c2011-07-26 14:26:01 +0300508{
509 MemoryRegion *subregion;
510 unsigned i;
Avi Kivitya8170e52012-10-23 12:30:10 +0200511 hwaddr offset_in_region;
Avi Kivity08dafab2011-10-16 13:19:17 +0200512 Int128 remain;
513 Int128 now;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300514 FlatRange fr;
515 AddrRange tmp;
516
Avi Kivity6bba19b2011-09-14 11:54:58 +0300517 if (!mr->enabled) {
518 return;
519 }
520
Avi Kivity08dafab2011-10-16 13:19:17 +0200521 int128_addto(&base, int128_make64(mr->addr));
Avi Kivityfb1cd6f2011-09-25 14:48:47 +0300522 readonly |= mr->readonly;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300523
524 tmp = addrrange_make(base, mr->size);
525
526 if (!addrrange_intersects(tmp, clip)) {
527 return;
528 }
529
530 clip = addrrange_intersection(tmp, clip);
531
532 if (mr->alias) {
Avi Kivity08dafab2011-10-16 13:19:17 +0200533 int128_subfrom(&base, int128_make64(mr->alias->addr));
534 int128_subfrom(&base, int128_make64(mr->alias_offset));
Avi Kivityfb1cd6f2011-09-25 14:48:47 +0300535 render_memory_region(view, mr->alias, base, clip, readonly);
Avi Kivity093bc2c2011-07-26 14:26:01 +0300536 return;
537 }
538
539 /* Render subregions in priority order. */
540 QTAILQ_FOREACH(subregion, &mr->subregions, subregions_link) {
Avi Kivityfb1cd6f2011-09-25 14:48:47 +0300541 render_memory_region(view, subregion, base, clip, readonly);
Avi Kivity093bc2c2011-07-26 14:26:01 +0300542 }
543
Avi Kivity14a3c102011-07-26 14:26:06 +0300544 if (!mr->terminates) {
Avi Kivity093bc2c2011-07-26 14:26:01 +0300545 return;
546 }
547
Avi Kivity08dafab2011-10-16 13:19:17 +0200548 offset_in_region = int128_get64(int128_sub(clip.start, base));
Avi Kivity093bc2c2011-07-26 14:26:01 +0300549 base = clip.start;
550 remain = clip.size;
551
Peter Crosthwaite2eb74e12013-06-03 15:33:29 +1000552 fr.mr = mr;
553 fr.dirty_log_mask = mr->dirty_log_mask;
554 fr.romd_mode = mr->romd_mode;
555 fr.readonly = readonly;
556
Avi Kivity093bc2c2011-07-26 14:26:01 +0300557 /* Render the region itself into any gaps left by the current view. */
Avi Kivity08dafab2011-10-16 13:19:17 +0200558 for (i = 0; i < view->nr && int128_nz(remain); ++i) {
559 if (int128_ge(base, addrrange_end(view->ranges[i].addr))) {
Avi Kivity093bc2c2011-07-26 14:26:01 +0300560 continue;
561 }
Avi Kivity08dafab2011-10-16 13:19:17 +0200562 if (int128_lt(base, view->ranges[i].addr.start)) {
563 now = int128_min(remain,
564 int128_sub(view->ranges[i].addr.start, base));
Avi Kivity093bc2c2011-07-26 14:26:01 +0300565 fr.offset_in_region = offset_in_region;
566 fr.addr = addrrange_make(base, now);
567 flatview_insert(view, i, &fr);
568 ++i;
Avi Kivity08dafab2011-10-16 13:19:17 +0200569 int128_addto(&base, now);
570 offset_in_region += int128_get64(now);
571 int128_subfrom(&remain, now);
Avi Kivity093bc2c2011-07-26 14:26:01 +0300572 }
Avi Kivityd26a8ca2012-10-29 18:22:36 +0200573 now = int128_sub(int128_min(int128_add(base, remain),
574 addrrange_end(view->ranges[i].addr)),
575 base);
576 int128_addto(&base, now);
577 offset_in_region += int128_get64(now);
578 int128_subfrom(&remain, now);
Avi Kivity093bc2c2011-07-26 14:26:01 +0300579 }
Avi Kivity08dafab2011-10-16 13:19:17 +0200580 if (int128_nz(remain)) {
Avi Kivity093bc2c2011-07-26 14:26:01 +0300581 fr.offset_in_region = offset_in_region;
582 fr.addr = addrrange_make(base, remain);
583 flatview_insert(view, i, &fr);
584 }
585}
586
587/* Render a memory topology into a list of disjoint absolute ranges. */
Paolo Bonzinia9a0c062013-05-06 10:29:07 +0200588static FlatView *generate_memory_topology(MemoryRegion *mr)
Avi Kivity093bc2c2011-07-26 14:26:01 +0300589{
Paolo Bonzinia9a0c062013-05-06 10:29:07 +0200590 FlatView *view;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300591
Paolo Bonzinia9a0c062013-05-06 10:29:07 +0200592 view = g_new(FlatView, 1);
593 flatview_init(view);
Avi Kivity093bc2c2011-07-26 14:26:01 +0300594
Avi Kivity83f3c252012-10-07 12:59:55 +0200595 if (mr) {
Paolo Bonzinia9a0c062013-05-06 10:29:07 +0200596 render_memory_region(view, mr, int128_zero(),
Avi Kivity83f3c252012-10-07 12:59:55 +0200597 addrrange_make(int128_zero(), int128_2_64()), false);
598 }
Paolo Bonzinia9a0c062013-05-06 10:29:07 +0200599 flatview_simplify(view);
Avi Kivity093bc2c2011-07-26 14:26:01 +0300600
601 return view;
602}
603
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300604static void address_space_add_del_ioeventfds(AddressSpace *as,
605 MemoryRegionIoeventfd *fds_new,
606 unsigned fds_new_nb,
607 MemoryRegionIoeventfd *fds_old,
608 unsigned fds_old_nb)
609{
610 unsigned iold, inew;
Avi Kivity80a1ea32012-02-08 16:39:06 +0200611 MemoryRegionIoeventfd *fd;
612 MemoryRegionSection section;
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300613
614 /* Generate a symmetric difference of the old and new fd sets, adding
615 * and deleting as necessary.
616 */
617
618 iold = inew = 0;
619 while (iold < fds_old_nb || inew < fds_new_nb) {
620 if (iold < fds_old_nb
621 && (inew == fds_new_nb
622 || memory_region_ioeventfd_before(fds_old[iold],
623 fds_new[inew]))) {
Avi Kivity80a1ea32012-02-08 16:39:06 +0200624 fd = &fds_old[iold];
625 section = (MemoryRegionSection) {
Avi Kivityf6790af2012-10-02 20:13:51 +0200626 .address_space = as,
Avi Kivity80a1ea32012-02-08 16:39:06 +0200627 .offset_within_address_space = int128_get64(fd->addr.start),
Paolo Bonzini052e87b2013-05-27 10:08:27 +0200628 .size = fd->addr.size,
Avi Kivity80a1ea32012-02-08 16:39:06 +0200629 };
630 MEMORY_LISTENER_CALL(eventfd_del, Forward, &section,
Paolo Bonzini753d5e12012-07-05 17:16:27 +0200631 fd->match_data, fd->data, fd->e);
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300632 ++iold;
633 } else if (inew < fds_new_nb
634 && (iold == fds_old_nb
635 || memory_region_ioeventfd_before(fds_new[inew],
636 fds_old[iold]))) {
Avi Kivity80a1ea32012-02-08 16:39:06 +0200637 fd = &fds_new[inew];
638 section = (MemoryRegionSection) {
Avi Kivityf6790af2012-10-02 20:13:51 +0200639 .address_space = as,
Avi Kivity80a1ea32012-02-08 16:39:06 +0200640 .offset_within_address_space = int128_get64(fd->addr.start),
Paolo Bonzini052e87b2013-05-27 10:08:27 +0200641 .size = fd->addr.size,
Avi Kivity80a1ea32012-02-08 16:39:06 +0200642 };
643 MEMORY_LISTENER_CALL(eventfd_add, Reverse, &section,
Paolo Bonzini753d5e12012-07-05 17:16:27 +0200644 fd->match_data, fd->data, fd->e);
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300645 ++inew;
646 } else {
647 ++iold;
648 ++inew;
649 }
650 }
651}
652
Paolo Bonzini856d7242013-05-06 11:57:21 +0200653static FlatView *address_space_get_flatview(AddressSpace *as)
654{
655 FlatView *view;
656
657 qemu_mutex_lock(&flat_view_mutex);
658 view = as->current_map;
659 flatview_ref(view);
660 qemu_mutex_unlock(&flat_view_mutex);
661 return view;
662}
663
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300664static void address_space_update_ioeventfds(AddressSpace *as)
665{
Paolo Bonzini99e86342013-05-06 10:26:13 +0200666 FlatView *view;
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300667 FlatRange *fr;
668 unsigned ioeventfd_nb = 0;
669 MemoryRegionIoeventfd *ioeventfds = NULL;
670 AddrRange tmp;
671 unsigned i;
672
Paolo Bonzini856d7242013-05-06 11:57:21 +0200673 view = address_space_get_flatview(as);
Paolo Bonzini99e86342013-05-06 10:26:13 +0200674 FOR_EACH_FLAT_RANGE(fr, view) {
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300675 for (i = 0; i < fr->mr->ioeventfd_nb; ++i) {
676 tmp = addrrange_shift(fr->mr->ioeventfds[i].addr,
Avi Kivity08dafab2011-10-16 13:19:17 +0200677 int128_sub(fr->addr.start,
678 int128_make64(fr->offset_in_region)));
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300679 if (addrrange_intersects(fr->addr, tmp)) {
680 ++ioeventfd_nb;
Anthony Liguori7267c092011-08-20 22:09:37 -0500681 ioeventfds = g_realloc(ioeventfds,
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300682 ioeventfd_nb * sizeof(*ioeventfds));
683 ioeventfds[ioeventfd_nb-1] = fr->mr->ioeventfds[i];
684 ioeventfds[ioeventfd_nb-1].addr = tmp;
685 }
686 }
687 }
688
689 address_space_add_del_ioeventfds(as, ioeventfds, ioeventfd_nb,
690 as->ioeventfds, as->ioeventfd_nb);
691
Anthony Liguori7267c092011-08-20 22:09:37 -0500692 g_free(as->ioeventfds);
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300693 as->ioeventfds = ioeventfds;
694 as->ioeventfd_nb = ioeventfd_nb;
Paolo Bonzini856d7242013-05-06 11:57:21 +0200695 flatview_unref(view);
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300696}
697
Avi Kivityb8af1af2011-07-26 14:26:12 +0300698static void address_space_update_topology_pass(AddressSpace *as,
Paolo Bonzinia9a0c062013-05-06 10:29:07 +0200699 const FlatView *old_view,
700 const FlatView *new_view,
Avi Kivityb8af1af2011-07-26 14:26:12 +0300701 bool adding)
Avi Kivity093bc2c2011-07-26 14:26:01 +0300702{
Avi Kivity093bc2c2011-07-26 14:26:01 +0300703 unsigned iold, inew;
704 FlatRange *frold, *frnew;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300705
706 /* Generate a symmetric difference of the old and new memory maps.
707 * Kill ranges in the old map, and instantiate ranges in the new map.
708 */
709 iold = inew = 0;
Paolo Bonzinia9a0c062013-05-06 10:29:07 +0200710 while (iold < old_view->nr || inew < new_view->nr) {
711 if (iold < old_view->nr) {
712 frold = &old_view->ranges[iold];
Avi Kivity093bc2c2011-07-26 14:26:01 +0300713 } else {
714 frold = NULL;
715 }
Paolo Bonzinia9a0c062013-05-06 10:29:07 +0200716 if (inew < new_view->nr) {
717 frnew = &new_view->ranges[inew];
Avi Kivity093bc2c2011-07-26 14:26:01 +0300718 } else {
719 frnew = NULL;
720 }
721
722 if (frold
723 && (!frnew
Avi Kivity08dafab2011-10-16 13:19:17 +0200724 || int128_lt(frold->addr.start, frnew->addr.start)
725 || (int128_eq(frold->addr.start, frnew->addr.start)
Avi Kivity093bc2c2011-07-26 14:26:01 +0300726 && !flatrange_equal(frold, frnew)))) {
Peter Crosthwaite41a6e472013-06-03 15:32:42 +1000727 /* In old but not in new, or in both but attributes changed. */
Avi Kivity093bc2c2011-07-26 14:26:01 +0300728
Avi Kivityb8af1af2011-07-26 14:26:12 +0300729 if (!adding) {
Avi Kivity72e22d22012-02-08 15:05:50 +0200730 MEMORY_LISTENER_UPDATE_REGION(frold, as, Reverse, region_del);
Avi Kivityb8af1af2011-07-26 14:26:12 +0300731 }
732
Avi Kivity093bc2c2011-07-26 14:26:01 +0300733 ++iold;
734 } else if (frold && frnew && flatrange_equal(frold, frnew)) {
Peter Crosthwaite41a6e472013-06-03 15:32:42 +1000735 /* In both and unchanged (except logging may have changed) */
Avi Kivity093bc2c2011-07-26 14:26:01 +0300736
Avi Kivityb8af1af2011-07-26 14:26:12 +0300737 if (adding) {
Avi Kivity50c1e142012-02-08 21:36:02 +0200738 MEMORY_LISTENER_UPDATE_REGION(frnew, as, Forward, region_nop);
Avi Kivityb8af1af2011-07-26 14:26:12 +0300739 if (frold->dirty_log_mask && !frnew->dirty_log_mask) {
Avi Kivity72e22d22012-02-08 15:05:50 +0200740 MEMORY_LISTENER_UPDATE_REGION(frnew, as, Reverse, log_stop);
Avi Kivityb8af1af2011-07-26 14:26:12 +0300741 } else if (frnew->dirty_log_mask && !frold->dirty_log_mask) {
Avi Kivity72e22d22012-02-08 15:05:50 +0200742 MEMORY_LISTENER_UPDATE_REGION(frnew, as, Forward, log_start);
Avi Kivityb8af1af2011-07-26 14:26:12 +0300743 }
Avi Kivity5a583342011-07-26 14:26:02 +0300744 }
745
Avi Kivity093bc2c2011-07-26 14:26:01 +0300746 ++iold;
747 ++inew;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300748 } else {
749 /* In new */
750
Avi Kivityb8af1af2011-07-26 14:26:12 +0300751 if (adding) {
Avi Kivity72e22d22012-02-08 15:05:50 +0200752 MEMORY_LISTENER_UPDATE_REGION(frnew, as, Forward, region_add);
Avi Kivityb8af1af2011-07-26 14:26:12 +0300753 }
754
Avi Kivity093bc2c2011-07-26 14:26:01 +0300755 ++inew;
756 }
757 }
Avi Kivityb8af1af2011-07-26 14:26:12 +0300758}
759
760
761static void address_space_update_topology(AddressSpace *as)
762{
Paolo Bonzini856d7242013-05-06 11:57:21 +0200763 FlatView *old_view = address_space_get_flatview(as);
Paolo Bonzinia9a0c062013-05-06 10:29:07 +0200764 FlatView *new_view = generate_memory_topology(as->root);
Avi Kivityb8af1af2011-07-26 14:26:12 +0300765
766 address_space_update_topology_pass(as, old_view, new_view, false);
767 address_space_update_topology_pass(as, old_view, new_view, true);
768
Paolo Bonzini856d7242013-05-06 11:57:21 +0200769 qemu_mutex_lock(&flat_view_mutex);
770 flatview_unref(as->current_map);
Paolo Bonzinia9a0c062013-05-06 10:29:07 +0200771 as->current_map = new_view;
Paolo Bonzini856d7242013-05-06 11:57:21 +0200772 qemu_mutex_unlock(&flat_view_mutex);
773
774 /* Note that all the old MemoryRegions are still alive up to this
775 * point. This relieves most MemoryListeners from the need to
776 * ref/unref the MemoryRegions they get---unless they use them
777 * outside the iothread mutex, in which case precise reference
778 * counting is necessary.
779 */
780 flatview_unref(old_view);
781
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300782 address_space_update_ioeventfds(as);
Avi Kivity093bc2c2011-07-26 14:26:01 +0300783}
784
Avi Kivity4ef4db82011-07-26 14:26:13 +0300785void memory_region_transaction_begin(void)
786{
Jan Kiszkabb880de2012-08-23 13:02:32 +0200787 qemu_flush_coalesced_mmio_buffer();
Avi Kivity4ef4db82011-07-26 14:26:13 +0300788 ++memory_region_transaction_depth;
789}
790
Gonglei4dc56152014-05-08 11:47:32 +0800791static void memory_region_clear_pending(void)
792{
793 memory_region_update_pending = false;
794 ioeventfd_update_pending = false;
795}
796
Avi Kivity4ef4db82011-07-26 14:26:13 +0300797void memory_region_transaction_commit(void)
798{
Avi Kivity0d673e32012-10-02 15:28:50 +0200799 AddressSpace *as;
800
Avi Kivity4ef4db82011-07-26 14:26:13 +0300801 assert(memory_region_transaction_depth);
802 --memory_region_transaction_depth;
Gonglei4dc56152014-05-08 11:47:32 +0800803 if (!memory_region_transaction_depth) {
804 if (memory_region_update_pending) {
805 MEMORY_LISTENER_CALL_GLOBAL(begin, Forward);
Jan Kiszka02e2b952012-08-23 13:02:31 +0200806
Gonglei4dc56152014-05-08 11:47:32 +0800807 QTAILQ_FOREACH(as, &address_spaces, address_spaces_link) {
808 address_space_update_topology(as);
809 }
810
811 MEMORY_LISTENER_CALL_GLOBAL(commit, Forward);
812 } else if (ioeventfd_update_pending) {
813 QTAILQ_FOREACH(as, &address_spaces, address_spaces_link) {
814 address_space_update_ioeventfds(as);
815 }
Jan Kiszka02e2b952012-08-23 13:02:31 +0200816 }
Gonglei4dc56152014-05-08 11:47:32 +0800817 memory_region_clear_pending();
818 }
Avi Kivity4ef4db82011-07-26 14:26:13 +0300819}
820
Avi Kivity545e92e2011-08-08 19:58:48 +0300821static void memory_region_destructor_none(MemoryRegion *mr)
822{
823}
824
825static void memory_region_destructor_ram(MemoryRegion *mr)
826{
827 qemu_ram_free(mr->ram_addr);
828}
829
Paolo Bonzinidfde4e62013-05-06 10:46:11 +0200830static void memory_region_destructor_alias(MemoryRegion *mr)
831{
832 memory_region_unref(mr->alias);
833}
834
Avi Kivity545e92e2011-08-08 19:58:48 +0300835static void memory_region_destructor_ram_from_ptr(MemoryRegion *mr)
836{
837 qemu_ram_free_from_ptr(mr->ram_addr);
838}
839
Avi Kivityd0a9b5b2011-08-08 19:58:49 +0300840static void memory_region_destructor_rom_device(MemoryRegion *mr)
841{
842 qemu_ram_free(mr->ram_addr & TARGET_PAGE_MASK);
Avi Kivityd0a9b5b2011-08-08 19:58:49 +0300843}
844
Peter Crosthwaiteb4fefef2014-06-05 23:15:52 -0700845static bool memory_region_need_escape(char c)
846{
847 return c == '/' || c == '[' || c == '\\' || c == ']';
848}
849
850static char *memory_region_escape_name(const char *name)
851{
852 const char *p;
853 char *escaped, *q;
854 uint8_t c;
855 size_t bytes = 0;
856
857 for (p = name; *p; p++) {
858 bytes += memory_region_need_escape(*p) ? 4 : 1;
859 }
860 if (bytes == p - name) {
861 return g_memdup(name, bytes + 1);
862 }
863
864 escaped = g_malloc(bytes + 1);
865 for (p = name, q = escaped; *p; p++) {
866 c = *p;
867 if (unlikely(memory_region_need_escape(c))) {
868 *q++ = '\\';
869 *q++ = 'x';
870 *q++ = "0123456789abcdef"[c >> 4];
871 c = "0123456789abcdef"[c & 15];
872 }
873 *q++ = c;
874 }
875 *q = 0;
876 return escaped;
877}
878
879static void object_property_add_child_array(Object *owner,
880 const char *name,
881 Object *child)
882{
883 int i;
884 char *base_name = memory_region_escape_name(name);
885
886 for (i = 0; ; i++) {
887 char *full_name = g_strdup_printf("%s[%d]", base_name, i);
888 Error *local_err = NULL;
889
890 object_property_add_child(owner, full_name, child, &local_err);
891 g_free(full_name);
892 if (!local_err) {
893 break;
894 }
895
896 error_free(local_err);
897 }
898
899 g_free(base_name);
900}
901
902
Avi Kivity093bc2c2011-07-26 14:26:01 +0300903void memory_region_init(MemoryRegion *mr,
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -0400904 Object *owner,
Avi Kivity093bc2c2011-07-26 14:26:01 +0300905 const char *name,
906 uint64_t size)
907{
Peter Crosthwaiteb4fefef2014-06-05 23:15:52 -0700908 object_initialize(mr, sizeof(*mr), TYPE_MEMORY_REGION);
909
Paolo Bonzinib5c2c3d2014-06-11 10:52:32 +0200910 mr->owner = owner ? owner : qdev_get_machine();
Avi Kivity08dafab2011-10-16 13:19:17 +0200911 mr->size = int128_make64(size);
912 if (size == UINT64_MAX) {
913 mr->size = int128_2_64();
914 }
Anthony Liguori7267c092011-08-20 22:09:37 -0500915 mr->name = g_strdup(name);
Peter Crosthwaiteb4fefef2014-06-05 23:15:52 -0700916
917 if (name) {
918 object_property_add_child_array(mr->owner, name, OBJECT(mr));
919 object_unref(OBJECT(mr));
920 }
921}
922
923static void memory_region_initfn(Object *obj)
924{
925 MemoryRegion *mr = MEMORY_REGION(obj);
926
927 mr->ops = &unassigned_mem_ops;
928 mr->enabled = true;
929 mr->romd_mode = true;
930 mr->destructor = memory_region_destructor_none;
931 QTAILQ_INIT(&mr->subregions);
932 QTAILQ_INIT(&mr->coalesced);
Avi Kivity093bc2c2011-07-26 14:26:01 +0300933}
934
Paolo Bonzinib018ddf2013-05-24 14:48:38 +0200935static uint64_t unassigned_mem_read(void *opaque, hwaddr addr,
936 unsigned size)
937{
938#ifdef DEBUG_UNASSIGNED
939 printf("Unassigned mem read " TARGET_FMT_plx "\n", addr);
940#endif
Andreas Färber4917cf42013-05-27 05:17:50 +0200941 if (current_cpu != NULL) {
942 cpu_unassigned_access(current_cpu, addr, false, false, 0, size);
Andreas Färberc658b942013-05-27 06:49:53 +0200943 }
Jan Kiszka68a74392013-09-02 18:43:31 +0200944 return 0;
Paolo Bonzinib018ddf2013-05-24 14:48:38 +0200945}
946
947static void unassigned_mem_write(void *opaque, hwaddr addr,
948 uint64_t val, unsigned size)
949{
950#ifdef DEBUG_UNASSIGNED
951 printf("Unassigned mem write " TARGET_FMT_plx " = 0x%"PRIx64"\n", addr, val);
952#endif
Andreas Färber4917cf42013-05-27 05:17:50 +0200953 if (current_cpu != NULL) {
954 cpu_unassigned_access(current_cpu, addr, true, false, 0, size);
Andreas Färberc658b942013-05-27 06:49:53 +0200955 }
Paolo Bonzinib018ddf2013-05-24 14:48:38 +0200956}
957
Paolo Bonzinid1970632013-05-24 13:23:38 +0200958static bool unassigned_mem_accepts(void *opaque, hwaddr addr,
959 unsigned size, bool is_write)
960{
961 return false;
962}
963
964const MemoryRegionOps unassigned_mem_ops = {
965 .valid.accepts = unassigned_mem_accepts,
966 .endianness = DEVICE_NATIVE_ENDIAN,
967};
968
Paolo Bonzinid2702032013-05-24 11:55:06 +0200969bool memory_region_access_valid(MemoryRegion *mr,
970 hwaddr addr,
971 unsigned size,
972 bool is_write)
Avi Kivity093bc2c2011-07-26 14:26:01 +0300973{
Paolo Bonzinia014ed02013-05-24 17:48:52 +0200974 int access_size_min, access_size_max;
975 int access_size, i;
Avi Kivity897fa7c2011-11-13 13:05:27 +0200976
Avi Kivity093bc2c2011-07-26 14:26:01 +0300977 if (!mr->ops->valid.unaligned && (addr & (size - 1))) {
978 return false;
979 }
980
Paolo Bonzinia014ed02013-05-24 17:48:52 +0200981 if (!mr->ops->valid.accepts) {
Avi Kivity093bc2c2011-07-26 14:26:01 +0300982 return true;
983 }
984
Paolo Bonzinia014ed02013-05-24 17:48:52 +0200985 access_size_min = mr->ops->valid.min_access_size;
986 if (!mr->ops->valid.min_access_size) {
987 access_size_min = 1;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300988 }
Paolo Bonzinia014ed02013-05-24 17:48:52 +0200989
990 access_size_max = mr->ops->valid.max_access_size;
991 if (!mr->ops->valid.max_access_size) {
992 access_size_max = 4;
993 }
994
995 access_size = MAX(MIN(size, access_size_max), access_size_min);
996 for (i = 0; i < size; i += access_size) {
997 if (!mr->ops->valid.accepts(mr->opaque, addr + i, access_size,
998 is_write)) {
999 return false;
1000 }
1001 }
1002
Avi Kivity093bc2c2011-07-26 14:26:01 +03001003 return true;
1004}
1005
Avi Kivitya621f382012-01-02 13:12:08 +02001006static uint64_t memory_region_dispatch_read1(MemoryRegion *mr,
Avi Kivitya8170e52012-10-23 12:30:10 +02001007 hwaddr addr,
Avi Kivitya621f382012-01-02 13:12:08 +02001008 unsigned size)
Avi Kivity093bc2c2011-07-26 14:26:01 +03001009{
Avi Kivity164a4dc2011-08-11 10:40:25 +03001010 uint64_t data = 0;
Avi Kivity093bc2c2011-07-26 14:26:01 +03001011
Paolo Bonzinice5d2f32013-05-24 17:45:48 +02001012 if (mr->ops->read) {
1013 access_with_adjusted_size(addr, &data, size,
1014 mr->ops->impl.min_access_size,
1015 mr->ops->impl.max_access_size,
1016 memory_region_read_accessor, mr);
1017 } else {
1018 access_with_adjusted_size(addr, &data, size, 1, 4,
1019 memory_region_oldmmio_read_accessor, mr);
Avi Kivity74901c32011-07-26 14:26:10 +03001020 }
1021
Avi Kivity093bc2c2011-07-26 14:26:01 +03001022 return data;
1023}
1024
Paolo Bonzini791af8c2013-05-24 16:10:39 +02001025static bool memory_region_dispatch_read(MemoryRegion *mr,
1026 hwaddr addr,
1027 uint64_t *pval,
1028 unsigned size)
Avi Kivitya621f382012-01-02 13:12:08 +02001029{
Paolo Bonzini791af8c2013-05-24 16:10:39 +02001030 if (!memory_region_access_valid(mr, addr, size, false)) {
1031 *pval = unassigned_mem_read(mr, addr, size);
1032 return true;
1033 }
Avi Kivitya621f382012-01-02 13:12:08 +02001034
Paolo Bonzini791af8c2013-05-24 16:10:39 +02001035 *pval = memory_region_dispatch_read1(mr, addr, size);
1036 adjust_endianness(mr, pval, size);
1037 return false;
Avi Kivitya621f382012-01-02 13:12:08 +02001038}
1039
Paolo Bonzini791af8c2013-05-24 16:10:39 +02001040static bool memory_region_dispatch_write(MemoryRegion *mr,
Avi Kivitya8170e52012-10-23 12:30:10 +02001041 hwaddr addr,
Avi Kivitya621f382012-01-02 13:12:08 +02001042 uint64_t data,
1043 unsigned size)
1044{
Avi Kivity897fa7c2011-11-13 13:05:27 +02001045 if (!memory_region_access_valid(mr, addr, size, true)) {
Paolo Bonzinib018ddf2013-05-24 14:48:38 +02001046 unassigned_mem_write(mr, addr, data, size);
Paolo Bonzini791af8c2013-05-24 16:10:39 +02001047 return true;
Avi Kivity093bc2c2011-07-26 14:26:01 +03001048 }
1049
Avi Kivitya621f382012-01-02 13:12:08 +02001050 adjust_endianness(mr, &data, size);
1051
Paolo Bonzinice5d2f32013-05-24 17:45:48 +02001052 if (mr->ops->write) {
1053 access_with_adjusted_size(addr, &data, size,
1054 mr->ops->impl.min_access_size,
1055 mr->ops->impl.max_access_size,
1056 memory_region_write_accessor, mr);
1057 } else {
1058 access_with_adjusted_size(addr, &data, size, 1, 4,
1059 memory_region_oldmmio_write_accessor, mr);
Avi Kivity74901c32011-07-26 14:26:10 +03001060 }
Paolo Bonzini791af8c2013-05-24 16:10:39 +02001061 return false;
Avi Kivity093bc2c2011-07-26 14:26:01 +03001062}
1063
Avi Kivity093bc2c2011-07-26 14:26:01 +03001064void memory_region_init_io(MemoryRegion *mr,
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -04001065 Object *owner,
Avi Kivity093bc2c2011-07-26 14:26:01 +03001066 const MemoryRegionOps *ops,
1067 void *opaque,
1068 const char *name,
1069 uint64_t size)
1070{
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -04001071 memory_region_init(mr, owner, name, size);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001072 mr->ops = ops;
1073 mr->opaque = opaque;
Avi Kivity14a3c102011-07-26 14:26:06 +03001074 mr->terminates = true;
Avi Kivity97161e12012-03-08 19:16:39 +02001075 mr->ram_addr = ~(ram_addr_t)0;
Avi Kivity093bc2c2011-07-26 14:26:01 +03001076}
1077
1078void memory_region_init_ram(MemoryRegion *mr,
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -04001079 Object *owner,
Avi Kivity093bc2c2011-07-26 14:26:01 +03001080 const char *name,
1081 uint64_t size)
1082{
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -04001083 memory_region_init(mr, owner, name, size);
Avi Kivity8ea92522011-12-08 15:58:43 +02001084 mr->ram = true;
Avi Kivity14a3c102011-07-26 14:26:06 +03001085 mr->terminates = true;
Avi Kivity545e92e2011-08-08 19:58:48 +03001086 mr->destructor = memory_region_destructor_ram;
Paolo Bonzini0b183fc2014-05-14 17:43:19 +08001087 mr->ram_addr = qemu_ram_alloc(size, mr);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001088}
1089
Paolo Bonzini0b183fc2014-05-14 17:43:19 +08001090#ifdef __linux__
1091void memory_region_init_ram_from_file(MemoryRegion *mr,
1092 struct Object *owner,
1093 const char *name,
1094 uint64_t size,
Paolo Bonzinidbcb8982014-06-10 19:15:24 +08001095 bool share,
Paolo Bonzini7f56e742014-05-14 17:43:20 +08001096 const char *path,
1097 Error **errp)
Paolo Bonzini0b183fc2014-05-14 17:43:19 +08001098{
1099 memory_region_init(mr, owner, name, size);
1100 mr->ram = true;
1101 mr->terminates = true;
1102 mr->destructor = memory_region_destructor_ram;
Paolo Bonzinidbcb8982014-06-10 19:15:24 +08001103 mr->ram_addr = qemu_ram_alloc_from_file(size, mr, share, path, errp);
Paolo Bonzini0b183fc2014-05-14 17:43:19 +08001104}
1105#endif
1106
Avi Kivity093bc2c2011-07-26 14:26:01 +03001107void memory_region_init_ram_ptr(MemoryRegion *mr,
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -04001108 Object *owner,
Avi Kivity093bc2c2011-07-26 14:26:01 +03001109 const char *name,
1110 uint64_t size,
1111 void *ptr)
1112{
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -04001113 memory_region_init(mr, owner, name, size);
Avi Kivity8ea92522011-12-08 15:58:43 +02001114 mr->ram = true;
Avi Kivity14a3c102011-07-26 14:26:06 +03001115 mr->terminates = true;
Avi Kivity545e92e2011-08-08 19:58:48 +03001116 mr->destructor = memory_region_destructor_ram_from_ptr;
Avi Kivityc5705a72011-12-20 15:59:12 +02001117 mr->ram_addr = qemu_ram_alloc_from_ptr(size, ptr, mr);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001118}
1119
1120void memory_region_init_alias(MemoryRegion *mr,
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -04001121 Object *owner,
Avi Kivity093bc2c2011-07-26 14:26:01 +03001122 const char *name,
1123 MemoryRegion *orig,
Avi Kivitya8170e52012-10-23 12:30:10 +02001124 hwaddr offset,
Avi Kivity093bc2c2011-07-26 14:26:01 +03001125 uint64_t size)
1126{
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -04001127 memory_region_init(mr, owner, name, size);
Paolo Bonzinidfde4e62013-05-06 10:46:11 +02001128 memory_region_ref(orig);
1129 mr->destructor = memory_region_destructor_alias;
Avi Kivity093bc2c2011-07-26 14:26:01 +03001130 mr->alias = orig;
1131 mr->alias_offset = offset;
1132}
1133
Avi Kivityd0a9b5b2011-08-08 19:58:49 +03001134void memory_region_init_rom_device(MemoryRegion *mr,
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -04001135 Object *owner,
Avi Kivityd0a9b5b2011-08-08 19:58:49 +03001136 const MemoryRegionOps *ops,
Avi Kivity75f59412011-08-26 00:35:15 +03001137 void *opaque,
Avi Kivityd0a9b5b2011-08-08 19:58:49 +03001138 const char *name,
1139 uint64_t size)
1140{
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -04001141 memory_region_init(mr, owner, name, size);
Avi Kivity7bc2b9c2011-08-25 14:56:14 +03001142 mr->ops = ops;
Avi Kivity75f59412011-08-26 00:35:15 +03001143 mr->opaque = opaque;
Avi Kivityd0a9b5b2011-08-08 19:58:49 +03001144 mr->terminates = true;
Avi Kivity75c578d2012-01-02 15:40:52 +02001145 mr->rom_device = true;
Avi Kivityd0a9b5b2011-08-08 19:58:49 +03001146 mr->destructor = memory_region_destructor_rom_device;
Avi Kivityc5705a72011-12-20 15:59:12 +02001147 mr->ram_addr = qemu_ram_alloc(size, mr);
Avi Kivityd0a9b5b2011-08-08 19:58:49 +03001148}
1149
Avi Kivity30951152012-10-30 13:47:46 +02001150void memory_region_init_iommu(MemoryRegion *mr,
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -04001151 Object *owner,
Avi Kivity30951152012-10-30 13:47:46 +02001152 const MemoryRegionIOMMUOps *ops,
1153 const char *name,
1154 uint64_t size)
1155{
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -04001156 memory_region_init(mr, owner, name, size);
Avi Kivity30951152012-10-30 13:47:46 +02001157 mr->iommu_ops = ops,
1158 mr->terminates = true; /* then re-forwards */
David Gibson06866572013-05-14 19:13:56 +10001159 notifier_list_init(&mr->iommu_notify);
Avi Kivity30951152012-10-30 13:47:46 +02001160}
1161
Jan Kiszka1660e722011-10-23 16:01:19 +02001162void memory_region_init_reservation(MemoryRegion *mr,
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -04001163 Object *owner,
Jan Kiszka1660e722011-10-23 16:01:19 +02001164 const char *name,
1165 uint64_t size)
1166{
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -04001167 memory_region_init_io(mr, owner, &unassigned_mem_ops, mr, name, size);
Jan Kiszka1660e722011-10-23 16:01:19 +02001168}
1169
Peter Crosthwaiteb4fefef2014-06-05 23:15:52 -07001170static void memory_region_finalize(Object *obj)
Avi Kivity093bc2c2011-07-26 14:26:01 +03001171{
Peter Crosthwaiteb4fefef2014-06-05 23:15:52 -07001172 MemoryRegion *mr = MEMORY_REGION(obj);
1173
Avi Kivity093bc2c2011-07-26 14:26:01 +03001174 assert(QTAILQ_EMPTY(&mr->subregions));
Avi Kivity2be0e252012-10-17 17:14:41 +02001175 assert(memory_region_transaction_depth == 0);
Avi Kivity545e92e2011-08-08 19:58:48 +03001176 mr->destructor(mr);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001177 memory_region_clear_coalescing(mr);
Anthony Liguori7267c092011-08-20 22:09:37 -05001178 g_free((char *)mr->name);
1179 g_free(mr->ioeventfds);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001180}
1181
Peter Crosthwaiteb4fefef2014-06-05 23:15:52 -07001182void memory_region_destroy(MemoryRegion *mr)
1183{
1184 object_unparent(OBJECT(mr));
1185}
1186
1187
Paolo Bonzini803c0812013-05-07 06:59:09 +02001188Object *memory_region_owner(MemoryRegion *mr)
1189{
1190 return mr->owner;
1191}
1192
Paolo Bonzini46637be2013-05-07 09:06:00 +02001193void memory_region_ref(MemoryRegion *mr)
1194{
1195 if (mr && mr->owner) {
1196 object_ref(mr->owner);
Peter Crosthwaiteb4fefef2014-06-05 23:15:52 -07001197 } else {
1198 object_ref(OBJECT(mr));
Paolo Bonzini46637be2013-05-07 09:06:00 +02001199 }
1200}
1201
1202void memory_region_unref(MemoryRegion *mr)
1203{
1204 if (mr && mr->owner) {
1205 object_unref(mr->owner);
Peter Crosthwaiteb4fefef2014-06-05 23:15:52 -07001206 } else {
1207 object_unref(OBJECT(mr));
Paolo Bonzini46637be2013-05-07 09:06:00 +02001208 }
1209}
1210
Avi Kivity093bc2c2011-07-26 14:26:01 +03001211uint64_t memory_region_size(MemoryRegion *mr)
1212{
Avi Kivity08dafab2011-10-16 13:19:17 +02001213 if (int128_eq(mr->size, int128_2_64())) {
1214 return UINT64_MAX;
1215 }
1216 return int128_get64(mr->size);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001217}
1218
Avi Kivity8991c792011-12-20 15:53:11 +02001219const char *memory_region_name(MemoryRegion *mr)
1220{
1221 return mr->name;
1222}
1223
Avi Kivity8ea92522011-12-08 15:58:43 +02001224bool memory_region_is_ram(MemoryRegion *mr)
1225{
1226 return mr->ram;
1227}
1228
Avi Kivity55043ba2011-12-15 17:20:34 +02001229bool memory_region_is_logging(MemoryRegion *mr)
1230{
1231 return mr->dirty_log_mask;
1232}
1233
Avi Kivityce7923d2011-12-08 16:05:11 +02001234bool memory_region_is_rom(MemoryRegion *mr)
1235{
1236 return mr->ram && mr->readonly;
1237}
1238
Avi Kivity30951152012-10-30 13:47:46 +02001239bool memory_region_is_iommu(MemoryRegion *mr)
1240{
1241 return mr->iommu_ops;
1242}
1243
David Gibson06866572013-05-14 19:13:56 +10001244void memory_region_register_iommu_notifier(MemoryRegion *mr, Notifier *n)
1245{
1246 notifier_list_add(&mr->iommu_notify, n);
1247}
1248
1249void memory_region_unregister_iommu_notifier(Notifier *n)
1250{
1251 notifier_remove(n);
1252}
1253
1254void memory_region_notify_iommu(MemoryRegion *mr,
1255 IOMMUTLBEntry entry)
1256{
1257 assert(memory_region_is_iommu(mr));
1258 notifier_list_notify(&mr->iommu_notify, &entry);
1259}
1260
Avi Kivity093bc2c2011-07-26 14:26:01 +03001261void memory_region_set_log(MemoryRegion *mr, bool log, unsigned client)
1262{
Avi Kivity5a583342011-07-26 14:26:02 +03001263 uint8_t mask = 1 << client;
1264
Jan Kiszka59023ef2012-08-23 13:02:30 +02001265 memory_region_transaction_begin();
Avi Kivity5a583342011-07-26 14:26:02 +03001266 mr->dirty_log_mask = (mr->dirty_log_mask & ~mask) | (log * mask);
Jan Kiszka22bde712012-11-05 16:45:56 +01001267 memory_region_update_pending |= mr->enabled;
Jan Kiszka59023ef2012-08-23 13:02:30 +02001268 memory_region_transaction_commit();
Avi Kivity093bc2c2011-07-26 14:26:01 +03001269}
1270
Avi Kivitya8170e52012-10-23 12:30:10 +02001271bool memory_region_get_dirty(MemoryRegion *mr, hwaddr addr,
1272 hwaddr size, unsigned client)
Avi Kivity093bc2c2011-07-26 14:26:01 +03001273{
Avi Kivity14a3c102011-07-26 14:26:06 +03001274 assert(mr->terminates);
Juan Quintela52159192013-10-08 12:44:04 +02001275 return cpu_physical_memory_get_dirty(mr->ram_addr + addr, size, client);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001276}
1277
Avi Kivitya8170e52012-10-23 12:30:10 +02001278void memory_region_set_dirty(MemoryRegion *mr, hwaddr addr,
1279 hwaddr size)
Avi Kivity093bc2c2011-07-26 14:26:01 +03001280{
Avi Kivity14a3c102011-07-26 14:26:06 +03001281 assert(mr->terminates);
Juan Quintela75218e72013-10-08 12:31:54 +02001282 cpu_physical_memory_set_dirty_range(mr->ram_addr + addr, size);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001283}
1284
Juan Quintela6c279db2012-10-17 20:24:28 +02001285bool memory_region_test_and_clear_dirty(MemoryRegion *mr, hwaddr addr,
1286 hwaddr size, unsigned client)
1287{
1288 bool ret;
1289 assert(mr->terminates);
Juan Quintela52159192013-10-08 12:44:04 +02001290 ret = cpu_physical_memory_get_dirty(mr->ram_addr + addr, size, client);
Juan Quintela6c279db2012-10-17 20:24:28 +02001291 if (ret) {
Juan Quintelaa2f4d5b2013-10-10 11:49:53 +02001292 cpu_physical_memory_reset_dirty(mr->ram_addr + addr, size, client);
Juan Quintela6c279db2012-10-17 20:24:28 +02001293 }
1294 return ret;
1295}
1296
1297
Avi Kivity093bc2c2011-07-26 14:26:01 +03001298void memory_region_sync_dirty_bitmap(MemoryRegion *mr)
1299{
Avi Kivity0d673e32012-10-02 15:28:50 +02001300 AddressSpace *as;
Avi Kivity5a583342011-07-26 14:26:02 +03001301 FlatRange *fr;
1302
Avi Kivity0d673e32012-10-02 15:28:50 +02001303 QTAILQ_FOREACH(as, &address_spaces, address_spaces_link) {
Paolo Bonzini856d7242013-05-06 11:57:21 +02001304 FlatView *view = address_space_get_flatview(as);
Paolo Bonzini99e86342013-05-06 10:26:13 +02001305 FOR_EACH_FLAT_RANGE(fr, view) {
Avi Kivity0d673e32012-10-02 15:28:50 +02001306 if (fr->mr == mr) {
1307 MEMORY_LISTENER_UPDATE_REGION(fr, as, Forward, log_sync);
1308 }
Avi Kivity5a583342011-07-26 14:26:02 +03001309 }
Paolo Bonzini856d7242013-05-06 11:57:21 +02001310 flatview_unref(view);
Avi Kivity5a583342011-07-26 14:26:02 +03001311 }
Avi Kivity093bc2c2011-07-26 14:26:01 +03001312}
1313
1314void memory_region_set_readonly(MemoryRegion *mr, bool readonly)
1315{
Avi Kivityfb1cd6f2011-09-25 14:48:47 +03001316 if (mr->readonly != readonly) {
Jan Kiszka59023ef2012-08-23 13:02:30 +02001317 memory_region_transaction_begin();
Avi Kivityfb1cd6f2011-09-25 14:48:47 +03001318 mr->readonly = readonly;
Jan Kiszka22bde712012-11-05 16:45:56 +01001319 memory_region_update_pending |= mr->enabled;
Jan Kiszka59023ef2012-08-23 13:02:30 +02001320 memory_region_transaction_commit();
Avi Kivityfb1cd6f2011-09-25 14:48:47 +03001321 }
Avi Kivity093bc2c2011-07-26 14:26:01 +03001322}
1323
Jan Kiszka5f9a5ea2013-05-07 19:04:25 +02001324void memory_region_rom_device_set_romd(MemoryRegion *mr, bool romd_mode)
Avi Kivityd0a9b5b2011-08-08 19:58:49 +03001325{
Jan Kiszka5f9a5ea2013-05-07 19:04:25 +02001326 if (mr->romd_mode != romd_mode) {
Jan Kiszka59023ef2012-08-23 13:02:30 +02001327 memory_region_transaction_begin();
Jan Kiszka5f9a5ea2013-05-07 19:04:25 +02001328 mr->romd_mode = romd_mode;
Jan Kiszka22bde712012-11-05 16:45:56 +01001329 memory_region_update_pending |= mr->enabled;
Jan Kiszka59023ef2012-08-23 13:02:30 +02001330 memory_region_transaction_commit();
Avi Kivityd0a9b5b2011-08-08 19:58:49 +03001331 }
1332}
1333
Avi Kivitya8170e52012-10-23 12:30:10 +02001334void memory_region_reset_dirty(MemoryRegion *mr, hwaddr addr,
1335 hwaddr size, unsigned client)
Avi Kivity093bc2c2011-07-26 14:26:01 +03001336{
Avi Kivity14a3c102011-07-26 14:26:06 +03001337 assert(mr->terminates);
Juan Quintelaa2f4d5b2013-10-10 11:49:53 +02001338 cpu_physical_memory_reset_dirty(mr->ram_addr + addr, size, client);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001339}
1340
Paolo Bonzinia35ba7b2014-06-10 19:15:23 +08001341int memory_region_get_fd(MemoryRegion *mr)
1342{
1343 if (mr->alias) {
1344 return memory_region_get_fd(mr->alias);
1345 }
1346
1347 assert(mr->terminates);
1348
1349 return qemu_get_ram_fd(mr->ram_addr & TARGET_PAGE_MASK);
1350}
1351
Avi Kivity093bc2c2011-07-26 14:26:01 +03001352void *memory_region_get_ram_ptr(MemoryRegion *mr)
1353{
1354 if (mr->alias) {
1355 return memory_region_get_ram_ptr(mr->alias) + mr->alias_offset;
1356 }
1357
Avi Kivity14a3c102011-07-26 14:26:06 +03001358 assert(mr->terminates);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001359
Jan Kiszka021d26d2011-08-30 00:38:24 +02001360 return qemu_get_ram_ptr(mr->ram_addr & TARGET_PAGE_MASK);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001361}
1362
Avi Kivity0d673e32012-10-02 15:28:50 +02001363static void memory_region_update_coalesced_range_as(MemoryRegion *mr, AddressSpace *as)
Avi Kivity093bc2c2011-07-26 14:26:01 +03001364{
Paolo Bonzini99e86342013-05-06 10:26:13 +02001365 FlatView *view;
Avi Kivity093bc2c2011-07-26 14:26:01 +03001366 FlatRange *fr;
1367 CoalescedMemoryRange *cmr;
1368 AddrRange tmp;
Avi Kivity95d29942012-10-02 18:21:54 +02001369 MemoryRegionSection section;
Avi Kivity093bc2c2011-07-26 14:26:01 +03001370
Paolo Bonzini856d7242013-05-06 11:57:21 +02001371 view = address_space_get_flatview(as);
Paolo Bonzini99e86342013-05-06 10:26:13 +02001372 FOR_EACH_FLAT_RANGE(fr, view) {
Avi Kivity093bc2c2011-07-26 14:26:01 +03001373 if (fr->mr == mr) {
Avi Kivity95d29942012-10-02 18:21:54 +02001374 section = (MemoryRegionSection) {
Avi Kivityf6790af2012-10-02 20:13:51 +02001375 .address_space = as,
Avi Kivity95d29942012-10-02 18:21:54 +02001376 .offset_within_address_space = int128_get64(fr->addr.start),
Paolo Bonzini052e87b2013-05-27 10:08:27 +02001377 .size = fr->addr.size,
Avi Kivity95d29942012-10-02 18:21:54 +02001378 };
1379
1380 MEMORY_LISTENER_CALL(coalesced_mmio_del, Reverse, &section,
1381 int128_get64(fr->addr.start),
1382 int128_get64(fr->addr.size));
Avi Kivity093bc2c2011-07-26 14:26:01 +03001383 QTAILQ_FOREACH(cmr, &mr->coalesced, link) {
1384 tmp = addrrange_shift(cmr->addr,
Avi Kivity08dafab2011-10-16 13:19:17 +02001385 int128_sub(fr->addr.start,
1386 int128_make64(fr->offset_in_region)));
Avi Kivity093bc2c2011-07-26 14:26:01 +03001387 if (!addrrange_intersects(tmp, fr->addr)) {
1388 continue;
1389 }
1390 tmp = addrrange_intersection(tmp, fr->addr);
Avi Kivity95d29942012-10-02 18:21:54 +02001391 MEMORY_LISTENER_CALL(coalesced_mmio_add, Forward, &section,
1392 int128_get64(tmp.start),
1393 int128_get64(tmp.size));
Avi Kivity093bc2c2011-07-26 14:26:01 +03001394 }
1395 }
1396 }
Paolo Bonzini856d7242013-05-06 11:57:21 +02001397 flatview_unref(view);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001398}
1399
Avi Kivity0d673e32012-10-02 15:28:50 +02001400static void memory_region_update_coalesced_range(MemoryRegion *mr)
1401{
1402 AddressSpace *as;
1403
1404 QTAILQ_FOREACH(as, &address_spaces, address_spaces_link) {
1405 memory_region_update_coalesced_range_as(mr, as);
1406 }
1407}
1408
Avi Kivity093bc2c2011-07-26 14:26:01 +03001409void memory_region_set_coalescing(MemoryRegion *mr)
1410{
1411 memory_region_clear_coalescing(mr);
Avi Kivity08dafab2011-10-16 13:19:17 +02001412 memory_region_add_coalescing(mr, 0, int128_get64(mr->size));
Avi Kivity093bc2c2011-07-26 14:26:01 +03001413}
1414
1415void memory_region_add_coalescing(MemoryRegion *mr,
Avi Kivitya8170e52012-10-23 12:30:10 +02001416 hwaddr offset,
Avi Kivity093bc2c2011-07-26 14:26:01 +03001417 uint64_t size)
1418{
Anthony Liguori7267c092011-08-20 22:09:37 -05001419 CoalescedMemoryRange *cmr = g_malloc(sizeof(*cmr));
Avi Kivity093bc2c2011-07-26 14:26:01 +03001420
Avi Kivity08dafab2011-10-16 13:19:17 +02001421 cmr->addr = addrrange_make(int128_make64(offset), int128_make64(size));
Avi Kivity093bc2c2011-07-26 14:26:01 +03001422 QTAILQ_INSERT_TAIL(&mr->coalesced, cmr, link);
1423 memory_region_update_coalesced_range(mr);
Jan Kiszkad4105152012-08-23 13:02:29 +02001424 memory_region_set_flush_coalesced(mr);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001425}
1426
1427void memory_region_clear_coalescing(MemoryRegion *mr)
1428{
1429 CoalescedMemoryRange *cmr;
Fam Zhengab5b3db2014-06-13 14:34:41 +08001430 bool updated = false;
Avi Kivity093bc2c2011-07-26 14:26:01 +03001431
Jan Kiszkad4105152012-08-23 13:02:29 +02001432 qemu_flush_coalesced_mmio_buffer();
1433 mr->flush_coalesced_mmio = false;
1434
Avi Kivity093bc2c2011-07-26 14:26:01 +03001435 while (!QTAILQ_EMPTY(&mr->coalesced)) {
1436 cmr = QTAILQ_FIRST(&mr->coalesced);
1437 QTAILQ_REMOVE(&mr->coalesced, cmr, link);
Anthony Liguori7267c092011-08-20 22:09:37 -05001438 g_free(cmr);
Fam Zhengab5b3db2014-06-13 14:34:41 +08001439 updated = true;
Avi Kivity093bc2c2011-07-26 14:26:01 +03001440 }
Fam Zhengab5b3db2014-06-13 14:34:41 +08001441
1442 if (updated) {
1443 memory_region_update_coalesced_range(mr);
1444 }
Avi Kivity093bc2c2011-07-26 14:26:01 +03001445}
1446
Jan Kiszkad4105152012-08-23 13:02:29 +02001447void memory_region_set_flush_coalesced(MemoryRegion *mr)
1448{
1449 mr->flush_coalesced_mmio = true;
1450}
1451
1452void memory_region_clear_flush_coalesced(MemoryRegion *mr)
1453{
1454 qemu_flush_coalesced_mmio_buffer();
1455 if (QTAILQ_EMPTY(&mr->coalesced)) {
1456 mr->flush_coalesced_mmio = false;
1457 }
1458}
1459
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001460void memory_region_add_eventfd(MemoryRegion *mr,
Avi Kivitya8170e52012-10-23 12:30:10 +02001461 hwaddr addr,
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001462 unsigned size,
1463 bool match_data,
1464 uint64_t data,
Paolo Bonzini753d5e12012-07-05 17:16:27 +02001465 EventNotifier *e)
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001466{
1467 MemoryRegionIoeventfd mrfd = {
Avi Kivity08dafab2011-10-16 13:19:17 +02001468 .addr.start = int128_make64(addr),
1469 .addr.size = int128_make64(size),
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001470 .match_data = match_data,
1471 .data = data,
Paolo Bonzini753d5e12012-07-05 17:16:27 +02001472 .e = e,
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001473 };
1474 unsigned i;
1475
Alexander Graf28f362b2012-10-15 20:30:28 +02001476 adjust_endianness(mr, &mrfd.data, size);
Jan Kiszka59023ef2012-08-23 13:02:30 +02001477 memory_region_transaction_begin();
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001478 for (i = 0; i < mr->ioeventfd_nb; ++i) {
1479 if (memory_region_ioeventfd_before(mrfd, mr->ioeventfds[i])) {
1480 break;
1481 }
1482 }
1483 ++mr->ioeventfd_nb;
Anthony Liguori7267c092011-08-20 22:09:37 -05001484 mr->ioeventfds = g_realloc(mr->ioeventfds,
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001485 sizeof(*mr->ioeventfds) * mr->ioeventfd_nb);
1486 memmove(&mr->ioeventfds[i+1], &mr->ioeventfds[i],
1487 sizeof(*mr->ioeventfds) * (mr->ioeventfd_nb-1 - i));
1488 mr->ioeventfds[i] = mrfd;
Gonglei4dc56152014-05-08 11:47:32 +08001489 ioeventfd_update_pending |= mr->enabled;
Jan Kiszka59023ef2012-08-23 13:02:30 +02001490 memory_region_transaction_commit();
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001491}
1492
1493void memory_region_del_eventfd(MemoryRegion *mr,
Avi Kivitya8170e52012-10-23 12:30:10 +02001494 hwaddr addr,
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001495 unsigned size,
1496 bool match_data,
1497 uint64_t data,
Paolo Bonzini753d5e12012-07-05 17:16:27 +02001498 EventNotifier *e)
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001499{
1500 MemoryRegionIoeventfd mrfd = {
Avi Kivity08dafab2011-10-16 13:19:17 +02001501 .addr.start = int128_make64(addr),
1502 .addr.size = int128_make64(size),
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001503 .match_data = match_data,
1504 .data = data,
Paolo Bonzini753d5e12012-07-05 17:16:27 +02001505 .e = e,
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001506 };
1507 unsigned i;
1508
Alexander Graf28f362b2012-10-15 20:30:28 +02001509 adjust_endianness(mr, &mrfd.data, size);
Jan Kiszka59023ef2012-08-23 13:02:30 +02001510 memory_region_transaction_begin();
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001511 for (i = 0; i < mr->ioeventfd_nb; ++i) {
1512 if (memory_region_ioeventfd_equal(mrfd, mr->ioeventfds[i])) {
1513 break;
1514 }
1515 }
1516 assert(i != mr->ioeventfd_nb);
1517 memmove(&mr->ioeventfds[i], &mr->ioeventfds[i+1],
1518 sizeof(*mr->ioeventfds) * (mr->ioeventfd_nb - (i+1)));
1519 --mr->ioeventfd_nb;
Anthony Liguori7267c092011-08-20 22:09:37 -05001520 mr->ioeventfds = g_realloc(mr->ioeventfds,
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001521 sizeof(*mr->ioeventfds)*mr->ioeventfd_nb + 1);
Gonglei4dc56152014-05-08 11:47:32 +08001522 ioeventfd_update_pending |= mr->enabled;
Jan Kiszka59023ef2012-08-23 13:02:30 +02001523 memory_region_transaction_commit();
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001524}
1525
Paolo Bonzinifeca4ac2014-06-11 11:18:09 +02001526static void memory_region_update_container_subregions(MemoryRegion *subregion)
Avi Kivity093bc2c2011-07-26 14:26:01 +03001527{
Peter Crosthwaite05987012014-06-05 23:14:44 -07001528 hwaddr offset = subregion->addr;
Paolo Bonzinifeca4ac2014-06-11 11:18:09 +02001529 MemoryRegion *mr = subregion->container;
Avi Kivity093bc2c2011-07-26 14:26:01 +03001530 MemoryRegion *other;
1531
Jan Kiszka59023ef2012-08-23 13:02:30 +02001532 memory_region_transaction_begin();
1533
Paolo Bonzinidfde4e62013-05-06 10:46:11 +02001534 memory_region_ref(subregion);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001535 QTAILQ_FOREACH(other, &mr->subregions, subregions_link) {
1536 if (subregion->may_overlap || other->may_overlap) {
1537 continue;
1538 }
Hu Tao2c7cfd62013-03-15 14:32:01 +08001539 if (int128_ge(int128_make64(offset),
Avi Kivity08dafab2011-10-16 13:19:17 +02001540 int128_add(int128_make64(other->addr), other->size))
1541 || int128_le(int128_add(int128_make64(offset), subregion->size),
1542 int128_make64(other->addr))) {
Avi Kivity093bc2c2011-07-26 14:26:01 +03001543 continue;
1544 }
Anthony Liguoria5e1cbc2011-08-22 11:14:56 -05001545#if 0
Michael Walle860329b2011-09-15 23:16:49 +02001546 printf("warning: subregion collision %llx/%llx (%s) "
1547 "vs %llx/%llx (%s)\n",
Avi Kivity093bc2c2011-07-26 14:26:01 +03001548 (unsigned long long)offset,
Avi Kivity08dafab2011-10-16 13:19:17 +02001549 (unsigned long long)int128_get64(subregion->size),
Michael Walle860329b2011-09-15 23:16:49 +02001550 subregion->name,
1551 (unsigned long long)other->addr,
Avi Kivity08dafab2011-10-16 13:19:17 +02001552 (unsigned long long)int128_get64(other->size),
Michael Walle860329b2011-09-15 23:16:49 +02001553 other->name);
Anthony Liguoria5e1cbc2011-08-22 11:14:56 -05001554#endif
Avi Kivity093bc2c2011-07-26 14:26:01 +03001555 }
1556 QTAILQ_FOREACH(other, &mr->subregions, subregions_link) {
1557 if (subregion->priority >= other->priority) {
1558 QTAILQ_INSERT_BEFORE(other, subregion, subregions_link);
1559 goto done;
1560 }
1561 }
1562 QTAILQ_INSERT_TAIL(&mr->subregions, subregion, subregions_link);
1563done:
Jan Kiszka22bde712012-11-05 16:45:56 +01001564 memory_region_update_pending |= mr->enabled && subregion->enabled;
Jan Kiszka59023ef2012-08-23 13:02:30 +02001565 memory_region_transaction_commit();
Avi Kivity093bc2c2011-07-26 14:26:01 +03001566}
1567
Peter Crosthwaite05987012014-06-05 23:14:44 -07001568static void memory_region_add_subregion_common(MemoryRegion *mr,
1569 hwaddr offset,
1570 MemoryRegion *subregion)
1571{
Paolo Bonzinifeca4ac2014-06-11 11:18:09 +02001572 assert(!subregion->container);
1573 subregion->container = mr;
Peter Crosthwaite05987012014-06-05 23:14:44 -07001574 subregion->addr = offset;
Paolo Bonzinifeca4ac2014-06-11 11:18:09 +02001575 memory_region_update_container_subregions(subregion);
Peter Crosthwaite05987012014-06-05 23:14:44 -07001576}
Avi Kivity093bc2c2011-07-26 14:26:01 +03001577
1578void memory_region_add_subregion(MemoryRegion *mr,
Avi Kivitya8170e52012-10-23 12:30:10 +02001579 hwaddr offset,
Avi Kivity093bc2c2011-07-26 14:26:01 +03001580 MemoryRegion *subregion)
1581{
1582 subregion->may_overlap = false;
1583 subregion->priority = 0;
1584 memory_region_add_subregion_common(mr, offset, subregion);
1585}
1586
1587void memory_region_add_subregion_overlap(MemoryRegion *mr,
Avi Kivitya8170e52012-10-23 12:30:10 +02001588 hwaddr offset,
Avi Kivity093bc2c2011-07-26 14:26:01 +03001589 MemoryRegion *subregion,
Marcel Apfelbauma1ff8ae2013-09-16 11:21:14 +03001590 int priority)
Avi Kivity093bc2c2011-07-26 14:26:01 +03001591{
1592 subregion->may_overlap = true;
1593 subregion->priority = priority;
1594 memory_region_add_subregion_common(mr, offset, subregion);
1595}
1596
1597void memory_region_del_subregion(MemoryRegion *mr,
1598 MemoryRegion *subregion)
1599{
Jan Kiszka59023ef2012-08-23 13:02:30 +02001600 memory_region_transaction_begin();
Paolo Bonzinifeca4ac2014-06-11 11:18:09 +02001601 assert(subregion->container == mr);
1602 subregion->container = NULL;
Avi Kivity093bc2c2011-07-26 14:26:01 +03001603 QTAILQ_REMOVE(&mr->subregions, subregion, subregions_link);
Paolo Bonzinidfde4e62013-05-06 10:46:11 +02001604 memory_region_unref(subregion);
Jan Kiszka22bde712012-11-05 16:45:56 +01001605 memory_region_update_pending |= mr->enabled && subregion->enabled;
Jan Kiszka59023ef2012-08-23 13:02:30 +02001606 memory_region_transaction_commit();
Avi Kivity6bba19b2011-09-14 11:54:58 +03001607}
1608
1609void memory_region_set_enabled(MemoryRegion *mr, bool enabled)
1610{
1611 if (enabled == mr->enabled) {
1612 return;
1613 }
Jan Kiszka59023ef2012-08-23 13:02:30 +02001614 memory_region_transaction_begin();
Avi Kivity6bba19b2011-09-14 11:54:58 +03001615 mr->enabled = enabled;
Jan Kiszka22bde712012-11-05 16:45:56 +01001616 memory_region_update_pending = true;
Jan Kiszka59023ef2012-08-23 13:02:30 +02001617 memory_region_transaction_commit();
Avi Kivity093bc2c2011-07-26 14:26:01 +03001618}
Avi Kivity1c0ffa52011-07-26 14:26:04 +03001619
Peter Crosthwaite67891b82014-06-05 23:15:18 -07001620static void memory_region_readd_subregion(MemoryRegion *mr)
Avi Kivity2282e1a2011-09-14 12:10:12 +03001621{
Paolo Bonzinifeca4ac2014-06-11 11:18:09 +02001622 MemoryRegion *container = mr->container;
Avi Kivity2282e1a2011-09-14 12:10:12 +03001623
Paolo Bonzinifeca4ac2014-06-11 11:18:09 +02001624 if (container) {
Peter Crosthwaite67891b82014-06-05 23:15:18 -07001625 memory_region_transaction_begin();
1626 memory_region_ref(mr);
Paolo Bonzinifeca4ac2014-06-11 11:18:09 +02001627 memory_region_del_subregion(container, mr);
1628 mr->container = container;
1629 memory_region_update_container_subregions(mr);
Peter Crosthwaite67891b82014-06-05 23:15:18 -07001630 memory_region_unref(mr);
1631 memory_region_transaction_commit();
Avi Kivity2282e1a2011-09-14 12:10:12 +03001632 }
Peter Crosthwaite67891b82014-06-05 23:15:18 -07001633}
Avi Kivity2282e1a2011-09-14 12:10:12 +03001634
Peter Crosthwaite67891b82014-06-05 23:15:18 -07001635void memory_region_set_address(MemoryRegion *mr, hwaddr addr)
1636{
1637 if (addr != mr->addr) {
1638 mr->addr = addr;
1639 memory_region_readd_subregion(mr);
1640 }
Avi Kivity2282e1a2011-09-14 12:10:12 +03001641}
1642
Avi Kivitya8170e52012-10-23 12:30:10 +02001643void memory_region_set_alias_offset(MemoryRegion *mr, hwaddr offset)
Avi Kivity47033592011-12-04 19:16:50 +02001644{
Avi Kivity47033592011-12-04 19:16:50 +02001645 assert(mr->alias);
Avi Kivity47033592011-12-04 19:16:50 +02001646
Jan Kiszka59023ef2012-08-23 13:02:30 +02001647 if (offset == mr->alias_offset) {
Avi Kivity47033592011-12-04 19:16:50 +02001648 return;
1649 }
1650
Jan Kiszka59023ef2012-08-23 13:02:30 +02001651 memory_region_transaction_begin();
1652 mr->alias_offset = offset;
Jan Kiszka22bde712012-11-05 16:45:56 +01001653 memory_region_update_pending |= mr->enabled;
Jan Kiszka59023ef2012-08-23 13:02:30 +02001654 memory_region_transaction_commit();
Avi Kivity47033592011-12-04 19:16:50 +02001655}
1656
Avi Kivitye34911c2011-12-19 12:06:23 +02001657ram_addr_t memory_region_get_ram_addr(MemoryRegion *mr)
1658{
Avi Kivitye34911c2011-12-19 12:06:23 +02001659 return mr->ram_addr;
1660}
1661
Avi Kivitye2177952011-12-08 15:00:18 +02001662static int cmp_flatrange_addr(const void *addr_, const void *fr_)
1663{
1664 const AddrRange *addr = addr_;
1665 const FlatRange *fr = fr_;
1666
1667 if (int128_le(addrrange_end(*addr), fr->addr.start)) {
1668 return -1;
1669 } else if (int128_ge(addr->start, addrrange_end(fr->addr))) {
1670 return 1;
1671 }
1672 return 0;
1673}
1674
Paolo Bonzini99e86342013-05-06 10:26:13 +02001675static FlatRange *flatview_lookup(FlatView *view, AddrRange addr)
Avi Kivitye2177952011-12-08 15:00:18 +02001676{
Paolo Bonzini99e86342013-05-06 10:26:13 +02001677 return bsearch(&addr, view->ranges, view->nr,
Avi Kivitye2177952011-12-08 15:00:18 +02001678 sizeof(FlatRange), cmp_flatrange_addr);
1679}
1680
Paolo Bonzinifeca4ac2014-06-11 11:18:09 +02001681bool memory_region_present(MemoryRegion *container, hwaddr addr)
Paolo Bonzini3ce10902013-07-02 13:40:48 +02001682{
Paolo Bonzinifeca4ac2014-06-11 11:18:09 +02001683 MemoryRegion *mr = memory_region_find(container, addr, 1).mr;
1684 if (!mr || (mr == container)) {
Paolo Bonzini3ce10902013-07-02 13:40:48 +02001685 return false;
1686 }
Paolo Bonzinidfde4e62013-05-06 10:46:11 +02001687 memory_region_unref(mr);
Paolo Bonzini3ce10902013-07-02 13:40:48 +02001688 return true;
1689}
1690
Igor Mammedoveed2bac2014-06-02 15:25:06 +02001691bool memory_region_is_mapped(MemoryRegion *mr)
1692{
1693 return mr->container ? true : false;
1694}
1695
Paolo Bonzini73034e92013-05-07 15:48:28 +02001696MemoryRegionSection memory_region_find(MemoryRegion *mr,
Avi Kivitya8170e52012-10-23 12:30:10 +02001697 hwaddr addr, uint64_t size)
Avi Kivitye2177952011-12-08 15:00:18 +02001698{
Paolo Bonzini052e87b2013-05-27 10:08:27 +02001699 MemoryRegionSection ret = { .mr = NULL };
Paolo Bonzini73034e92013-05-07 15:48:28 +02001700 MemoryRegion *root;
1701 AddressSpace *as;
1702 AddrRange range;
Paolo Bonzini99e86342013-05-06 10:26:13 +02001703 FlatView *view;
Paolo Bonzini73034e92013-05-07 15:48:28 +02001704 FlatRange *fr;
Avi Kivitye2177952011-12-08 15:00:18 +02001705
Paolo Bonzini73034e92013-05-07 15:48:28 +02001706 addr += mr->addr;
Paolo Bonzinifeca4ac2014-06-11 11:18:09 +02001707 for (root = mr; root->container; ) {
1708 root = root->container;
Paolo Bonzini73034e92013-05-07 15:48:28 +02001709 addr += root->addr;
1710 }
1711
1712 as = memory_region_to_address_space(root);
Igor Mammedoveed2bac2014-06-02 15:25:06 +02001713 if (!as) {
1714 return ret;
1715 }
Paolo Bonzini73034e92013-05-07 15:48:28 +02001716 range = addrrange_make(int128_make64(addr), int128_make64(size));
Paolo Bonzini99e86342013-05-06 10:26:13 +02001717
Paolo Bonzini856d7242013-05-06 11:57:21 +02001718 view = address_space_get_flatview(as);
Paolo Bonzini99e86342013-05-06 10:26:13 +02001719 fr = flatview_lookup(view, range);
Avi Kivitye2177952011-12-08 15:00:18 +02001720 if (!fr) {
Marcel Apfelbaum6307d972013-12-02 16:20:59 +02001721 flatview_unref(view);
Avi Kivitye2177952011-12-08 15:00:18 +02001722 return ret;
1723 }
1724
Paolo Bonzini99e86342013-05-06 10:26:13 +02001725 while (fr > view->ranges && addrrange_intersects(fr[-1].addr, range)) {
Avi Kivitye2177952011-12-08 15:00:18 +02001726 --fr;
1727 }
1728
1729 ret.mr = fr->mr;
Paolo Bonzini73034e92013-05-07 15:48:28 +02001730 ret.address_space = as;
Avi Kivitye2177952011-12-08 15:00:18 +02001731 range = addrrange_intersection(range, fr->addr);
1732 ret.offset_within_region = fr->offset_in_region;
1733 ret.offset_within_region += int128_get64(int128_sub(range.start,
1734 fr->addr.start));
Paolo Bonzini052e87b2013-05-27 10:08:27 +02001735 ret.size = range.size;
Avi Kivitye2177952011-12-08 15:00:18 +02001736 ret.offset_within_address_space = int128_get64(range.start);
Avi Kivity7a8499e2012-02-08 17:01:23 +02001737 ret.readonly = fr->readonly;
Paolo Bonzinidfde4e62013-05-06 10:46:11 +02001738 memory_region_ref(ret.mr);
1739
Paolo Bonzini856d7242013-05-06 11:57:21 +02001740 flatview_unref(view);
Avi Kivitye2177952011-12-08 15:00:18 +02001741 return ret;
1742}
1743
Paolo Bonzini1d671362013-04-24 10:46:55 +02001744void address_space_sync_dirty_bitmap(AddressSpace *as)
Avi Kivity86e775c2011-12-15 16:24:49 +02001745{
Paolo Bonzini99e86342013-05-06 10:26:13 +02001746 FlatView *view;
Avi Kivity7664e802011-12-11 14:47:25 +02001747 FlatRange *fr;
1748
Paolo Bonzini856d7242013-05-06 11:57:21 +02001749 view = address_space_get_flatview(as);
Paolo Bonzini99e86342013-05-06 10:26:13 +02001750 FOR_EACH_FLAT_RANGE(fr, view) {
Avi Kivity72e22d22012-02-08 15:05:50 +02001751 MEMORY_LISTENER_UPDATE_REGION(fr, as, Forward, log_sync);
Avi Kivity7664e802011-12-11 14:47:25 +02001752 }
Paolo Bonzini856d7242013-05-06 11:57:21 +02001753 flatview_unref(view);
Avi Kivity7664e802011-12-11 14:47:25 +02001754}
1755
1756void memory_global_dirty_log_start(void)
1757{
Avi Kivity7664e802011-12-11 14:47:25 +02001758 global_dirty_log = true;
Avi Kivity7376e582012-02-08 21:05:17 +02001759 MEMORY_LISTENER_CALL_GLOBAL(log_global_start, Forward);
Avi Kivity7664e802011-12-11 14:47:25 +02001760}
1761
1762void memory_global_dirty_log_stop(void)
1763{
Avi Kivity7664e802011-12-11 14:47:25 +02001764 global_dirty_log = false;
Avi Kivity7376e582012-02-08 21:05:17 +02001765 MEMORY_LISTENER_CALL_GLOBAL(log_global_stop, Reverse);
Avi Kivity7664e802011-12-11 14:47:25 +02001766}
1767
1768static void listener_add_address_space(MemoryListener *listener,
1769 AddressSpace *as)
1770{
Paolo Bonzini99e86342013-05-06 10:26:13 +02001771 FlatView *view;
Avi Kivity7664e802011-12-11 14:47:25 +02001772 FlatRange *fr;
1773
Julien Grall221b3a32012-04-04 15:15:41 +01001774 if (listener->address_space_filter
Avi Kivityf6790af2012-10-02 20:13:51 +02001775 && listener->address_space_filter != as) {
Julien Grall221b3a32012-04-04 15:15:41 +01001776 return;
1777 }
1778
Avi Kivity7664e802011-12-11 14:47:25 +02001779 if (global_dirty_log) {
Avi Kivity975aefe2012-10-02 16:39:57 +02001780 if (listener->log_global_start) {
1781 listener->log_global_start(listener);
1782 }
Avi Kivity7664e802011-12-11 14:47:25 +02001783 }
Avi Kivity975aefe2012-10-02 16:39:57 +02001784
Paolo Bonzini856d7242013-05-06 11:57:21 +02001785 view = address_space_get_flatview(as);
Paolo Bonzini99e86342013-05-06 10:26:13 +02001786 FOR_EACH_FLAT_RANGE(fr, view) {
Avi Kivity7664e802011-12-11 14:47:25 +02001787 MemoryRegionSection section = {
1788 .mr = fr->mr,
Avi Kivityf6790af2012-10-02 20:13:51 +02001789 .address_space = as,
Avi Kivity7664e802011-12-11 14:47:25 +02001790 .offset_within_region = fr->offset_in_region,
Paolo Bonzini052e87b2013-05-27 10:08:27 +02001791 .size = fr->addr.size,
Avi Kivity7664e802011-12-11 14:47:25 +02001792 .offset_within_address_space = int128_get64(fr->addr.start),
Avi Kivity7a8499e2012-02-08 17:01:23 +02001793 .readonly = fr->readonly,
Avi Kivity7664e802011-12-11 14:47:25 +02001794 };
Avi Kivity975aefe2012-10-02 16:39:57 +02001795 if (listener->region_add) {
1796 listener->region_add(listener, &section);
1797 }
Avi Kivity7664e802011-12-11 14:47:25 +02001798 }
Paolo Bonzini856d7242013-05-06 11:57:21 +02001799 flatview_unref(view);
Avi Kivity7664e802011-12-11 14:47:25 +02001800}
1801
Avi Kivityf6790af2012-10-02 20:13:51 +02001802void memory_listener_register(MemoryListener *listener, AddressSpace *filter)
Avi Kivity7664e802011-12-11 14:47:25 +02001803{
Avi Kivity72e22d22012-02-08 15:05:50 +02001804 MemoryListener *other = NULL;
Avi Kivity0d673e32012-10-02 15:28:50 +02001805 AddressSpace *as;
Avi Kivity72e22d22012-02-08 15:05:50 +02001806
Avi Kivity7376e582012-02-08 21:05:17 +02001807 listener->address_space_filter = filter;
Avi Kivity72e22d22012-02-08 15:05:50 +02001808 if (QTAILQ_EMPTY(&memory_listeners)
1809 || listener->priority >= QTAILQ_LAST(&memory_listeners,
1810 memory_listeners)->priority) {
1811 QTAILQ_INSERT_TAIL(&memory_listeners, listener, link);
1812 } else {
1813 QTAILQ_FOREACH(other, &memory_listeners, link) {
1814 if (listener->priority < other->priority) {
1815 break;
1816 }
1817 }
1818 QTAILQ_INSERT_BEFORE(other, listener, link);
1819 }
Avi Kivity0d673e32012-10-02 15:28:50 +02001820
1821 QTAILQ_FOREACH(as, &address_spaces, address_spaces_link) {
1822 listener_add_address_space(listener, as);
1823 }
Avi Kivity7664e802011-12-11 14:47:25 +02001824}
1825
1826void memory_listener_unregister(MemoryListener *listener)
1827{
Avi Kivity72e22d22012-02-08 15:05:50 +02001828 QTAILQ_REMOVE(&memory_listeners, listener, link);
Avi Kivity86e775c2011-12-15 16:24:49 +02001829}
Avi Kivitye2177952011-12-08 15:00:18 +02001830
Alexey Kardashevskiy7dca8042013-04-29 16:25:51 +00001831void address_space_init(AddressSpace *as, MemoryRegion *root, const char *name)
Avi Kivity1c0ffa52011-07-26 14:26:04 +03001832{
Paolo Bonzini856d7242013-05-06 11:57:21 +02001833 if (QTAILQ_EMPTY(&address_spaces)) {
1834 memory_init();
1835 }
1836
Jan Kiszka59023ef2012-08-23 13:02:30 +02001837 memory_region_transaction_begin();
Avi Kivity8786db72012-10-02 13:53:41 +02001838 as->root = root;
1839 as->current_map = g_new(FlatView, 1);
1840 flatview_init(as->current_map);
Avi Kivity4c19eb72012-10-30 13:47:44 +02001841 as->ioeventfd_nb = 0;
1842 as->ioeventfds = NULL;
Avi Kivity0d673e32012-10-02 15:28:50 +02001843 QTAILQ_INSERT_TAIL(&address_spaces, as, address_spaces_link);
Alexey Kardashevskiy7dca8042013-04-29 16:25:51 +00001844 as->name = g_strdup(name ? name : "anonymous");
Avi Kivityac1970f2012-10-03 16:22:53 +02001845 address_space_init_dispatch(as);
Paolo Bonzinif43793c2013-04-16 15:39:51 +02001846 memory_region_update_pending |= root->enabled;
1847 memory_region_transaction_commit();
Avi Kivity1c0ffa52011-07-26 14:26:04 +03001848}
Avi Kivity658b2222011-07-26 14:26:08 +03001849
Avi Kivity83f3c252012-10-07 12:59:55 +02001850void address_space_destroy(AddressSpace *as)
1851{
David Gibson078c44f2014-05-30 12:59:00 -06001852 MemoryListener *listener;
1853
Avi Kivity83f3c252012-10-07 12:59:55 +02001854 /* Flush out anything from MemoryListeners listening in on this */
1855 memory_region_transaction_begin();
1856 as->root = NULL;
1857 memory_region_transaction_commit();
1858 QTAILQ_REMOVE(&address_spaces, as, address_spaces_link);
1859 address_space_destroy_dispatch(as);
David Gibson078c44f2014-05-30 12:59:00 -06001860
1861 QTAILQ_FOREACH(listener, &memory_listeners, link) {
1862 assert(listener->address_space_filter != as);
1863 }
1864
Paolo Bonzini856d7242013-05-06 11:57:21 +02001865 flatview_unref(as->current_map);
Alexey Kardashevskiy7dca8042013-04-29 16:25:51 +00001866 g_free(as->name);
Avi Kivity4c19eb72012-10-30 13:47:44 +02001867 g_free(as->ioeventfds);
Avi Kivity83f3c252012-10-07 12:59:55 +02001868}
1869
Paolo Bonzini791af8c2013-05-24 16:10:39 +02001870bool io_mem_read(MemoryRegion *mr, hwaddr addr, uint64_t *pval, unsigned size)
Avi Kivityacbbec52011-11-21 12:27:03 +02001871{
Paolo Bonzini791af8c2013-05-24 16:10:39 +02001872 return memory_region_dispatch_read(mr, addr, pval, size);
Avi Kivityacbbec52011-11-21 12:27:03 +02001873}
1874
Paolo Bonzini791af8c2013-05-24 16:10:39 +02001875bool io_mem_write(MemoryRegion *mr, hwaddr addr,
Avi Kivityacbbec52011-11-21 12:27:03 +02001876 uint64_t val, unsigned size)
1877{
Paolo Bonzini791af8c2013-05-24 16:10:39 +02001878 return memory_region_dispatch_write(mr, addr, val, size);
Avi Kivityacbbec52011-11-21 12:27:03 +02001879}
1880
Blue Swirl314e2982011-09-11 20:22:05 +00001881typedef struct MemoryRegionList MemoryRegionList;
1882
1883struct MemoryRegionList {
1884 const MemoryRegion *mr;
1885 bool printed;
1886 QTAILQ_ENTRY(MemoryRegionList) queue;
1887};
1888
1889typedef QTAILQ_HEAD(queue, MemoryRegionList) MemoryRegionListHead;
1890
1891static void mtree_print_mr(fprintf_function mon_printf, void *f,
1892 const MemoryRegion *mr, unsigned int level,
Avi Kivitya8170e52012-10-23 12:30:10 +02001893 hwaddr base,
Jan Kiszka9479c572011-09-27 15:00:41 +02001894 MemoryRegionListHead *alias_print_queue)
Blue Swirl314e2982011-09-11 20:22:05 +00001895{
Jan Kiszka9479c572011-09-27 15:00:41 +02001896 MemoryRegionList *new_ml, *ml, *next_ml;
1897 MemoryRegionListHead submr_print_queue;
Blue Swirl314e2982011-09-11 20:22:05 +00001898 const MemoryRegion *submr;
1899 unsigned int i;
1900
Jan Kiszka7ea692b2012-10-31 10:49:02 +01001901 if (!mr || !mr->enabled) {
Blue Swirl314e2982011-09-11 20:22:05 +00001902 return;
1903 }
1904
1905 for (i = 0; i < level; i++) {
1906 mon_printf(f, " ");
1907 }
1908
1909 if (mr->alias) {
1910 MemoryRegionList *ml;
1911 bool found = false;
1912
1913 /* check if the alias is already in the queue */
Jan Kiszka9479c572011-09-27 15:00:41 +02001914 QTAILQ_FOREACH(ml, alias_print_queue, queue) {
Blue Swirl314e2982011-09-11 20:22:05 +00001915 if (ml->mr == mr->alias && !ml->printed) {
1916 found = true;
1917 }
1918 }
1919
1920 if (!found) {
1921 ml = g_new(MemoryRegionList, 1);
1922 ml->mr = mr->alias;
1923 ml->printed = false;
Jan Kiszka9479c572011-09-27 15:00:41 +02001924 QTAILQ_INSERT_TAIL(alias_print_queue, ml, queue);
Blue Swirl314e2982011-09-11 20:22:05 +00001925 }
Jan Kiszka4896d742012-02-04 16:25:42 +01001926 mon_printf(f, TARGET_FMT_plx "-" TARGET_FMT_plx
1927 " (prio %d, %c%c): alias %s @%s " TARGET_FMT_plx
1928 "-" TARGET_FMT_plx "\n",
Blue Swirl314e2982011-09-11 20:22:05 +00001929 base + mr->addr,
Avi Kivity08dafab2011-10-16 13:19:17 +02001930 base + mr->addr
Alex Williamsonfd1d9922013-07-19 12:42:12 -06001931 + (int128_nz(mr->size) ?
1932 (hwaddr)int128_get64(int128_sub(mr->size,
1933 int128_one())) : 0),
Jan Kiszka4b474ba2011-09-27 15:00:31 +02001934 mr->priority,
Jan Kiszka5f9a5ea2013-05-07 19:04:25 +02001935 mr->romd_mode ? 'R' : '-',
1936 !mr->readonly && !(mr->rom_device && mr->romd_mode) ? 'W'
1937 : '-',
Blue Swirl314e2982011-09-11 20:22:05 +00001938 mr->name,
1939 mr->alias->name,
1940 mr->alias_offset,
Avi Kivity08dafab2011-10-16 13:19:17 +02001941 mr->alias_offset
Alexey Kardashevskiya66670c2013-08-30 18:10:38 +10001942 + (int128_nz(mr->size) ?
1943 (hwaddr)int128_get64(int128_sub(mr->size,
1944 int128_one())) : 0));
Blue Swirl314e2982011-09-11 20:22:05 +00001945 } else {
Jan Kiszka4896d742012-02-04 16:25:42 +01001946 mon_printf(f,
1947 TARGET_FMT_plx "-" TARGET_FMT_plx " (prio %d, %c%c): %s\n",
Blue Swirl314e2982011-09-11 20:22:05 +00001948 base + mr->addr,
Avi Kivity08dafab2011-10-16 13:19:17 +02001949 base + mr->addr
Alex Williamsonfd1d9922013-07-19 12:42:12 -06001950 + (int128_nz(mr->size) ?
1951 (hwaddr)int128_get64(int128_sub(mr->size,
1952 int128_one())) : 0),
Jan Kiszka4b474ba2011-09-27 15:00:31 +02001953 mr->priority,
Jan Kiszka5f9a5ea2013-05-07 19:04:25 +02001954 mr->romd_mode ? 'R' : '-',
1955 !mr->readonly && !(mr->rom_device && mr->romd_mode) ? 'W'
1956 : '-',
Blue Swirl314e2982011-09-11 20:22:05 +00001957 mr->name);
1958 }
Jan Kiszka9479c572011-09-27 15:00:41 +02001959
1960 QTAILQ_INIT(&submr_print_queue);
1961
Blue Swirl314e2982011-09-11 20:22:05 +00001962 QTAILQ_FOREACH(submr, &mr->subregions, subregions_link) {
Jan Kiszka9479c572011-09-27 15:00:41 +02001963 new_ml = g_new(MemoryRegionList, 1);
1964 new_ml->mr = submr;
1965 QTAILQ_FOREACH(ml, &submr_print_queue, queue) {
1966 if (new_ml->mr->addr < ml->mr->addr ||
1967 (new_ml->mr->addr == ml->mr->addr &&
1968 new_ml->mr->priority > ml->mr->priority)) {
1969 QTAILQ_INSERT_BEFORE(ml, new_ml, queue);
1970 new_ml = NULL;
1971 break;
1972 }
1973 }
1974 if (new_ml) {
1975 QTAILQ_INSERT_TAIL(&submr_print_queue, new_ml, queue);
1976 }
1977 }
1978
1979 QTAILQ_FOREACH(ml, &submr_print_queue, queue) {
1980 mtree_print_mr(mon_printf, f, ml->mr, level + 1, base + mr->addr,
1981 alias_print_queue);
1982 }
1983
Avi Kivity88365e42011-11-13 12:00:55 +02001984 QTAILQ_FOREACH_SAFE(ml, &submr_print_queue, queue, next_ml) {
Jan Kiszka9479c572011-09-27 15:00:41 +02001985 g_free(ml);
Blue Swirl314e2982011-09-11 20:22:05 +00001986 }
1987}
1988
1989void mtree_info(fprintf_function mon_printf, void *f)
1990{
1991 MemoryRegionListHead ml_head;
1992 MemoryRegionList *ml, *ml2;
Avi Kivity0d673e32012-10-02 15:28:50 +02001993 AddressSpace *as;
Blue Swirl314e2982011-09-11 20:22:05 +00001994
1995 QTAILQ_INIT(&ml_head);
1996
Avi Kivity0d673e32012-10-02 15:28:50 +02001997 QTAILQ_FOREACH(as, &address_spaces, address_spaces_link) {
Avi Kivity0d673e32012-10-02 15:28:50 +02001998 mon_printf(f, "%s\n", as->name);
1999 mtree_print_mr(mon_printf, f, as->root, 0, 0, &ml_head);
Blue Swirlb9f9be82012-03-10 16:58:35 +00002000 }
2001
2002 mon_printf(f, "aliases\n");
Blue Swirl314e2982011-09-11 20:22:05 +00002003 /* print aliased regions */
2004 QTAILQ_FOREACH(ml, &ml_head, queue) {
2005 if (!ml->printed) {
2006 mon_printf(f, "%s\n", ml->mr->name);
2007 mtree_print_mr(mon_printf, f, ml->mr, 0, 0, &ml_head);
2008 }
2009 }
2010
2011 QTAILQ_FOREACH_SAFE(ml, &ml_head, queue, ml2) {
Avi Kivity88365e42011-11-13 12:00:55 +02002012 g_free(ml);
Blue Swirl314e2982011-09-11 20:22:05 +00002013 }
Blue Swirl314e2982011-09-11 20:22:05 +00002014}
Peter Crosthwaiteb4fefef2014-06-05 23:15:52 -07002015
2016static const TypeInfo memory_region_info = {
2017 .parent = TYPE_OBJECT,
2018 .name = TYPE_MEMORY_REGION,
2019 .instance_size = sizeof(MemoryRegion),
2020 .instance_init = memory_region_initfn,
2021 .instance_finalize = memory_region_finalize,
2022};
2023
2024static void memory_register_types(void)
2025{
2026 type_register_static(&memory_region_info);
2027}
2028
2029type_init(memory_register_types)