blob: 0d8b2d96a993273ea0ac000bc6fecdb0fdd3f6a6 [file] [log] [blame]
Avi Kivity093bc2c2011-07-26 14:26:01 +03001/*
2 * Physical memory management
3 *
4 * Copyright 2011 Red Hat, Inc. and/or its affiliates
5 *
6 * Authors:
7 * Avi Kivity <avi@redhat.com>
8 *
9 * This work is licensed under the terms of the GNU GPL, version 2. See
10 * the COPYING file in the top-level directory.
11 *
Paolo Bonzini6b620ca2012-01-13 17:44:23 +010012 * Contributions after 2012-01-13 are licensed under the terms of the
13 * GNU GPL, version 2 or (at your option) any later version.
Avi Kivity093bc2c2011-07-26 14:26:01 +030014 */
15
Paolo Bonzini022c62c2012-12-17 18:19:49 +010016#include "exec/memory.h"
17#include "exec/address-spaces.h"
18#include "exec/ioport.h"
Peter Crosthwaite409ddd02014-06-05 23:16:27 -070019#include "qapi/visitor.h"
Paolo Bonzini1de7afc2012-12-17 18:20:00 +010020#include "qemu/bitops.h"
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -040021#include "qom/object.h"
Paolo Bonzini55d5d042013-07-28 14:57:22 +020022#include "trace.h"
Avi Kivity093bc2c2011-07-26 14:26:01 +030023#include <assert.h>
24
Paolo Bonzini022c62c2012-12-17 18:19:49 +010025#include "exec/memory-internal.h"
Juan Quintela220c3eb2013-10-14 17:13:59 +020026#include "exec/ram_addr.h"
Paolo Bonzinie1c57ab2014-05-14 17:43:18 +080027#include "sysemu/sysemu.h"
Avi Kivity67d95c12011-12-15 15:25:22 +020028
Paolo Bonzinid1970632013-05-24 13:23:38 +020029//#define DEBUG_UNASSIGNED
30
Paolo Bonziniec05ec22015-03-29 09:31:43 +020031#define RAM_ADDR_INVALID (~(ram_addr_t)0)
32
Jan Kiszka22bde712012-11-05 16:45:56 +010033static unsigned memory_region_transaction_depth;
34static bool memory_region_update_pending;
Gonglei4dc56152014-05-08 11:47:32 +080035static bool ioeventfd_update_pending;
Avi Kivity7664e802011-12-11 14:47:25 +020036static bool global_dirty_log = false;
37
Avi Kivity72e22d22012-02-08 15:05:50 +020038static QTAILQ_HEAD(memory_listeners, MemoryListener) memory_listeners
39 = QTAILQ_HEAD_INITIALIZER(memory_listeners);
Avi Kivity4ef4db82011-07-26 14:26:13 +030040
Avi Kivity0d673e32012-10-02 15:28:50 +020041static QTAILQ_HEAD(, AddressSpace) address_spaces
42 = QTAILQ_HEAD_INITIALIZER(address_spaces);
43
Avi Kivity093bc2c2011-07-26 14:26:01 +030044typedef struct AddrRange AddrRange;
45
Avi Kivity8417ceb2011-08-03 11:56:14 +030046/*
Fam Zhengc9cdaa32014-08-11 10:18:31 +080047 * Note that signed integers are needed for negative offsetting in aliases
Avi Kivity8417ceb2011-08-03 11:56:14 +030048 * (large MemoryRegion::alias_offset).
49 */
Avi Kivity093bc2c2011-07-26 14:26:01 +030050struct AddrRange {
Avi Kivity08dafab2011-10-16 13:19:17 +020051 Int128 start;
52 Int128 size;
Avi Kivity093bc2c2011-07-26 14:26:01 +030053};
54
Avi Kivity08dafab2011-10-16 13:19:17 +020055static AddrRange addrrange_make(Int128 start, Int128 size)
Avi Kivity093bc2c2011-07-26 14:26:01 +030056{
57 return (AddrRange) { start, size };
58}
59
60static bool addrrange_equal(AddrRange r1, AddrRange r2)
61{
Avi Kivity08dafab2011-10-16 13:19:17 +020062 return int128_eq(r1.start, r2.start) && int128_eq(r1.size, r2.size);
Avi Kivity093bc2c2011-07-26 14:26:01 +030063}
64
Avi Kivity08dafab2011-10-16 13:19:17 +020065static Int128 addrrange_end(AddrRange r)
Avi Kivity093bc2c2011-07-26 14:26:01 +030066{
Avi Kivity08dafab2011-10-16 13:19:17 +020067 return int128_add(r.start, r.size);
Avi Kivity093bc2c2011-07-26 14:26:01 +030068}
69
Avi Kivity08dafab2011-10-16 13:19:17 +020070static AddrRange addrrange_shift(AddrRange range, Int128 delta)
Avi Kivity093bc2c2011-07-26 14:26:01 +030071{
Avi Kivity08dafab2011-10-16 13:19:17 +020072 int128_addto(&range.start, delta);
Avi Kivity093bc2c2011-07-26 14:26:01 +030073 return range;
74}
75
Avi Kivity08dafab2011-10-16 13:19:17 +020076static bool addrrange_contains(AddrRange range, Int128 addr)
77{
78 return int128_ge(addr, range.start)
79 && int128_lt(addr, addrrange_end(range));
80}
81
Avi Kivity093bc2c2011-07-26 14:26:01 +030082static bool addrrange_intersects(AddrRange r1, AddrRange r2)
83{
Avi Kivity08dafab2011-10-16 13:19:17 +020084 return addrrange_contains(r1, r2.start)
85 || addrrange_contains(r2, r1.start);
Avi Kivity093bc2c2011-07-26 14:26:01 +030086}
87
88static AddrRange addrrange_intersection(AddrRange r1, AddrRange r2)
89{
Avi Kivity08dafab2011-10-16 13:19:17 +020090 Int128 start = int128_max(r1.start, r2.start);
91 Int128 end = int128_min(addrrange_end(r1), addrrange_end(r2));
92 return addrrange_make(start, int128_sub(end, start));
Avi Kivity093bc2c2011-07-26 14:26:01 +030093}
94
Avi Kivity0e0d36b2012-02-08 16:39:45 +020095enum ListenerDirection { Forward, Reverse };
96
Avi Kivity7376e582012-02-08 21:05:17 +020097static bool memory_listener_match(MemoryListener *listener,
98 MemoryRegionSection *section)
99{
100 return !listener->address_space_filter
101 || listener->address_space_filter == section->address_space;
102}
103
104#define MEMORY_LISTENER_CALL_GLOBAL(_callback, _direction, _args...) \
Avi Kivity0e0d36b2012-02-08 16:39:45 +0200105 do { \
106 MemoryListener *_listener; \
107 \
108 switch (_direction) { \
109 case Forward: \
110 QTAILQ_FOREACH(_listener, &memory_listeners, link) { \
Avi Kivity975aefe2012-10-02 16:39:57 +0200111 if (_listener->_callback) { \
112 _listener->_callback(_listener, ##_args); \
113 } \
Avi Kivity0e0d36b2012-02-08 16:39:45 +0200114 } \
115 break; \
116 case Reverse: \
117 QTAILQ_FOREACH_REVERSE(_listener, &memory_listeners, \
118 memory_listeners, link) { \
Avi Kivity975aefe2012-10-02 16:39:57 +0200119 if (_listener->_callback) { \
120 _listener->_callback(_listener, ##_args); \
121 } \
Avi Kivity0e0d36b2012-02-08 16:39:45 +0200122 } \
123 break; \
124 default: \
125 abort(); \
126 } \
127 } while (0)
128
Avi Kivity7376e582012-02-08 21:05:17 +0200129#define MEMORY_LISTENER_CALL(_callback, _direction, _section, _args...) \
130 do { \
131 MemoryListener *_listener; \
132 \
133 switch (_direction) { \
134 case Forward: \
135 QTAILQ_FOREACH(_listener, &memory_listeners, link) { \
Avi Kivity975aefe2012-10-02 16:39:57 +0200136 if (_listener->_callback \
137 && memory_listener_match(_listener, _section)) { \
Avi Kivity7376e582012-02-08 21:05:17 +0200138 _listener->_callback(_listener, _section, ##_args); \
139 } \
140 } \
141 break; \
142 case Reverse: \
143 QTAILQ_FOREACH_REVERSE(_listener, &memory_listeners, \
144 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 default: \
152 abort(); \
153 } \
154 } while (0)
155
Paolo Bonzinidfde4e62013-05-06 10:46:11 +0200156/* No need to ref/unref .mr, the FlatRange keeps it alive. */
Paolo Bonzinib2dfd712015-04-25 14:38:30 +0200157#define MEMORY_LISTENER_UPDATE_REGION(fr, as, dir, callback, _args...) \
Avi Kivity7376e582012-02-08 21:05:17 +0200158 MEMORY_LISTENER_CALL(callback, dir, (&(MemoryRegionSection) { \
Avi Kivity0e0d36b2012-02-08 16:39:45 +0200159 .mr = (fr)->mr, \
Avi Kivityf6790af2012-10-02 20:13:51 +0200160 .address_space = (as), \
Avi Kivity0e0d36b2012-02-08 16:39:45 +0200161 .offset_within_region = (fr)->offset_in_region, \
Paolo Bonzini052e87b2013-05-27 10:08:27 +0200162 .size = (fr)->addr.size, \
Avi Kivity0e0d36b2012-02-08 16:39:45 +0200163 .offset_within_address_space = int128_get64((fr)->addr.start), \
Avi Kivity7a8499e2012-02-08 17:01:23 +0200164 .readonly = (fr)->readonly, \
Paolo Bonzinib2dfd712015-04-25 14:38:30 +0200165 }), ##_args)
Avi Kivity0e0d36b2012-02-08 16:39:45 +0200166
Avi Kivity093bc2c2011-07-26 14:26:01 +0300167struct CoalescedMemoryRange {
168 AddrRange addr;
169 QTAILQ_ENTRY(CoalescedMemoryRange) link;
170};
171
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300172struct MemoryRegionIoeventfd {
173 AddrRange addr;
174 bool match_data;
175 uint64_t data;
Paolo Bonzini753d5e12012-07-05 17:16:27 +0200176 EventNotifier *e;
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300177};
178
179static bool memory_region_ioeventfd_before(MemoryRegionIoeventfd a,
180 MemoryRegionIoeventfd b)
181{
Avi Kivity08dafab2011-10-16 13:19:17 +0200182 if (int128_lt(a.addr.start, b.addr.start)) {
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300183 return true;
Avi Kivity08dafab2011-10-16 13:19:17 +0200184 } else if (int128_gt(a.addr.start, b.addr.start)) {
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300185 return false;
Avi Kivity08dafab2011-10-16 13:19:17 +0200186 } else if (int128_lt(a.addr.size, b.addr.size)) {
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300187 return true;
Avi Kivity08dafab2011-10-16 13:19:17 +0200188 } else if (int128_gt(a.addr.size, b.addr.size)) {
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300189 return false;
190 } else if (a.match_data < b.match_data) {
191 return true;
192 } else if (a.match_data > b.match_data) {
193 return false;
194 } else if (a.match_data) {
195 if (a.data < b.data) {
196 return true;
197 } else if (a.data > b.data) {
198 return false;
199 }
200 }
Paolo Bonzini753d5e12012-07-05 17:16:27 +0200201 if (a.e < b.e) {
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300202 return true;
Paolo Bonzini753d5e12012-07-05 17:16:27 +0200203 } else if (a.e > b.e) {
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300204 return false;
205 }
206 return false;
207}
208
209static bool memory_region_ioeventfd_equal(MemoryRegionIoeventfd a,
210 MemoryRegionIoeventfd b)
211{
212 return !memory_region_ioeventfd_before(a, b)
213 && !memory_region_ioeventfd_before(b, a);
214}
215
Avi Kivity093bc2c2011-07-26 14:26:01 +0300216typedef struct FlatRange FlatRange;
217typedef struct FlatView FlatView;
218
219/* Range of memory in the global map. Addresses are absolute. */
220struct FlatRange {
221 MemoryRegion *mr;
Avi Kivitya8170e52012-10-23 12:30:10 +0200222 hwaddr offset_in_region;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300223 AddrRange addr;
Avi Kivity5a583342011-07-26 14:26:02 +0300224 uint8_t dirty_log_mask;
Jan Kiszka5f9a5ea2013-05-07 19:04:25 +0200225 bool romd_mode;
Avi Kivityfb1cd6f2011-09-25 14:48:47 +0300226 bool readonly;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300227};
228
229/* Flattened global view of current active memory hierarchy. Kept in sorted
230 * order.
231 */
232struct FlatView {
Paolo Bonzini374f2982013-05-17 12:37:03 +0200233 struct rcu_head rcu;
Paolo Bonzini856d7242013-05-06 11:57:21 +0200234 unsigned ref;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300235 FlatRange *ranges;
236 unsigned nr;
237 unsigned nr_allocated;
238};
239
Avi Kivitycc31e6e2011-07-26 14:26:05 +0300240typedef struct AddressSpaceOps AddressSpaceOps;
241
Avi Kivity093bc2c2011-07-26 14:26:01 +0300242#define FOR_EACH_FLAT_RANGE(var, view) \
243 for (var = (view)->ranges; var < (view)->ranges + (view)->nr; ++var)
244
Avi Kivity093bc2c2011-07-26 14:26:01 +0300245static bool flatrange_equal(FlatRange *a, FlatRange *b)
246{
247 return a->mr == b->mr
248 && addrrange_equal(a->addr, b->addr)
Avi Kivityd0a9b5b2011-08-08 19:58:49 +0300249 && a->offset_in_region == b->offset_in_region
Jan Kiszka5f9a5ea2013-05-07 19:04:25 +0200250 && a->romd_mode == b->romd_mode
Avi Kivityfb1cd6f2011-09-25 14:48:47 +0300251 && a->readonly == b->readonly;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300252}
253
254static void flatview_init(FlatView *view)
255{
Paolo Bonzini856d7242013-05-06 11:57:21 +0200256 view->ref = 1;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300257 view->ranges = NULL;
258 view->nr = 0;
259 view->nr_allocated = 0;
260}
261
262/* Insert a range into a given position. Caller is responsible for maintaining
263 * sorting order.
264 */
265static void flatview_insert(FlatView *view, unsigned pos, FlatRange *range)
266{
267 if (view->nr == view->nr_allocated) {
268 view->nr_allocated = MAX(2 * view->nr, 10);
Anthony Liguori7267c092011-08-20 22:09:37 -0500269 view->ranges = g_realloc(view->ranges,
Avi Kivity093bc2c2011-07-26 14:26:01 +0300270 view->nr_allocated * sizeof(*view->ranges));
271 }
272 memmove(view->ranges + pos + 1, view->ranges + pos,
273 (view->nr - pos) * sizeof(FlatRange));
274 view->ranges[pos] = *range;
Paolo Bonzinidfde4e62013-05-06 10:46:11 +0200275 memory_region_ref(range->mr);
Avi Kivity093bc2c2011-07-26 14:26:01 +0300276 ++view->nr;
277}
278
279static void flatview_destroy(FlatView *view)
280{
Paolo Bonzinidfde4e62013-05-06 10:46:11 +0200281 int i;
282
283 for (i = 0; i < view->nr; i++) {
284 memory_region_unref(view->ranges[i].mr);
285 }
Anthony Liguori7267c092011-08-20 22:09:37 -0500286 g_free(view->ranges);
Paolo Bonzinia9a0c062013-05-06 10:29:07 +0200287 g_free(view);
Avi Kivity093bc2c2011-07-26 14:26:01 +0300288}
289
Paolo Bonzini856d7242013-05-06 11:57:21 +0200290static void flatview_ref(FlatView *view)
291{
292 atomic_inc(&view->ref);
293}
294
295static void flatview_unref(FlatView *view)
296{
297 if (atomic_fetch_dec(&view->ref) == 1) {
298 flatview_destroy(view);
299 }
300}
301
Avi Kivity3d8e6bf2011-07-26 14:26:03 +0300302static bool can_merge(FlatRange *r1, FlatRange *r2)
303{
Avi Kivity08dafab2011-10-16 13:19:17 +0200304 return int128_eq(addrrange_end(r1->addr), r2->addr.start)
Avi Kivity3d8e6bf2011-07-26 14:26:03 +0300305 && r1->mr == r2->mr
Avi Kivity08dafab2011-10-16 13:19:17 +0200306 && int128_eq(int128_add(int128_make64(r1->offset_in_region),
307 r1->addr.size),
308 int128_make64(r2->offset_in_region))
Avi Kivityd0a9b5b2011-08-08 19:58:49 +0300309 && r1->dirty_log_mask == r2->dirty_log_mask
Jan Kiszka5f9a5ea2013-05-07 19:04:25 +0200310 && r1->romd_mode == r2->romd_mode
Avi Kivityfb1cd6f2011-09-25 14:48:47 +0300311 && r1->readonly == r2->readonly;
Avi Kivity3d8e6bf2011-07-26 14:26:03 +0300312}
313
Peter Crosthwaite8508e022013-06-03 15:31:56 +1000314/* Attempt to simplify a view by merging adjacent ranges */
Avi Kivity3d8e6bf2011-07-26 14:26:03 +0300315static void flatview_simplify(FlatView *view)
316{
317 unsigned i, j;
318
319 i = 0;
320 while (i < view->nr) {
321 j = i + 1;
322 while (j < view->nr
323 && can_merge(&view->ranges[j-1], &view->ranges[j])) {
Avi Kivity08dafab2011-10-16 13:19:17 +0200324 int128_addto(&view->ranges[i].addr.size, view->ranges[j].addr.size);
Avi Kivity3d8e6bf2011-07-26 14:26:03 +0300325 ++j;
326 }
327 ++i;
328 memmove(&view->ranges[i], &view->ranges[j],
329 (view->nr - j) * sizeof(view->ranges[j]));
330 view->nr -= j - i;
331 }
332}
333
Paolo Bonzinie7342aa2013-07-22 15:54:37 +0200334static bool memory_region_big_endian(MemoryRegion *mr)
335{
336#ifdef TARGET_WORDS_BIGENDIAN
337 return mr->ops->endianness != DEVICE_LITTLE_ENDIAN;
338#else
339 return mr->ops->endianness == DEVICE_BIG_ENDIAN;
340#endif
341}
342
Paolo Bonzinie11ef3d2013-07-22 15:54:35 +0200343static bool memory_region_wrong_endianness(MemoryRegion *mr)
344{
345#ifdef TARGET_WORDS_BIGENDIAN
346 return mr->ops->endianness == DEVICE_LITTLE_ENDIAN;
347#else
348 return mr->ops->endianness == DEVICE_BIG_ENDIAN;
349#endif
350}
351
352static void adjust_endianness(MemoryRegion *mr, uint64_t *data, unsigned size)
353{
354 if (memory_region_wrong_endianness(mr)) {
355 switch (size) {
356 case 1:
357 break;
358 case 2:
359 *data = bswap16(*data);
360 break;
361 case 4:
362 *data = bswap32(*data);
363 break;
364 case 8:
365 *data = bswap64(*data);
366 break;
367 default:
368 abort();
369 }
370 }
371}
372
Peter Maydellcc05c432015-04-26 16:49:23 +0100373static MemTxResult memory_region_oldmmio_read_accessor(MemoryRegion *mr,
374 hwaddr addr,
375 uint64_t *value,
376 unsigned size,
377 unsigned shift,
378 uint64_t mask,
379 MemTxAttrs attrs)
Paolo Bonzinice5d2f32013-05-24 17:45:48 +0200380{
Paolo Bonzinice5d2f32013-05-24 17:45:48 +0200381 uint64_t tmp;
382
383 tmp = mr->ops->old_mmio.read[ctz32(size)](mr->opaque, addr);
Paolo Bonzini55d5d042013-07-28 14:57:22 +0200384 trace_memory_region_ops_read(mr, addr, tmp, size);
Paolo Bonzinice5d2f32013-05-24 17:45:48 +0200385 *value |= (tmp & mask) << shift;
Peter Maydellcc05c432015-04-26 16:49:23 +0100386 return MEMTX_OK;
Paolo Bonzinice5d2f32013-05-24 17:45:48 +0200387}
388
Peter Maydellcc05c432015-04-26 16:49:23 +0100389static MemTxResult memory_region_read_accessor(MemoryRegion *mr,
390 hwaddr addr,
391 uint64_t *value,
392 unsigned size,
393 unsigned shift,
394 uint64_t mask,
395 MemTxAttrs attrs)
Avi Kivity164a4dc2011-08-11 10:40:25 +0300396{
Avi Kivity164a4dc2011-08-11 10:40:25 +0300397 uint64_t tmp;
398
399 tmp = mr->ops->read(mr->opaque, addr, size);
Paolo Bonzini55d5d042013-07-28 14:57:22 +0200400 trace_memory_region_ops_read(mr, addr, tmp, size);
Avi Kivity164a4dc2011-08-11 10:40:25 +0300401 *value |= (tmp & mask) << shift;
Peter Maydellcc05c432015-04-26 16:49:23 +0100402 return MEMTX_OK;
Avi Kivity164a4dc2011-08-11 10:40:25 +0300403}
404
Peter Maydellcc05c432015-04-26 16:49:23 +0100405static MemTxResult memory_region_read_with_attrs_accessor(MemoryRegion *mr,
406 hwaddr addr,
407 uint64_t *value,
408 unsigned size,
409 unsigned shift,
410 uint64_t mask,
411 MemTxAttrs attrs)
412{
413 uint64_t tmp = 0;
414 MemTxResult r;
415
Peter Maydellcc05c432015-04-26 16:49:23 +0100416 r = mr->ops->read_with_attrs(mr->opaque, addr, &tmp, size, attrs);
417 trace_memory_region_ops_read(mr, addr, tmp, size);
418 *value |= (tmp & mask) << shift;
419 return r;
420}
421
422static MemTxResult memory_region_oldmmio_write_accessor(MemoryRegion *mr,
423 hwaddr addr,
424 uint64_t *value,
425 unsigned size,
426 unsigned shift,
427 uint64_t mask,
428 MemTxAttrs attrs)
Paolo Bonzinice5d2f32013-05-24 17:45:48 +0200429{
Paolo Bonzinice5d2f32013-05-24 17:45:48 +0200430 uint64_t tmp;
431
432 tmp = (*value >> shift) & mask;
Paolo Bonzini55d5d042013-07-28 14:57:22 +0200433 trace_memory_region_ops_write(mr, addr, tmp, size);
Paolo Bonzinice5d2f32013-05-24 17:45:48 +0200434 mr->ops->old_mmio.write[ctz32(size)](mr->opaque, addr, tmp);
Peter Maydellcc05c432015-04-26 16:49:23 +0100435 return MEMTX_OK;
Paolo Bonzinice5d2f32013-05-24 17:45:48 +0200436}
437
Peter Maydellcc05c432015-04-26 16:49:23 +0100438static MemTxResult memory_region_write_accessor(MemoryRegion *mr,
439 hwaddr addr,
440 uint64_t *value,
441 unsigned size,
442 unsigned shift,
443 uint64_t mask,
444 MemTxAttrs attrs)
Avi Kivity164a4dc2011-08-11 10:40:25 +0300445{
Avi Kivity164a4dc2011-08-11 10:40:25 +0300446 uint64_t tmp;
447
448 tmp = (*value >> shift) & mask;
Paolo Bonzini55d5d042013-07-28 14:57:22 +0200449 trace_memory_region_ops_write(mr, addr, tmp, size);
Avi Kivity164a4dc2011-08-11 10:40:25 +0300450 mr->ops->write(mr->opaque, addr, tmp, size);
Peter Maydellcc05c432015-04-26 16:49:23 +0100451 return MEMTX_OK;
Avi Kivity164a4dc2011-08-11 10:40:25 +0300452}
453
Peter Maydellcc05c432015-04-26 16:49:23 +0100454static MemTxResult memory_region_write_with_attrs_accessor(MemoryRegion *mr,
455 hwaddr addr,
456 uint64_t *value,
457 unsigned size,
458 unsigned shift,
459 uint64_t mask,
460 MemTxAttrs attrs)
461{
462 uint64_t tmp;
463
Peter Maydellcc05c432015-04-26 16:49:23 +0100464 tmp = (*value >> shift) & mask;
465 trace_memory_region_ops_write(mr, addr, tmp, size);
466 return mr->ops->write_with_attrs(mr->opaque, addr, tmp, size, attrs);
467}
468
469static MemTxResult access_with_adjusted_size(hwaddr addr,
Avi Kivity164a4dc2011-08-11 10:40:25 +0300470 uint64_t *value,
471 unsigned size,
472 unsigned access_size_min,
473 unsigned access_size_max,
Peter Maydellcc05c432015-04-26 16:49:23 +0100474 MemTxResult (*access)(MemoryRegion *mr,
475 hwaddr addr,
476 uint64_t *value,
477 unsigned size,
478 unsigned shift,
479 uint64_t mask,
480 MemTxAttrs attrs),
481 MemoryRegion *mr,
482 MemTxAttrs attrs)
Avi Kivity164a4dc2011-08-11 10:40:25 +0300483{
484 uint64_t access_mask;
485 unsigned access_size;
486 unsigned i;
Peter Maydellcc05c432015-04-26 16:49:23 +0100487 MemTxResult r = MEMTX_OK;
Avi Kivity164a4dc2011-08-11 10:40:25 +0300488
489 if (!access_size_min) {
490 access_size_min = 1;
491 }
492 if (!access_size_max) {
493 access_size_max = 4;
494 }
Paolo Bonzinice5d2f32013-05-24 17:45:48 +0200495
496 /* FIXME: support unaligned access? */
Avi Kivity164a4dc2011-08-11 10:40:25 +0300497 access_size = MAX(MIN(size, access_size_max), access_size_min);
498 access_mask = -1ULL >> (64 - access_size * 8);
Paolo Bonzinie7342aa2013-07-22 15:54:37 +0200499 if (memory_region_big_endian(mr)) {
500 for (i = 0; i < size; i += access_size) {
Peter Maydellcc05c432015-04-26 16:49:23 +0100501 r |= access(mr, addr + i, value, access_size,
502 (size - access_size - i) * 8, access_mask, attrs);
Paolo Bonzinie7342aa2013-07-22 15:54:37 +0200503 }
504 } else {
505 for (i = 0; i < size; i += access_size) {
Peter Maydellcc05c432015-04-26 16:49:23 +0100506 r |= access(mr, addr + i, value, access_size, i * 8,
507 access_mask, attrs);
Paolo Bonzinie7342aa2013-07-22 15:54:37 +0200508 }
Avi Kivity164a4dc2011-08-11 10:40:25 +0300509 }
Peter Maydellcc05c432015-04-26 16:49:23 +0100510 return r;
Avi Kivity164a4dc2011-08-11 10:40:25 +0300511}
512
Avi Kivitye2177952011-12-08 15:00:18 +0200513static AddressSpace *memory_region_to_address_space(MemoryRegion *mr)
514{
Avi Kivity0d673e32012-10-02 15:28:50 +0200515 AddressSpace *as;
516
Paolo Bonzinifeca4ac2014-06-11 11:18:09 +0200517 while (mr->container) {
518 mr = mr->container;
Avi Kivitye2177952011-12-08 15:00:18 +0200519 }
Avi Kivity0d673e32012-10-02 15:28:50 +0200520 QTAILQ_FOREACH(as, &address_spaces, address_spaces_link) {
521 if (mr == as->root) {
522 return as;
523 }
Avi Kivitye2177952011-12-08 15:00:18 +0200524 }
Igor Mammedoveed2bac2014-06-02 15:25:06 +0200525 return NULL;
Avi Kivitye2177952011-12-08 15:00:18 +0200526}
527
Avi Kivity093bc2c2011-07-26 14:26:01 +0300528/* Render a memory region into the global view. Ranges in @view obscure
529 * ranges in @mr.
530 */
531static void render_memory_region(FlatView *view,
532 MemoryRegion *mr,
Avi Kivity08dafab2011-10-16 13:19:17 +0200533 Int128 base,
Avi Kivityfb1cd6f2011-09-25 14:48:47 +0300534 AddrRange clip,
535 bool readonly)
Avi Kivity093bc2c2011-07-26 14:26:01 +0300536{
537 MemoryRegion *subregion;
538 unsigned i;
Avi Kivitya8170e52012-10-23 12:30:10 +0200539 hwaddr offset_in_region;
Avi Kivity08dafab2011-10-16 13:19:17 +0200540 Int128 remain;
541 Int128 now;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300542 FlatRange fr;
543 AddrRange tmp;
544
Avi Kivity6bba19b2011-09-14 11:54:58 +0300545 if (!mr->enabled) {
546 return;
547 }
548
Avi Kivity08dafab2011-10-16 13:19:17 +0200549 int128_addto(&base, int128_make64(mr->addr));
Avi Kivityfb1cd6f2011-09-25 14:48:47 +0300550 readonly |= mr->readonly;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300551
552 tmp = addrrange_make(base, mr->size);
553
554 if (!addrrange_intersects(tmp, clip)) {
555 return;
556 }
557
558 clip = addrrange_intersection(tmp, clip);
559
560 if (mr->alias) {
Avi Kivity08dafab2011-10-16 13:19:17 +0200561 int128_subfrom(&base, int128_make64(mr->alias->addr));
562 int128_subfrom(&base, int128_make64(mr->alias_offset));
Avi Kivityfb1cd6f2011-09-25 14:48:47 +0300563 render_memory_region(view, mr->alias, base, clip, readonly);
Avi Kivity093bc2c2011-07-26 14:26:01 +0300564 return;
565 }
566
567 /* Render subregions in priority order. */
568 QTAILQ_FOREACH(subregion, &mr->subregions, subregions_link) {
Avi Kivityfb1cd6f2011-09-25 14:48:47 +0300569 render_memory_region(view, subregion, base, clip, readonly);
Avi Kivity093bc2c2011-07-26 14:26:01 +0300570 }
571
Avi Kivity14a3c102011-07-26 14:26:06 +0300572 if (!mr->terminates) {
Avi Kivity093bc2c2011-07-26 14:26:01 +0300573 return;
574 }
575
Avi Kivity08dafab2011-10-16 13:19:17 +0200576 offset_in_region = int128_get64(int128_sub(clip.start, base));
Avi Kivity093bc2c2011-07-26 14:26:01 +0300577 base = clip.start;
578 remain = clip.size;
579
Peter Crosthwaite2eb74e12013-06-03 15:33:29 +1000580 fr.mr = mr;
Paolo Bonzini6f6a5ef2015-03-23 10:57:21 +0100581 fr.dirty_log_mask = memory_region_get_dirty_log_mask(mr);
Peter Crosthwaite2eb74e12013-06-03 15:33:29 +1000582 fr.romd_mode = mr->romd_mode;
583 fr.readonly = readonly;
584
Avi Kivity093bc2c2011-07-26 14:26:01 +0300585 /* Render the region itself into any gaps left by the current view. */
Avi Kivity08dafab2011-10-16 13:19:17 +0200586 for (i = 0; i < view->nr && int128_nz(remain); ++i) {
587 if (int128_ge(base, addrrange_end(view->ranges[i].addr))) {
Avi Kivity093bc2c2011-07-26 14:26:01 +0300588 continue;
589 }
Avi Kivity08dafab2011-10-16 13:19:17 +0200590 if (int128_lt(base, view->ranges[i].addr.start)) {
591 now = int128_min(remain,
592 int128_sub(view->ranges[i].addr.start, base));
Avi Kivity093bc2c2011-07-26 14:26:01 +0300593 fr.offset_in_region = offset_in_region;
594 fr.addr = addrrange_make(base, now);
595 flatview_insert(view, i, &fr);
596 ++i;
Avi Kivity08dafab2011-10-16 13:19:17 +0200597 int128_addto(&base, now);
598 offset_in_region += int128_get64(now);
599 int128_subfrom(&remain, now);
Avi Kivity093bc2c2011-07-26 14:26:01 +0300600 }
Avi Kivityd26a8ca2012-10-29 18:22:36 +0200601 now = int128_sub(int128_min(int128_add(base, remain),
602 addrrange_end(view->ranges[i].addr)),
603 base);
604 int128_addto(&base, now);
605 offset_in_region += int128_get64(now);
606 int128_subfrom(&remain, now);
Avi Kivity093bc2c2011-07-26 14:26:01 +0300607 }
Avi Kivity08dafab2011-10-16 13:19:17 +0200608 if (int128_nz(remain)) {
Avi Kivity093bc2c2011-07-26 14:26:01 +0300609 fr.offset_in_region = offset_in_region;
610 fr.addr = addrrange_make(base, remain);
611 flatview_insert(view, i, &fr);
612 }
613}
614
615/* Render a memory topology into a list of disjoint absolute ranges. */
Paolo Bonzinia9a0c062013-05-06 10:29:07 +0200616static FlatView *generate_memory_topology(MemoryRegion *mr)
Avi Kivity093bc2c2011-07-26 14:26:01 +0300617{
Paolo Bonzinia9a0c062013-05-06 10:29:07 +0200618 FlatView *view;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300619
Paolo Bonzinia9a0c062013-05-06 10:29:07 +0200620 view = g_new(FlatView, 1);
621 flatview_init(view);
Avi Kivity093bc2c2011-07-26 14:26:01 +0300622
Avi Kivity83f3c252012-10-07 12:59:55 +0200623 if (mr) {
Paolo Bonzinia9a0c062013-05-06 10:29:07 +0200624 render_memory_region(view, mr, int128_zero(),
Avi Kivity83f3c252012-10-07 12:59:55 +0200625 addrrange_make(int128_zero(), int128_2_64()), false);
626 }
Paolo Bonzinia9a0c062013-05-06 10:29:07 +0200627 flatview_simplify(view);
Avi Kivity093bc2c2011-07-26 14:26:01 +0300628
629 return view;
630}
631
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300632static void address_space_add_del_ioeventfds(AddressSpace *as,
633 MemoryRegionIoeventfd *fds_new,
634 unsigned fds_new_nb,
635 MemoryRegionIoeventfd *fds_old,
636 unsigned fds_old_nb)
637{
638 unsigned iold, inew;
Avi Kivity80a1ea32012-02-08 16:39:06 +0200639 MemoryRegionIoeventfd *fd;
640 MemoryRegionSection section;
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300641
642 /* Generate a symmetric difference of the old and new fd sets, adding
643 * and deleting as necessary.
644 */
645
646 iold = inew = 0;
647 while (iold < fds_old_nb || inew < fds_new_nb) {
648 if (iold < fds_old_nb
649 && (inew == fds_new_nb
650 || memory_region_ioeventfd_before(fds_old[iold],
651 fds_new[inew]))) {
Avi Kivity80a1ea32012-02-08 16:39:06 +0200652 fd = &fds_old[iold];
653 section = (MemoryRegionSection) {
Avi Kivityf6790af2012-10-02 20:13:51 +0200654 .address_space = as,
Avi Kivity80a1ea32012-02-08 16:39:06 +0200655 .offset_within_address_space = int128_get64(fd->addr.start),
Paolo Bonzini052e87b2013-05-27 10:08:27 +0200656 .size = fd->addr.size,
Avi Kivity80a1ea32012-02-08 16:39:06 +0200657 };
658 MEMORY_LISTENER_CALL(eventfd_del, Forward, &section,
Paolo Bonzini753d5e12012-07-05 17:16:27 +0200659 fd->match_data, fd->data, fd->e);
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300660 ++iold;
661 } else if (inew < fds_new_nb
662 && (iold == fds_old_nb
663 || memory_region_ioeventfd_before(fds_new[inew],
664 fds_old[iold]))) {
Avi Kivity80a1ea32012-02-08 16:39:06 +0200665 fd = &fds_new[inew];
666 section = (MemoryRegionSection) {
Avi Kivityf6790af2012-10-02 20:13:51 +0200667 .address_space = as,
Avi Kivity80a1ea32012-02-08 16:39:06 +0200668 .offset_within_address_space = int128_get64(fd->addr.start),
Paolo Bonzini052e87b2013-05-27 10:08:27 +0200669 .size = fd->addr.size,
Avi Kivity80a1ea32012-02-08 16:39:06 +0200670 };
671 MEMORY_LISTENER_CALL(eventfd_add, Reverse, &section,
Paolo Bonzini753d5e12012-07-05 17:16:27 +0200672 fd->match_data, fd->data, fd->e);
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300673 ++inew;
674 } else {
675 ++iold;
676 ++inew;
677 }
678 }
679}
680
Paolo Bonzini856d7242013-05-06 11:57:21 +0200681static FlatView *address_space_get_flatview(AddressSpace *as)
682{
683 FlatView *view;
684
Paolo Bonzini374f2982013-05-17 12:37:03 +0200685 rcu_read_lock();
686 view = atomic_rcu_read(&as->current_map);
Paolo Bonzini856d7242013-05-06 11:57:21 +0200687 flatview_ref(view);
Paolo Bonzini374f2982013-05-17 12:37:03 +0200688 rcu_read_unlock();
Paolo Bonzini856d7242013-05-06 11:57:21 +0200689 return view;
690}
691
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300692static void address_space_update_ioeventfds(AddressSpace *as)
693{
Paolo Bonzini99e86342013-05-06 10:26:13 +0200694 FlatView *view;
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300695 FlatRange *fr;
696 unsigned ioeventfd_nb = 0;
697 MemoryRegionIoeventfd *ioeventfds = NULL;
698 AddrRange tmp;
699 unsigned i;
700
Paolo Bonzini856d7242013-05-06 11:57:21 +0200701 view = address_space_get_flatview(as);
Paolo Bonzini99e86342013-05-06 10:26:13 +0200702 FOR_EACH_FLAT_RANGE(fr, view) {
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300703 for (i = 0; i < fr->mr->ioeventfd_nb; ++i) {
704 tmp = addrrange_shift(fr->mr->ioeventfds[i].addr,
Avi Kivity08dafab2011-10-16 13:19:17 +0200705 int128_sub(fr->addr.start,
706 int128_make64(fr->offset_in_region)));
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300707 if (addrrange_intersects(fr->addr, tmp)) {
708 ++ioeventfd_nb;
Anthony Liguori7267c092011-08-20 22:09:37 -0500709 ioeventfds = g_realloc(ioeventfds,
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300710 ioeventfd_nb * sizeof(*ioeventfds));
711 ioeventfds[ioeventfd_nb-1] = fr->mr->ioeventfds[i];
712 ioeventfds[ioeventfd_nb-1].addr = tmp;
713 }
714 }
715 }
716
717 address_space_add_del_ioeventfds(as, ioeventfds, ioeventfd_nb,
718 as->ioeventfds, as->ioeventfd_nb);
719
Anthony Liguori7267c092011-08-20 22:09:37 -0500720 g_free(as->ioeventfds);
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300721 as->ioeventfds = ioeventfds;
722 as->ioeventfd_nb = ioeventfd_nb;
Paolo Bonzini856d7242013-05-06 11:57:21 +0200723 flatview_unref(view);
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300724}
725
Avi Kivityb8af1af2011-07-26 14:26:12 +0300726static void address_space_update_topology_pass(AddressSpace *as,
Paolo Bonzinia9a0c062013-05-06 10:29:07 +0200727 const FlatView *old_view,
728 const FlatView *new_view,
Avi Kivityb8af1af2011-07-26 14:26:12 +0300729 bool adding)
Avi Kivity093bc2c2011-07-26 14:26:01 +0300730{
Avi Kivity093bc2c2011-07-26 14:26:01 +0300731 unsigned iold, inew;
732 FlatRange *frold, *frnew;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300733
734 /* Generate a symmetric difference of the old and new memory maps.
735 * Kill ranges in the old map, and instantiate ranges in the new map.
736 */
737 iold = inew = 0;
Paolo Bonzinia9a0c062013-05-06 10:29:07 +0200738 while (iold < old_view->nr || inew < new_view->nr) {
739 if (iold < old_view->nr) {
740 frold = &old_view->ranges[iold];
Avi Kivity093bc2c2011-07-26 14:26:01 +0300741 } else {
742 frold = NULL;
743 }
Paolo Bonzinia9a0c062013-05-06 10:29:07 +0200744 if (inew < new_view->nr) {
745 frnew = &new_view->ranges[inew];
Avi Kivity093bc2c2011-07-26 14:26:01 +0300746 } else {
747 frnew = NULL;
748 }
749
750 if (frold
751 && (!frnew
Avi Kivity08dafab2011-10-16 13:19:17 +0200752 || int128_lt(frold->addr.start, frnew->addr.start)
753 || (int128_eq(frold->addr.start, frnew->addr.start)
Avi Kivity093bc2c2011-07-26 14:26:01 +0300754 && !flatrange_equal(frold, frnew)))) {
Peter Crosthwaite41a6e472013-06-03 15:32:42 +1000755 /* In old but not in new, or in both but attributes changed. */
Avi Kivity093bc2c2011-07-26 14:26:01 +0300756
Avi Kivityb8af1af2011-07-26 14:26:12 +0300757 if (!adding) {
Avi Kivity72e22d22012-02-08 15:05:50 +0200758 MEMORY_LISTENER_UPDATE_REGION(frold, as, Reverse, region_del);
Avi Kivityb8af1af2011-07-26 14:26:12 +0300759 }
760
Avi Kivity093bc2c2011-07-26 14:26:01 +0300761 ++iold;
762 } else if (frold && frnew && flatrange_equal(frold, frnew)) {
Peter Crosthwaite41a6e472013-06-03 15:32:42 +1000763 /* In both and unchanged (except logging may have changed) */
Avi Kivity093bc2c2011-07-26 14:26:01 +0300764
Avi Kivityb8af1af2011-07-26 14:26:12 +0300765 if (adding) {
Avi Kivity50c1e142012-02-08 21:36:02 +0200766 MEMORY_LISTENER_UPDATE_REGION(frnew, as, Forward, region_nop);
Paolo Bonzinib2dfd712015-04-25 14:38:30 +0200767 if (frnew->dirty_log_mask & ~frold->dirty_log_mask) {
768 MEMORY_LISTENER_UPDATE_REGION(frnew, as, Forward, log_start,
769 frold->dirty_log_mask,
770 frnew->dirty_log_mask);
771 }
772 if (frold->dirty_log_mask & ~frnew->dirty_log_mask) {
773 MEMORY_LISTENER_UPDATE_REGION(frnew, as, Reverse, log_stop,
774 frold->dirty_log_mask,
775 frnew->dirty_log_mask);
Avi Kivityb8af1af2011-07-26 14:26:12 +0300776 }
Avi Kivity5a583342011-07-26 14:26:02 +0300777 }
778
Avi Kivity093bc2c2011-07-26 14:26:01 +0300779 ++iold;
780 ++inew;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300781 } else {
782 /* In new */
783
Avi Kivityb8af1af2011-07-26 14:26:12 +0300784 if (adding) {
Avi Kivity72e22d22012-02-08 15:05:50 +0200785 MEMORY_LISTENER_UPDATE_REGION(frnew, as, Forward, region_add);
Avi Kivityb8af1af2011-07-26 14:26:12 +0300786 }
787
Avi Kivity093bc2c2011-07-26 14:26:01 +0300788 ++inew;
789 }
790 }
Avi Kivityb8af1af2011-07-26 14:26:12 +0300791}
792
793
794static void address_space_update_topology(AddressSpace *as)
795{
Paolo Bonzini856d7242013-05-06 11:57:21 +0200796 FlatView *old_view = address_space_get_flatview(as);
Paolo Bonzinia9a0c062013-05-06 10:29:07 +0200797 FlatView *new_view = generate_memory_topology(as->root);
Avi Kivityb8af1af2011-07-26 14:26:12 +0300798
799 address_space_update_topology_pass(as, old_view, new_view, false);
800 address_space_update_topology_pass(as, old_view, new_view, true);
801
Paolo Bonzini374f2982013-05-17 12:37:03 +0200802 /* Writes are protected by the BQL. */
803 atomic_rcu_set(&as->current_map, new_view);
804 call_rcu(old_view, flatview_unref, rcu);
Paolo Bonzini856d7242013-05-06 11:57:21 +0200805
806 /* Note that all the old MemoryRegions are still alive up to this
807 * point. This relieves most MemoryListeners from the need to
808 * ref/unref the MemoryRegions they get---unless they use them
809 * outside the iothread mutex, in which case precise reference
810 * counting is necessary.
811 */
812 flatview_unref(old_view);
813
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300814 address_space_update_ioeventfds(as);
Avi Kivity093bc2c2011-07-26 14:26:01 +0300815}
816
Avi Kivity4ef4db82011-07-26 14:26:13 +0300817void memory_region_transaction_begin(void)
818{
Jan Kiszkabb880de2012-08-23 13:02:32 +0200819 qemu_flush_coalesced_mmio_buffer();
Avi Kivity4ef4db82011-07-26 14:26:13 +0300820 ++memory_region_transaction_depth;
821}
822
Gonglei4dc56152014-05-08 11:47:32 +0800823static void memory_region_clear_pending(void)
824{
825 memory_region_update_pending = false;
826 ioeventfd_update_pending = false;
827}
828
Avi Kivity4ef4db82011-07-26 14:26:13 +0300829void memory_region_transaction_commit(void)
830{
Avi Kivity0d673e32012-10-02 15:28:50 +0200831 AddressSpace *as;
832
Avi Kivity4ef4db82011-07-26 14:26:13 +0300833 assert(memory_region_transaction_depth);
834 --memory_region_transaction_depth;
Gonglei4dc56152014-05-08 11:47:32 +0800835 if (!memory_region_transaction_depth) {
836 if (memory_region_update_pending) {
837 MEMORY_LISTENER_CALL_GLOBAL(begin, Forward);
Jan Kiszka02e2b952012-08-23 13:02:31 +0200838
Gonglei4dc56152014-05-08 11:47:32 +0800839 QTAILQ_FOREACH(as, &address_spaces, address_spaces_link) {
840 address_space_update_topology(as);
841 }
842
843 MEMORY_LISTENER_CALL_GLOBAL(commit, Forward);
844 } else if (ioeventfd_update_pending) {
845 QTAILQ_FOREACH(as, &address_spaces, address_spaces_link) {
846 address_space_update_ioeventfds(as);
847 }
Jan Kiszka02e2b952012-08-23 13:02:31 +0200848 }
Gonglei4dc56152014-05-08 11:47:32 +0800849 memory_region_clear_pending();
850 }
Avi Kivity4ef4db82011-07-26 14:26:13 +0300851}
852
Avi Kivity545e92e2011-08-08 19:58:48 +0300853static void memory_region_destructor_none(MemoryRegion *mr)
854{
855}
856
857static void memory_region_destructor_ram(MemoryRegion *mr)
858{
859 qemu_ram_free(mr->ram_addr);
860}
861
862static void memory_region_destructor_ram_from_ptr(MemoryRegion *mr)
863{
864 qemu_ram_free_from_ptr(mr->ram_addr);
865}
866
Avi Kivityd0a9b5b2011-08-08 19:58:49 +0300867static void memory_region_destructor_rom_device(MemoryRegion *mr)
868{
869 qemu_ram_free(mr->ram_addr & TARGET_PAGE_MASK);
Avi Kivityd0a9b5b2011-08-08 19:58:49 +0300870}
871
Peter Crosthwaiteb4fefef2014-06-05 23:15:52 -0700872static bool memory_region_need_escape(char c)
873{
874 return c == '/' || c == '[' || c == '\\' || c == ']';
875}
876
877static char *memory_region_escape_name(const char *name)
878{
879 const char *p;
880 char *escaped, *q;
881 uint8_t c;
882 size_t bytes = 0;
883
884 for (p = name; *p; p++) {
885 bytes += memory_region_need_escape(*p) ? 4 : 1;
886 }
887 if (bytes == p - name) {
888 return g_memdup(name, bytes + 1);
889 }
890
891 escaped = g_malloc(bytes + 1);
892 for (p = name, q = escaped; *p; p++) {
893 c = *p;
894 if (unlikely(memory_region_need_escape(c))) {
895 *q++ = '\\';
896 *q++ = 'x';
897 *q++ = "0123456789abcdef"[c >> 4];
898 c = "0123456789abcdef"[c & 15];
899 }
900 *q++ = c;
901 }
902 *q = 0;
903 return escaped;
904}
905
Avi Kivity093bc2c2011-07-26 14:26:01 +0300906void memory_region_init(MemoryRegion *mr,
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -0400907 Object *owner,
Avi Kivity093bc2c2011-07-26 14:26:01 +0300908 const char *name,
909 uint64_t size)
910{
Paolo Bonzini22a893e2014-06-11 10:58:06 +0200911 if (!owner) {
Andreas Färber210eb932015-03-12 15:37:07 +0100912 owner = container_get(qdev_get_machine(), "/unattached");
Paolo Bonzini22a893e2014-06-11 10:58:06 +0200913 }
Peter Crosthwaiteb4fefef2014-06-05 23:15:52 -0700914
Paolo Bonzini22a893e2014-06-11 10:58:06 +0200915 object_initialize(mr, sizeof(*mr), TYPE_MEMORY_REGION);
Avi Kivity08dafab2011-10-16 13:19:17 +0200916 mr->size = int128_make64(size);
917 if (size == UINT64_MAX) {
918 mr->size = int128_2_64();
919 }
Peter Maydell302fa282014-08-19 20:05:46 +0100920 mr->name = g_strdup(name);
Peter Crosthwaiteb4fefef2014-06-05 23:15:52 -0700921
922 if (name) {
Peter Crosthwaite843ef732014-08-19 23:56:26 -0700923 char *escaped_name = memory_region_escape_name(name);
924 char *name_array = g_strdup_printf("%s[*]", escaped_name);
925 object_property_add_child(owner, name_array, OBJECT(mr), &error_abort);
Peter Crosthwaiteb4fefef2014-06-05 23:15:52 -0700926 object_unref(OBJECT(mr));
Peter Crosthwaite843ef732014-08-19 23:56:26 -0700927 g_free(name_array);
928 g_free(escaped_name);
Peter Crosthwaiteb4fefef2014-06-05 23:15:52 -0700929 }
930}
931
Peter Crosthwaite409ddd02014-06-05 23:16:27 -0700932static void memory_region_get_addr(Object *obj, Visitor *v, void *opaque,
933 const char *name, Error **errp)
934{
935 MemoryRegion *mr = MEMORY_REGION(obj);
936 uint64_t value = mr->addr;
937
938 visit_type_uint64(v, &value, name, errp);
939}
940
941static void memory_region_get_container(Object *obj, Visitor *v, void *opaque,
942 const char *name, Error **errp)
943{
944 MemoryRegion *mr = MEMORY_REGION(obj);
945 gchar *path = (gchar *)"";
946
947 if (mr->container) {
948 path = object_get_canonical_path(OBJECT(mr->container));
949 }
950 visit_type_str(v, &path, name, errp);
951 if (mr->container) {
952 g_free(path);
953 }
954}
955
956static Object *memory_region_resolve_container(Object *obj, void *opaque,
957 const char *part)
958{
959 MemoryRegion *mr = MEMORY_REGION(obj);
960
961 return OBJECT(mr->container);
962}
963
Peter Crosthwaited33382d2014-06-05 23:17:01 -0700964static void memory_region_get_priority(Object *obj, Visitor *v, void *opaque,
965 const char *name, Error **errp)
966{
967 MemoryRegion *mr = MEMORY_REGION(obj);
968 int32_t value = mr->priority;
969
970 visit_type_int32(v, &value, name, errp);
971}
972
973static bool memory_region_get_may_overlap(Object *obj, Error **errp)
974{
975 MemoryRegion *mr = MEMORY_REGION(obj);
976
977 return mr->may_overlap;
978}
979
Peter Crosthwaite52aef7b2014-06-05 23:17:35 -0700980static void memory_region_get_size(Object *obj, Visitor *v, void *opaque,
981 const char *name, Error **errp)
982{
983 MemoryRegion *mr = MEMORY_REGION(obj);
984 uint64_t value = memory_region_size(mr);
985
986 visit_type_uint64(v, &value, name, errp);
987}
988
Peter Crosthwaiteb4fefef2014-06-05 23:15:52 -0700989static void memory_region_initfn(Object *obj)
990{
991 MemoryRegion *mr = MEMORY_REGION(obj);
Peter Crosthwaite409ddd02014-06-05 23:16:27 -0700992 ObjectProperty *op;
Peter Crosthwaiteb4fefef2014-06-05 23:15:52 -0700993
994 mr->ops = &unassigned_mem_ops;
Paolo Bonziniec05ec22015-03-29 09:31:43 +0200995 mr->ram_addr = RAM_ADDR_INVALID;
Peter Crosthwaiteb4fefef2014-06-05 23:15:52 -0700996 mr->enabled = true;
997 mr->romd_mode = true;
Jan Kiszka196ea132015-06-18 18:47:20 +0200998 mr->global_locking = true;
Peter Crosthwaiteb4fefef2014-06-05 23:15:52 -0700999 mr->destructor = memory_region_destructor_none;
1000 QTAILQ_INIT(&mr->subregions);
1001 QTAILQ_INIT(&mr->coalesced);
Peter Crosthwaite409ddd02014-06-05 23:16:27 -07001002
1003 op = object_property_add(OBJECT(mr), "container",
1004 "link<" TYPE_MEMORY_REGION ">",
1005 memory_region_get_container,
1006 NULL, /* memory_region_set_container */
1007 NULL, NULL, &error_abort);
1008 op->resolve = memory_region_resolve_container;
1009
1010 object_property_add(OBJECT(mr), "addr", "uint64",
1011 memory_region_get_addr,
1012 NULL, /* memory_region_set_addr */
1013 NULL, NULL, &error_abort);
Peter Crosthwaited33382d2014-06-05 23:17:01 -07001014 object_property_add(OBJECT(mr), "priority", "uint32",
1015 memory_region_get_priority,
1016 NULL, /* memory_region_set_priority */
1017 NULL, NULL, &error_abort);
1018 object_property_add_bool(OBJECT(mr), "may-overlap",
1019 memory_region_get_may_overlap,
1020 NULL, /* memory_region_set_may_overlap */
1021 &error_abort);
Peter Crosthwaite52aef7b2014-06-05 23:17:35 -07001022 object_property_add(OBJECT(mr), "size", "uint64",
1023 memory_region_get_size,
1024 NULL, /* memory_region_set_size, */
1025 NULL, NULL, &error_abort);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001026}
1027
Paolo Bonzinib018ddf2013-05-24 14:48:38 +02001028static uint64_t unassigned_mem_read(void *opaque, hwaddr addr,
1029 unsigned size)
1030{
1031#ifdef DEBUG_UNASSIGNED
1032 printf("Unassigned mem read " TARGET_FMT_plx "\n", addr);
1033#endif
Andreas Färber4917cf42013-05-27 05:17:50 +02001034 if (current_cpu != NULL) {
1035 cpu_unassigned_access(current_cpu, addr, false, false, 0, size);
Andreas Färberc658b942013-05-27 06:49:53 +02001036 }
Jan Kiszka68a74392013-09-02 18:43:31 +02001037 return 0;
Paolo Bonzinib018ddf2013-05-24 14:48:38 +02001038}
1039
1040static void unassigned_mem_write(void *opaque, hwaddr addr,
1041 uint64_t val, unsigned size)
1042{
1043#ifdef DEBUG_UNASSIGNED
1044 printf("Unassigned mem write " TARGET_FMT_plx " = 0x%"PRIx64"\n", addr, val);
1045#endif
Andreas Färber4917cf42013-05-27 05:17:50 +02001046 if (current_cpu != NULL) {
1047 cpu_unassigned_access(current_cpu, addr, true, false, 0, size);
Andreas Färberc658b942013-05-27 06:49:53 +02001048 }
Paolo Bonzinib018ddf2013-05-24 14:48:38 +02001049}
1050
Paolo Bonzinid1970632013-05-24 13:23:38 +02001051static bool unassigned_mem_accepts(void *opaque, hwaddr addr,
1052 unsigned size, bool is_write)
1053{
1054 return false;
1055}
1056
1057const MemoryRegionOps unassigned_mem_ops = {
1058 .valid.accepts = unassigned_mem_accepts,
1059 .endianness = DEVICE_NATIVE_ENDIAN,
1060};
1061
Paolo Bonzinid2702032013-05-24 11:55:06 +02001062bool memory_region_access_valid(MemoryRegion *mr,
1063 hwaddr addr,
1064 unsigned size,
1065 bool is_write)
Avi Kivity093bc2c2011-07-26 14:26:01 +03001066{
Paolo Bonzinia014ed02013-05-24 17:48:52 +02001067 int access_size_min, access_size_max;
1068 int access_size, i;
Avi Kivity897fa7c2011-11-13 13:05:27 +02001069
Avi Kivity093bc2c2011-07-26 14:26:01 +03001070 if (!mr->ops->valid.unaligned && (addr & (size - 1))) {
1071 return false;
1072 }
1073
Paolo Bonzinia014ed02013-05-24 17:48:52 +02001074 if (!mr->ops->valid.accepts) {
Avi Kivity093bc2c2011-07-26 14:26:01 +03001075 return true;
1076 }
1077
Paolo Bonzinia014ed02013-05-24 17:48:52 +02001078 access_size_min = mr->ops->valid.min_access_size;
1079 if (!mr->ops->valid.min_access_size) {
1080 access_size_min = 1;
Avi Kivity093bc2c2011-07-26 14:26:01 +03001081 }
Paolo Bonzinia014ed02013-05-24 17:48:52 +02001082
1083 access_size_max = mr->ops->valid.max_access_size;
1084 if (!mr->ops->valid.max_access_size) {
1085 access_size_max = 4;
1086 }
1087
1088 access_size = MAX(MIN(size, access_size_max), access_size_min);
1089 for (i = 0; i < size; i += access_size) {
1090 if (!mr->ops->valid.accepts(mr->opaque, addr + i, access_size,
1091 is_write)) {
1092 return false;
1093 }
1094 }
1095
Avi Kivity093bc2c2011-07-26 14:26:01 +03001096 return true;
1097}
1098
Peter Maydellcc05c432015-04-26 16:49:23 +01001099static MemTxResult memory_region_dispatch_read1(MemoryRegion *mr,
1100 hwaddr addr,
1101 uint64_t *pval,
1102 unsigned size,
1103 MemTxAttrs attrs)
Avi Kivity093bc2c2011-07-26 14:26:01 +03001104{
Peter Maydellcc05c432015-04-26 16:49:23 +01001105 *pval = 0;
Avi Kivity093bc2c2011-07-26 14:26:01 +03001106
Paolo Bonzinice5d2f32013-05-24 17:45:48 +02001107 if (mr->ops->read) {
Peter Maydellcc05c432015-04-26 16:49:23 +01001108 return access_with_adjusted_size(addr, pval, size,
1109 mr->ops->impl.min_access_size,
1110 mr->ops->impl.max_access_size,
1111 memory_region_read_accessor,
1112 mr, attrs);
1113 } else if (mr->ops->read_with_attrs) {
1114 return access_with_adjusted_size(addr, pval, size,
1115 mr->ops->impl.min_access_size,
1116 mr->ops->impl.max_access_size,
1117 memory_region_read_with_attrs_accessor,
1118 mr, attrs);
Paolo Bonzinice5d2f32013-05-24 17:45:48 +02001119 } else {
Peter Maydellcc05c432015-04-26 16:49:23 +01001120 return access_with_adjusted_size(addr, pval, size, 1, 4,
1121 memory_region_oldmmio_read_accessor,
1122 mr, attrs);
Avi Kivity74901c32011-07-26 14:26:10 +03001123 }
Avi Kivity093bc2c2011-07-26 14:26:01 +03001124}
1125
Peter Maydell3b643492015-04-26 16:49:23 +01001126MemTxResult memory_region_dispatch_read(MemoryRegion *mr,
1127 hwaddr addr,
1128 uint64_t *pval,
1129 unsigned size,
1130 MemTxAttrs attrs)
Avi Kivitya621f382012-01-02 13:12:08 +02001131{
Peter Maydellcc05c432015-04-26 16:49:23 +01001132 MemTxResult r;
1133
Paolo Bonzini791af8c2013-05-24 16:10:39 +02001134 if (!memory_region_access_valid(mr, addr, size, false)) {
1135 *pval = unassigned_mem_read(mr, addr, size);
Peter Maydellcc05c432015-04-26 16:49:23 +01001136 return MEMTX_DECODE_ERROR;
Paolo Bonzini791af8c2013-05-24 16:10:39 +02001137 }
Avi Kivitya621f382012-01-02 13:12:08 +02001138
Peter Maydellcc05c432015-04-26 16:49:23 +01001139 r = memory_region_dispatch_read1(mr, addr, pval, size, attrs);
Paolo Bonzini791af8c2013-05-24 16:10:39 +02001140 adjust_endianness(mr, pval, size);
Peter Maydellcc05c432015-04-26 16:49:23 +01001141 return r;
Avi Kivitya621f382012-01-02 13:12:08 +02001142}
1143
Peter Maydell3b643492015-04-26 16:49:23 +01001144MemTxResult memory_region_dispatch_write(MemoryRegion *mr,
1145 hwaddr addr,
1146 uint64_t data,
1147 unsigned size,
1148 MemTxAttrs attrs)
Avi Kivitya621f382012-01-02 13:12:08 +02001149{
Avi Kivity897fa7c2011-11-13 13:05:27 +02001150 if (!memory_region_access_valid(mr, addr, size, true)) {
Paolo Bonzinib018ddf2013-05-24 14:48:38 +02001151 unassigned_mem_write(mr, addr, data, size);
Peter Maydellcc05c432015-04-26 16:49:23 +01001152 return MEMTX_DECODE_ERROR;
Avi Kivity093bc2c2011-07-26 14:26:01 +03001153 }
1154
Avi Kivitya621f382012-01-02 13:12:08 +02001155 adjust_endianness(mr, &data, size);
1156
Paolo Bonzinice5d2f32013-05-24 17:45:48 +02001157 if (mr->ops->write) {
Peter Maydellcc05c432015-04-26 16:49:23 +01001158 return access_with_adjusted_size(addr, &data, size,
1159 mr->ops->impl.min_access_size,
1160 mr->ops->impl.max_access_size,
1161 memory_region_write_accessor, mr,
1162 attrs);
1163 } else if (mr->ops->write_with_attrs) {
1164 return
1165 access_with_adjusted_size(addr, &data, size,
1166 mr->ops->impl.min_access_size,
1167 mr->ops->impl.max_access_size,
1168 memory_region_write_with_attrs_accessor,
1169 mr, attrs);
Paolo Bonzinice5d2f32013-05-24 17:45:48 +02001170 } else {
Peter Maydellcc05c432015-04-26 16:49:23 +01001171 return access_with_adjusted_size(addr, &data, size, 1, 4,
1172 memory_region_oldmmio_write_accessor,
1173 mr, attrs);
Avi Kivity74901c32011-07-26 14:26:10 +03001174 }
Avi Kivity093bc2c2011-07-26 14:26:01 +03001175}
1176
Avi Kivity093bc2c2011-07-26 14:26:01 +03001177void memory_region_init_io(MemoryRegion *mr,
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -04001178 Object *owner,
Avi Kivity093bc2c2011-07-26 14:26:01 +03001179 const MemoryRegionOps *ops,
1180 void *opaque,
1181 const char *name,
1182 uint64_t size)
1183{
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -04001184 memory_region_init(mr, owner, name, size);
Pavel Fedin6d6d2ab2015-08-13 11:26:21 +01001185 mr->ops = ops ? ops : &unassigned_mem_ops;
Avi Kivity093bc2c2011-07-26 14:26:01 +03001186 mr->opaque = opaque;
Avi Kivity14a3c102011-07-26 14:26:06 +03001187 mr->terminates = true;
Avi Kivity093bc2c2011-07-26 14:26:01 +03001188}
1189
1190void memory_region_init_ram(MemoryRegion *mr,
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -04001191 Object *owner,
Avi Kivity093bc2c2011-07-26 14:26:01 +03001192 const char *name,
Hu Tao49946532014-09-09 13:27:55 +08001193 uint64_t size,
1194 Error **errp)
Avi Kivity093bc2c2011-07-26 14:26:01 +03001195{
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -04001196 memory_region_init(mr, owner, name, size);
Avi Kivity8ea92522011-12-08 15:58:43 +02001197 mr->ram = true;
Avi Kivity14a3c102011-07-26 14:26:06 +03001198 mr->terminates = true;
Avi Kivity545e92e2011-08-08 19:58:48 +03001199 mr->destructor = memory_region_destructor_ram;
Hu Tao49946532014-09-09 13:27:55 +08001200 mr->ram_addr = qemu_ram_alloc(size, mr, errp);
Paolo Bonzini677e7802015-03-23 10:53:21 +01001201 mr->dirty_log_mask = tcg_enabled() ? (1 << DIRTY_MEMORY_CODE) : 0;
Avi Kivity093bc2c2011-07-26 14:26:01 +03001202}
1203
Michael S. Tsirkin60786ef2014-11-17 00:24:36 +02001204void memory_region_init_resizeable_ram(MemoryRegion *mr,
1205 Object *owner,
1206 const char *name,
1207 uint64_t size,
1208 uint64_t max_size,
1209 void (*resized)(const char*,
1210 uint64_t length,
1211 void *host),
1212 Error **errp)
1213{
1214 memory_region_init(mr, owner, name, size);
1215 mr->ram = true;
1216 mr->terminates = true;
1217 mr->destructor = memory_region_destructor_ram;
1218 mr->ram_addr = qemu_ram_alloc_resizeable(size, max_size, resized, mr, errp);
Paolo Bonzini677e7802015-03-23 10:53:21 +01001219 mr->dirty_log_mask = tcg_enabled() ? (1 << DIRTY_MEMORY_CODE) : 0;
Michael S. Tsirkin60786ef2014-11-17 00:24:36 +02001220}
1221
Paolo Bonzini0b183fc2014-05-14 17:43:19 +08001222#ifdef __linux__
1223void memory_region_init_ram_from_file(MemoryRegion *mr,
1224 struct Object *owner,
1225 const char *name,
1226 uint64_t size,
Paolo Bonzinidbcb8982014-06-10 19:15:24 +08001227 bool share,
Paolo Bonzini7f56e742014-05-14 17:43:20 +08001228 const char *path,
1229 Error **errp)
Paolo Bonzini0b183fc2014-05-14 17:43:19 +08001230{
1231 memory_region_init(mr, owner, name, size);
1232 mr->ram = true;
1233 mr->terminates = true;
1234 mr->destructor = memory_region_destructor_ram;
Paolo Bonzinidbcb8982014-06-10 19:15:24 +08001235 mr->ram_addr = qemu_ram_alloc_from_file(size, mr, share, path, errp);
Paolo Bonzini677e7802015-03-23 10:53:21 +01001236 mr->dirty_log_mask = tcg_enabled() ? (1 << DIRTY_MEMORY_CODE) : 0;
Paolo Bonzini0b183fc2014-05-14 17:43:19 +08001237}
1238#endif
1239
Avi Kivity093bc2c2011-07-26 14:26:01 +03001240void memory_region_init_ram_ptr(MemoryRegion *mr,
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -04001241 Object *owner,
Avi Kivity093bc2c2011-07-26 14:26:01 +03001242 const char *name,
1243 uint64_t size,
1244 void *ptr)
1245{
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -04001246 memory_region_init(mr, owner, name, size);
Avi Kivity8ea92522011-12-08 15:58:43 +02001247 mr->ram = true;
Avi Kivity14a3c102011-07-26 14:26:06 +03001248 mr->terminates = true;
Avi Kivity545e92e2011-08-08 19:58:48 +03001249 mr->destructor = memory_region_destructor_ram_from_ptr;
Paolo Bonzini677e7802015-03-23 10:53:21 +01001250 mr->dirty_log_mask = tcg_enabled() ? (1 << DIRTY_MEMORY_CODE) : 0;
Hu Taoef701d72014-09-09 13:27:54 +08001251
1252 /* qemu_ram_alloc_from_ptr cannot fail with ptr != NULL. */
1253 assert(ptr != NULL);
1254 mr->ram_addr = qemu_ram_alloc_from_ptr(size, ptr, mr, &error_abort);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001255}
1256
Nikunj A Dadhaniae4dc3f52014-09-15 09:28:23 +05301257void memory_region_set_skip_dump(MemoryRegion *mr)
1258{
1259 mr->skip_dump = true;
1260}
1261
Avi Kivity093bc2c2011-07-26 14:26:01 +03001262void memory_region_init_alias(MemoryRegion *mr,
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -04001263 Object *owner,
Avi Kivity093bc2c2011-07-26 14:26:01 +03001264 const char *name,
1265 MemoryRegion *orig,
Avi Kivitya8170e52012-10-23 12:30:10 +02001266 hwaddr offset,
Avi Kivity093bc2c2011-07-26 14:26:01 +03001267 uint64_t size)
1268{
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -04001269 memory_region_init(mr, owner, name, size);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001270 mr->alias = orig;
1271 mr->alias_offset = offset;
1272}
1273
Avi Kivityd0a9b5b2011-08-08 19:58:49 +03001274void memory_region_init_rom_device(MemoryRegion *mr,
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -04001275 Object *owner,
Avi Kivityd0a9b5b2011-08-08 19:58:49 +03001276 const MemoryRegionOps *ops,
Avi Kivity75f59412011-08-26 00:35:15 +03001277 void *opaque,
Avi Kivityd0a9b5b2011-08-08 19:58:49 +03001278 const char *name,
Hu Tao33e0eb52014-09-09 13:27:57 +08001279 uint64_t size,
1280 Error **errp)
Avi Kivityd0a9b5b2011-08-08 19:58:49 +03001281{
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -04001282 memory_region_init(mr, owner, name, size);
Avi Kivity7bc2b9c2011-08-25 14:56:14 +03001283 mr->ops = ops;
Avi Kivity75f59412011-08-26 00:35:15 +03001284 mr->opaque = opaque;
Avi Kivityd0a9b5b2011-08-08 19:58:49 +03001285 mr->terminates = true;
Avi Kivity75c578d2012-01-02 15:40:52 +02001286 mr->rom_device = true;
Avi Kivityd0a9b5b2011-08-08 19:58:49 +03001287 mr->destructor = memory_region_destructor_rom_device;
Hu Tao33e0eb52014-09-09 13:27:57 +08001288 mr->ram_addr = qemu_ram_alloc(size, mr, errp);
Avi Kivityd0a9b5b2011-08-08 19:58:49 +03001289}
1290
Avi Kivity30951152012-10-30 13:47:46 +02001291void memory_region_init_iommu(MemoryRegion *mr,
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -04001292 Object *owner,
Avi Kivity30951152012-10-30 13:47:46 +02001293 const MemoryRegionIOMMUOps *ops,
1294 const char *name,
1295 uint64_t size)
1296{
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -04001297 memory_region_init(mr, owner, name, size);
Avi Kivity30951152012-10-30 13:47:46 +02001298 mr->iommu_ops = ops,
1299 mr->terminates = true; /* then re-forwards */
David Gibson06866572013-05-14 19:13:56 +10001300 notifier_list_init(&mr->iommu_notify);
Avi Kivity30951152012-10-30 13:47:46 +02001301}
1302
Peter Crosthwaiteb4fefef2014-06-05 23:15:52 -07001303static void memory_region_finalize(Object *obj)
Avi Kivity093bc2c2011-07-26 14:26:01 +03001304{
Peter Crosthwaiteb4fefef2014-06-05 23:15:52 -07001305 MemoryRegion *mr = MEMORY_REGION(obj);
1306
Avi Kivity093bc2c2011-07-26 14:26:01 +03001307 assert(QTAILQ_EMPTY(&mr->subregions));
Avi Kivity545e92e2011-08-08 19:58:48 +03001308 mr->destructor(mr);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001309 memory_region_clear_coalescing(mr);
Peter Maydell302fa282014-08-19 20:05:46 +01001310 g_free((char *)mr->name);
Anthony Liguori7267c092011-08-20 22:09:37 -05001311 g_free(mr->ioeventfds);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001312}
1313
Paolo Bonzini803c0812013-05-07 06:59:09 +02001314Object *memory_region_owner(MemoryRegion *mr)
1315{
Paolo Bonzini22a893e2014-06-11 10:58:06 +02001316 Object *obj = OBJECT(mr);
1317 return obj->parent;
Paolo Bonzini803c0812013-05-07 06:59:09 +02001318}
1319
Paolo Bonzini46637be2013-05-07 09:06:00 +02001320void memory_region_ref(MemoryRegion *mr)
1321{
Paolo Bonzini22a893e2014-06-11 10:58:06 +02001322 /* MMIO callbacks most likely will access data that belongs
1323 * to the owner, hence the need to ref/unref the owner whenever
1324 * the memory region is in use.
1325 *
1326 * The memory region is a child of its owner. As long as the
1327 * owner doesn't call unparent itself on the memory region,
1328 * ref-ing the owner will also keep the memory region alive.
1329 * Memory regions without an owner are supposed to never go away,
1330 * but we still ref/unref them for debugging purposes.
1331 */
1332 Object *obj = OBJECT(mr);
1333 if (obj && obj->parent) {
1334 object_ref(obj->parent);
Peter Crosthwaiteb4fefef2014-06-05 23:15:52 -07001335 } else {
Paolo Bonzini22a893e2014-06-11 10:58:06 +02001336 object_ref(obj);
Paolo Bonzini46637be2013-05-07 09:06:00 +02001337 }
1338}
1339
1340void memory_region_unref(MemoryRegion *mr)
1341{
Paolo Bonzini22a893e2014-06-11 10:58:06 +02001342 Object *obj = OBJECT(mr);
1343 if (obj && obj->parent) {
1344 object_unref(obj->parent);
Peter Crosthwaiteb4fefef2014-06-05 23:15:52 -07001345 } else {
Paolo Bonzini22a893e2014-06-11 10:58:06 +02001346 object_unref(obj);
Paolo Bonzini46637be2013-05-07 09:06:00 +02001347 }
1348}
1349
Avi Kivity093bc2c2011-07-26 14:26:01 +03001350uint64_t memory_region_size(MemoryRegion *mr)
1351{
Avi Kivity08dafab2011-10-16 13:19:17 +02001352 if (int128_eq(mr->size, int128_2_64())) {
1353 return UINT64_MAX;
1354 }
1355 return int128_get64(mr->size);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001356}
1357
Peter Crosthwaite5d546d42014-08-14 23:55:03 -07001358const char *memory_region_name(const MemoryRegion *mr)
Avi Kivity8991c792011-12-20 15:53:11 +02001359{
Peter Crosthwaited1dd32a2014-08-25 20:10:24 -07001360 if (!mr->name) {
1361 ((MemoryRegion *)mr)->name =
1362 object_get_canonical_path_component(OBJECT(mr));
1363 }
Peter Maydell302fa282014-08-19 20:05:46 +01001364 return mr->name;
Avi Kivity8991c792011-12-20 15:53:11 +02001365}
1366
Avi Kivity8ea92522011-12-08 15:58:43 +02001367bool memory_region_is_ram(MemoryRegion *mr)
1368{
1369 return mr->ram;
1370}
1371
Nikunj A Dadhaniae4dc3f52014-09-15 09:28:23 +05301372bool memory_region_is_skip_dump(MemoryRegion *mr)
1373{
1374 return mr->skip_dump;
1375}
1376
Paolo Bonzini2d1a35b2015-03-23 10:50:57 +01001377uint8_t memory_region_get_dirty_log_mask(MemoryRegion *mr)
Avi Kivity55043ba2011-12-15 17:20:34 +02001378{
Paolo Bonzini6f6a5ef2015-03-23 10:57:21 +01001379 uint8_t mask = mr->dirty_log_mask;
1380 if (global_dirty_log) {
1381 mask |= (1 << DIRTY_MEMORY_MIGRATION);
1382 }
1383 return mask;
Avi Kivity55043ba2011-12-15 17:20:34 +02001384}
1385
Paolo Bonzini2d1a35b2015-03-23 10:50:57 +01001386bool memory_region_is_logging(MemoryRegion *mr, uint8_t client)
1387{
1388 return memory_region_get_dirty_log_mask(mr) & (1 << client);
1389}
1390
Avi Kivityce7923d2011-12-08 16:05:11 +02001391bool memory_region_is_rom(MemoryRegion *mr)
1392{
1393 return mr->ram && mr->readonly;
1394}
1395
Avi Kivity30951152012-10-30 13:47:46 +02001396bool memory_region_is_iommu(MemoryRegion *mr)
1397{
1398 return mr->iommu_ops;
1399}
1400
David Gibson06866572013-05-14 19:13:56 +10001401void memory_region_register_iommu_notifier(MemoryRegion *mr, Notifier *n)
1402{
1403 notifier_list_add(&mr->iommu_notify, n);
1404}
1405
1406void memory_region_unregister_iommu_notifier(Notifier *n)
1407{
1408 notifier_remove(n);
1409}
1410
1411void memory_region_notify_iommu(MemoryRegion *mr,
1412 IOMMUTLBEntry entry)
1413{
1414 assert(memory_region_is_iommu(mr));
1415 notifier_list_notify(&mr->iommu_notify, &entry);
1416}
1417
Avi Kivity093bc2c2011-07-26 14:26:01 +03001418void memory_region_set_log(MemoryRegion *mr, bool log, unsigned client)
1419{
Avi Kivity5a583342011-07-26 14:26:02 +03001420 uint8_t mask = 1 << client;
Paolo Bonzinideb809e2015-07-14 13:56:53 +02001421 uint8_t old_logging;
Avi Kivity5a583342011-07-26 14:26:02 +03001422
Paolo Bonzinidbddac62015-03-23 10:31:53 +01001423 assert(client == DIRTY_MEMORY_VGA);
Paolo Bonzinideb809e2015-07-14 13:56:53 +02001424 old_logging = mr->vga_logging_count;
1425 mr->vga_logging_count += log ? 1 : -1;
1426 if (!!old_logging == !!mr->vga_logging_count) {
1427 return;
1428 }
1429
Jan Kiszka59023ef2012-08-23 13:02:30 +02001430 memory_region_transaction_begin();
Avi Kivity5a583342011-07-26 14:26:02 +03001431 mr->dirty_log_mask = (mr->dirty_log_mask & ~mask) | (log * mask);
Jan Kiszka22bde712012-11-05 16:45:56 +01001432 memory_region_update_pending |= mr->enabled;
Jan Kiszka59023ef2012-08-23 13:02:30 +02001433 memory_region_transaction_commit();
Avi Kivity093bc2c2011-07-26 14:26:01 +03001434}
1435
Avi Kivitya8170e52012-10-23 12:30:10 +02001436bool memory_region_get_dirty(MemoryRegion *mr, hwaddr addr,
1437 hwaddr size, unsigned client)
Avi Kivity093bc2c2011-07-26 14:26:01 +03001438{
Paolo Bonziniec05ec22015-03-29 09:31:43 +02001439 assert(mr->ram_addr != RAM_ADDR_INVALID);
Juan Quintela52159192013-10-08 12:44:04 +02001440 return cpu_physical_memory_get_dirty(mr->ram_addr + addr, size, client);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001441}
1442
Avi Kivitya8170e52012-10-23 12:30:10 +02001443void memory_region_set_dirty(MemoryRegion *mr, hwaddr addr,
1444 hwaddr size)
Avi Kivity093bc2c2011-07-26 14:26:01 +03001445{
Paolo Bonziniec05ec22015-03-29 09:31:43 +02001446 assert(mr->ram_addr != RAM_ADDR_INVALID);
Paolo Bonzini58d27072015-03-23 11:56:01 +01001447 cpu_physical_memory_set_dirty_range(mr->ram_addr + addr, size,
1448 memory_region_get_dirty_log_mask(mr));
Avi Kivity093bc2c2011-07-26 14:26:01 +03001449}
1450
Juan Quintela6c279db2012-10-17 20:24:28 +02001451bool memory_region_test_and_clear_dirty(MemoryRegion *mr, hwaddr addr,
1452 hwaddr size, unsigned client)
1453{
Paolo Bonziniec05ec22015-03-29 09:31:43 +02001454 assert(mr->ram_addr != RAM_ADDR_INVALID);
Stefan Hajnoczi03eebc92014-12-02 11:23:18 +00001455 return cpu_physical_memory_test_and_clear_dirty(mr->ram_addr + addr,
1456 size, client);
Juan Quintela6c279db2012-10-17 20:24:28 +02001457}
1458
1459
Avi Kivity093bc2c2011-07-26 14:26:01 +03001460void memory_region_sync_dirty_bitmap(MemoryRegion *mr)
1461{
Avi Kivity0d673e32012-10-02 15:28:50 +02001462 AddressSpace *as;
Avi Kivity5a583342011-07-26 14:26:02 +03001463 FlatRange *fr;
1464
Avi Kivity0d673e32012-10-02 15:28:50 +02001465 QTAILQ_FOREACH(as, &address_spaces, address_spaces_link) {
Paolo Bonzini856d7242013-05-06 11:57:21 +02001466 FlatView *view = address_space_get_flatview(as);
Paolo Bonzini99e86342013-05-06 10:26:13 +02001467 FOR_EACH_FLAT_RANGE(fr, view) {
Avi Kivity0d673e32012-10-02 15:28:50 +02001468 if (fr->mr == mr) {
1469 MEMORY_LISTENER_UPDATE_REGION(fr, as, Forward, log_sync);
1470 }
Avi Kivity5a583342011-07-26 14:26:02 +03001471 }
Paolo Bonzini856d7242013-05-06 11:57:21 +02001472 flatview_unref(view);
Avi Kivity5a583342011-07-26 14:26:02 +03001473 }
Avi Kivity093bc2c2011-07-26 14:26:01 +03001474}
1475
1476void memory_region_set_readonly(MemoryRegion *mr, bool readonly)
1477{
Avi Kivityfb1cd6f2011-09-25 14:48:47 +03001478 if (mr->readonly != readonly) {
Jan Kiszka59023ef2012-08-23 13:02:30 +02001479 memory_region_transaction_begin();
Avi Kivityfb1cd6f2011-09-25 14:48:47 +03001480 mr->readonly = readonly;
Jan Kiszka22bde712012-11-05 16:45:56 +01001481 memory_region_update_pending |= mr->enabled;
Jan Kiszka59023ef2012-08-23 13:02:30 +02001482 memory_region_transaction_commit();
Avi Kivityfb1cd6f2011-09-25 14:48:47 +03001483 }
Avi Kivity093bc2c2011-07-26 14:26:01 +03001484}
1485
Jan Kiszka5f9a5ea2013-05-07 19:04:25 +02001486void memory_region_rom_device_set_romd(MemoryRegion *mr, bool romd_mode)
Avi Kivityd0a9b5b2011-08-08 19:58:49 +03001487{
Jan Kiszka5f9a5ea2013-05-07 19:04:25 +02001488 if (mr->romd_mode != romd_mode) {
Jan Kiszka59023ef2012-08-23 13:02:30 +02001489 memory_region_transaction_begin();
Jan Kiszka5f9a5ea2013-05-07 19:04:25 +02001490 mr->romd_mode = romd_mode;
Jan Kiszka22bde712012-11-05 16:45:56 +01001491 memory_region_update_pending |= mr->enabled;
Jan Kiszka59023ef2012-08-23 13:02:30 +02001492 memory_region_transaction_commit();
Avi Kivityd0a9b5b2011-08-08 19:58:49 +03001493 }
1494}
1495
Avi Kivitya8170e52012-10-23 12:30:10 +02001496void memory_region_reset_dirty(MemoryRegion *mr, hwaddr addr,
1497 hwaddr size, unsigned client)
Avi Kivity093bc2c2011-07-26 14:26:01 +03001498{
Paolo Bonziniec05ec22015-03-29 09:31:43 +02001499 assert(mr->ram_addr != RAM_ADDR_INVALID);
Stefan Hajnoczi03eebc92014-12-02 11:23:18 +00001500 cpu_physical_memory_test_and_clear_dirty(mr->ram_addr + addr, size,
1501 client);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001502}
1503
Paolo Bonzinia35ba7b2014-06-10 19:15:23 +08001504int memory_region_get_fd(MemoryRegion *mr)
1505{
1506 if (mr->alias) {
1507 return memory_region_get_fd(mr->alias);
1508 }
1509
Paolo Bonziniec05ec22015-03-29 09:31:43 +02001510 assert(mr->ram_addr != RAM_ADDR_INVALID);
Paolo Bonzinia35ba7b2014-06-10 19:15:23 +08001511
1512 return qemu_get_ram_fd(mr->ram_addr & TARGET_PAGE_MASK);
1513}
1514
Avi Kivity093bc2c2011-07-26 14:26:01 +03001515void *memory_region_get_ram_ptr(MemoryRegion *mr)
1516{
1517 if (mr->alias) {
1518 return memory_region_get_ram_ptr(mr->alias) + mr->alias_offset;
1519 }
1520
Paolo Bonziniec05ec22015-03-29 09:31:43 +02001521 assert(mr->ram_addr != RAM_ADDR_INVALID);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001522
Jan Kiszka021d26d2011-08-30 00:38:24 +02001523 return qemu_get_ram_ptr(mr->ram_addr & TARGET_PAGE_MASK);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001524}
1525
Paolo Bonzini37d7c082015-03-23 10:21:46 +01001526void memory_region_ram_resize(MemoryRegion *mr, ram_addr_t newsize, Error **errp)
1527{
Paolo Bonziniec05ec22015-03-29 09:31:43 +02001528 assert(mr->ram_addr != RAM_ADDR_INVALID);
Paolo Bonzini37d7c082015-03-23 10:21:46 +01001529
1530 qemu_ram_resize(mr->ram_addr, newsize, errp);
1531}
1532
Avi Kivity0d673e32012-10-02 15:28:50 +02001533static void memory_region_update_coalesced_range_as(MemoryRegion *mr, AddressSpace *as)
Avi Kivity093bc2c2011-07-26 14:26:01 +03001534{
Paolo Bonzini99e86342013-05-06 10:26:13 +02001535 FlatView *view;
Avi Kivity093bc2c2011-07-26 14:26:01 +03001536 FlatRange *fr;
1537 CoalescedMemoryRange *cmr;
1538 AddrRange tmp;
Avi Kivity95d29942012-10-02 18:21:54 +02001539 MemoryRegionSection section;
Avi Kivity093bc2c2011-07-26 14:26:01 +03001540
Paolo Bonzini856d7242013-05-06 11:57:21 +02001541 view = address_space_get_flatview(as);
Paolo Bonzini99e86342013-05-06 10:26:13 +02001542 FOR_EACH_FLAT_RANGE(fr, view) {
Avi Kivity093bc2c2011-07-26 14:26:01 +03001543 if (fr->mr == mr) {
Avi Kivity95d29942012-10-02 18:21:54 +02001544 section = (MemoryRegionSection) {
Avi Kivityf6790af2012-10-02 20:13:51 +02001545 .address_space = as,
Avi Kivity95d29942012-10-02 18:21:54 +02001546 .offset_within_address_space = int128_get64(fr->addr.start),
Paolo Bonzini052e87b2013-05-27 10:08:27 +02001547 .size = fr->addr.size,
Avi Kivity95d29942012-10-02 18:21:54 +02001548 };
1549
1550 MEMORY_LISTENER_CALL(coalesced_mmio_del, Reverse, &section,
1551 int128_get64(fr->addr.start),
1552 int128_get64(fr->addr.size));
Avi Kivity093bc2c2011-07-26 14:26:01 +03001553 QTAILQ_FOREACH(cmr, &mr->coalesced, link) {
1554 tmp = addrrange_shift(cmr->addr,
Avi Kivity08dafab2011-10-16 13:19:17 +02001555 int128_sub(fr->addr.start,
1556 int128_make64(fr->offset_in_region)));
Avi Kivity093bc2c2011-07-26 14:26:01 +03001557 if (!addrrange_intersects(tmp, fr->addr)) {
1558 continue;
1559 }
1560 tmp = addrrange_intersection(tmp, fr->addr);
Avi Kivity95d29942012-10-02 18:21:54 +02001561 MEMORY_LISTENER_CALL(coalesced_mmio_add, Forward, &section,
1562 int128_get64(tmp.start),
1563 int128_get64(tmp.size));
Avi Kivity093bc2c2011-07-26 14:26:01 +03001564 }
1565 }
1566 }
Paolo Bonzini856d7242013-05-06 11:57:21 +02001567 flatview_unref(view);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001568}
1569
Avi Kivity0d673e32012-10-02 15:28:50 +02001570static void memory_region_update_coalesced_range(MemoryRegion *mr)
1571{
1572 AddressSpace *as;
1573
1574 QTAILQ_FOREACH(as, &address_spaces, address_spaces_link) {
1575 memory_region_update_coalesced_range_as(mr, as);
1576 }
1577}
1578
Avi Kivity093bc2c2011-07-26 14:26:01 +03001579void memory_region_set_coalescing(MemoryRegion *mr)
1580{
1581 memory_region_clear_coalescing(mr);
Avi Kivity08dafab2011-10-16 13:19:17 +02001582 memory_region_add_coalescing(mr, 0, int128_get64(mr->size));
Avi Kivity093bc2c2011-07-26 14:26:01 +03001583}
1584
1585void memory_region_add_coalescing(MemoryRegion *mr,
Avi Kivitya8170e52012-10-23 12:30:10 +02001586 hwaddr offset,
Avi Kivity093bc2c2011-07-26 14:26:01 +03001587 uint64_t size)
1588{
Anthony Liguori7267c092011-08-20 22:09:37 -05001589 CoalescedMemoryRange *cmr = g_malloc(sizeof(*cmr));
Avi Kivity093bc2c2011-07-26 14:26:01 +03001590
Avi Kivity08dafab2011-10-16 13:19:17 +02001591 cmr->addr = addrrange_make(int128_make64(offset), int128_make64(size));
Avi Kivity093bc2c2011-07-26 14:26:01 +03001592 QTAILQ_INSERT_TAIL(&mr->coalesced, cmr, link);
1593 memory_region_update_coalesced_range(mr);
Jan Kiszkad4105152012-08-23 13:02:29 +02001594 memory_region_set_flush_coalesced(mr);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001595}
1596
1597void memory_region_clear_coalescing(MemoryRegion *mr)
1598{
1599 CoalescedMemoryRange *cmr;
Fam Zhengab5b3db2014-06-13 14:34:41 +08001600 bool updated = false;
Avi Kivity093bc2c2011-07-26 14:26:01 +03001601
Jan Kiszkad4105152012-08-23 13:02:29 +02001602 qemu_flush_coalesced_mmio_buffer();
1603 mr->flush_coalesced_mmio = false;
1604
Avi Kivity093bc2c2011-07-26 14:26:01 +03001605 while (!QTAILQ_EMPTY(&mr->coalesced)) {
1606 cmr = QTAILQ_FIRST(&mr->coalesced);
1607 QTAILQ_REMOVE(&mr->coalesced, cmr, link);
Anthony Liguori7267c092011-08-20 22:09:37 -05001608 g_free(cmr);
Fam Zhengab5b3db2014-06-13 14:34:41 +08001609 updated = true;
Avi Kivity093bc2c2011-07-26 14:26:01 +03001610 }
Fam Zhengab5b3db2014-06-13 14:34:41 +08001611
1612 if (updated) {
1613 memory_region_update_coalesced_range(mr);
1614 }
Avi Kivity093bc2c2011-07-26 14:26:01 +03001615}
1616
Jan Kiszkad4105152012-08-23 13:02:29 +02001617void memory_region_set_flush_coalesced(MemoryRegion *mr)
1618{
1619 mr->flush_coalesced_mmio = true;
1620}
1621
1622void memory_region_clear_flush_coalesced(MemoryRegion *mr)
1623{
1624 qemu_flush_coalesced_mmio_buffer();
1625 if (QTAILQ_EMPTY(&mr->coalesced)) {
1626 mr->flush_coalesced_mmio = false;
1627 }
1628}
1629
Jan Kiszka196ea132015-06-18 18:47:20 +02001630void memory_region_set_global_locking(MemoryRegion *mr)
1631{
1632 mr->global_locking = true;
1633}
1634
1635void memory_region_clear_global_locking(MemoryRegion *mr)
1636{
1637 mr->global_locking = false;
1638}
1639
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001640void memory_region_add_eventfd(MemoryRegion *mr,
Avi Kivitya8170e52012-10-23 12:30:10 +02001641 hwaddr addr,
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001642 unsigned size,
1643 bool match_data,
1644 uint64_t data,
Paolo Bonzini753d5e12012-07-05 17:16:27 +02001645 EventNotifier *e)
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001646{
1647 MemoryRegionIoeventfd mrfd = {
Avi Kivity08dafab2011-10-16 13:19:17 +02001648 .addr.start = int128_make64(addr),
1649 .addr.size = int128_make64(size),
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001650 .match_data = match_data,
1651 .data = data,
Paolo Bonzini753d5e12012-07-05 17:16:27 +02001652 .e = e,
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001653 };
1654 unsigned i;
1655
Alexander Graf28f362b2012-10-15 20:30:28 +02001656 adjust_endianness(mr, &mrfd.data, size);
Jan Kiszka59023ef2012-08-23 13:02:30 +02001657 memory_region_transaction_begin();
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001658 for (i = 0; i < mr->ioeventfd_nb; ++i) {
1659 if (memory_region_ioeventfd_before(mrfd, mr->ioeventfds[i])) {
1660 break;
1661 }
1662 }
1663 ++mr->ioeventfd_nb;
Anthony Liguori7267c092011-08-20 22:09:37 -05001664 mr->ioeventfds = g_realloc(mr->ioeventfds,
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001665 sizeof(*mr->ioeventfds) * mr->ioeventfd_nb);
1666 memmove(&mr->ioeventfds[i+1], &mr->ioeventfds[i],
1667 sizeof(*mr->ioeventfds) * (mr->ioeventfd_nb-1 - i));
1668 mr->ioeventfds[i] = mrfd;
Gonglei4dc56152014-05-08 11:47:32 +08001669 ioeventfd_update_pending |= mr->enabled;
Jan Kiszka59023ef2012-08-23 13:02:30 +02001670 memory_region_transaction_commit();
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001671}
1672
1673void memory_region_del_eventfd(MemoryRegion *mr,
Avi Kivitya8170e52012-10-23 12:30:10 +02001674 hwaddr addr,
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001675 unsigned size,
1676 bool match_data,
1677 uint64_t data,
Paolo Bonzini753d5e12012-07-05 17:16:27 +02001678 EventNotifier *e)
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001679{
1680 MemoryRegionIoeventfd mrfd = {
Avi Kivity08dafab2011-10-16 13:19:17 +02001681 .addr.start = int128_make64(addr),
1682 .addr.size = int128_make64(size),
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001683 .match_data = match_data,
1684 .data = data,
Paolo Bonzini753d5e12012-07-05 17:16:27 +02001685 .e = e,
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001686 };
1687 unsigned i;
1688
Alexander Graf28f362b2012-10-15 20:30:28 +02001689 adjust_endianness(mr, &mrfd.data, size);
Jan Kiszka59023ef2012-08-23 13:02:30 +02001690 memory_region_transaction_begin();
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001691 for (i = 0; i < mr->ioeventfd_nb; ++i) {
1692 if (memory_region_ioeventfd_equal(mrfd, mr->ioeventfds[i])) {
1693 break;
1694 }
1695 }
1696 assert(i != mr->ioeventfd_nb);
1697 memmove(&mr->ioeventfds[i], &mr->ioeventfds[i+1],
1698 sizeof(*mr->ioeventfds) * (mr->ioeventfd_nb - (i+1)));
1699 --mr->ioeventfd_nb;
Anthony Liguori7267c092011-08-20 22:09:37 -05001700 mr->ioeventfds = g_realloc(mr->ioeventfds,
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001701 sizeof(*mr->ioeventfds)*mr->ioeventfd_nb + 1);
Gonglei4dc56152014-05-08 11:47:32 +08001702 ioeventfd_update_pending |= mr->enabled;
Jan Kiszka59023ef2012-08-23 13:02:30 +02001703 memory_region_transaction_commit();
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001704}
1705
Paolo Bonzinifeca4ac2014-06-11 11:18:09 +02001706static void memory_region_update_container_subregions(MemoryRegion *subregion)
Avi Kivity093bc2c2011-07-26 14:26:01 +03001707{
Peter Crosthwaite05987012014-06-05 23:14:44 -07001708 hwaddr offset = subregion->addr;
Paolo Bonzinifeca4ac2014-06-11 11:18:09 +02001709 MemoryRegion *mr = subregion->container;
Avi Kivity093bc2c2011-07-26 14:26:01 +03001710 MemoryRegion *other;
1711
Jan Kiszka59023ef2012-08-23 13:02:30 +02001712 memory_region_transaction_begin();
1713
Paolo Bonzinidfde4e62013-05-06 10:46:11 +02001714 memory_region_ref(subregion);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001715 QTAILQ_FOREACH(other, &mr->subregions, subregions_link) {
1716 if (subregion->may_overlap || other->may_overlap) {
1717 continue;
1718 }
Hu Tao2c7cfd62013-03-15 14:32:01 +08001719 if (int128_ge(int128_make64(offset),
Avi Kivity08dafab2011-10-16 13:19:17 +02001720 int128_add(int128_make64(other->addr), other->size))
1721 || int128_le(int128_add(int128_make64(offset), subregion->size),
1722 int128_make64(other->addr))) {
Avi Kivity093bc2c2011-07-26 14:26:01 +03001723 continue;
1724 }
Anthony Liguoria5e1cbc2011-08-22 11:14:56 -05001725#if 0
Michael Walle860329b2011-09-15 23:16:49 +02001726 printf("warning: subregion collision %llx/%llx (%s) "
1727 "vs %llx/%llx (%s)\n",
Avi Kivity093bc2c2011-07-26 14:26:01 +03001728 (unsigned long long)offset,
Avi Kivity08dafab2011-10-16 13:19:17 +02001729 (unsigned long long)int128_get64(subregion->size),
Michael Walle860329b2011-09-15 23:16:49 +02001730 subregion->name,
1731 (unsigned long long)other->addr,
Avi Kivity08dafab2011-10-16 13:19:17 +02001732 (unsigned long long)int128_get64(other->size),
Michael Walle860329b2011-09-15 23:16:49 +02001733 other->name);
Anthony Liguoria5e1cbc2011-08-22 11:14:56 -05001734#endif
Avi Kivity093bc2c2011-07-26 14:26:01 +03001735 }
1736 QTAILQ_FOREACH(other, &mr->subregions, subregions_link) {
1737 if (subregion->priority >= other->priority) {
1738 QTAILQ_INSERT_BEFORE(other, subregion, subregions_link);
1739 goto done;
1740 }
1741 }
1742 QTAILQ_INSERT_TAIL(&mr->subregions, subregion, subregions_link);
1743done:
Jan Kiszka22bde712012-11-05 16:45:56 +01001744 memory_region_update_pending |= mr->enabled && subregion->enabled;
Jan Kiszka59023ef2012-08-23 13:02:30 +02001745 memory_region_transaction_commit();
Avi Kivity093bc2c2011-07-26 14:26:01 +03001746}
1747
Peter Crosthwaite05987012014-06-05 23:14:44 -07001748static void memory_region_add_subregion_common(MemoryRegion *mr,
1749 hwaddr offset,
1750 MemoryRegion *subregion)
1751{
Paolo Bonzinifeca4ac2014-06-11 11:18:09 +02001752 assert(!subregion->container);
1753 subregion->container = mr;
Peter Crosthwaite05987012014-06-05 23:14:44 -07001754 subregion->addr = offset;
Paolo Bonzinifeca4ac2014-06-11 11:18:09 +02001755 memory_region_update_container_subregions(subregion);
Peter Crosthwaite05987012014-06-05 23:14:44 -07001756}
Avi Kivity093bc2c2011-07-26 14:26:01 +03001757
1758void memory_region_add_subregion(MemoryRegion *mr,
Avi Kivitya8170e52012-10-23 12:30:10 +02001759 hwaddr offset,
Avi Kivity093bc2c2011-07-26 14:26:01 +03001760 MemoryRegion *subregion)
1761{
1762 subregion->may_overlap = false;
1763 subregion->priority = 0;
1764 memory_region_add_subregion_common(mr, offset, subregion);
1765}
1766
1767void memory_region_add_subregion_overlap(MemoryRegion *mr,
Avi Kivitya8170e52012-10-23 12:30:10 +02001768 hwaddr offset,
Avi Kivity093bc2c2011-07-26 14:26:01 +03001769 MemoryRegion *subregion,
Marcel Apfelbauma1ff8ae2013-09-16 11:21:14 +03001770 int priority)
Avi Kivity093bc2c2011-07-26 14:26:01 +03001771{
1772 subregion->may_overlap = true;
1773 subregion->priority = priority;
1774 memory_region_add_subregion_common(mr, offset, subregion);
1775}
1776
1777void memory_region_del_subregion(MemoryRegion *mr,
1778 MemoryRegion *subregion)
1779{
Jan Kiszka59023ef2012-08-23 13:02:30 +02001780 memory_region_transaction_begin();
Paolo Bonzinifeca4ac2014-06-11 11:18:09 +02001781 assert(subregion->container == mr);
1782 subregion->container = NULL;
Avi Kivity093bc2c2011-07-26 14:26:01 +03001783 QTAILQ_REMOVE(&mr->subregions, subregion, subregions_link);
Paolo Bonzinidfde4e62013-05-06 10:46:11 +02001784 memory_region_unref(subregion);
Jan Kiszka22bde712012-11-05 16:45:56 +01001785 memory_region_update_pending |= mr->enabled && subregion->enabled;
Jan Kiszka59023ef2012-08-23 13:02:30 +02001786 memory_region_transaction_commit();
Avi Kivity6bba19b2011-09-14 11:54:58 +03001787}
1788
1789void memory_region_set_enabled(MemoryRegion *mr, bool enabled)
1790{
1791 if (enabled == mr->enabled) {
1792 return;
1793 }
Jan Kiszka59023ef2012-08-23 13:02:30 +02001794 memory_region_transaction_begin();
Avi Kivity6bba19b2011-09-14 11:54:58 +03001795 mr->enabled = enabled;
Jan Kiszka22bde712012-11-05 16:45:56 +01001796 memory_region_update_pending = true;
Jan Kiszka59023ef2012-08-23 13:02:30 +02001797 memory_region_transaction_commit();
Avi Kivity093bc2c2011-07-26 14:26:01 +03001798}
Avi Kivity1c0ffa52011-07-26 14:26:04 +03001799
Michael S. Tsirkine7af4c62014-12-16 11:21:23 +02001800void memory_region_set_size(MemoryRegion *mr, uint64_t size)
1801{
1802 Int128 s = int128_make64(size);
1803
1804 if (size == UINT64_MAX) {
1805 s = int128_2_64();
1806 }
1807 if (int128_eq(s, mr->size)) {
1808 return;
1809 }
1810 memory_region_transaction_begin();
1811 mr->size = s;
1812 memory_region_update_pending = true;
1813 memory_region_transaction_commit();
1814}
1815
Peter Crosthwaite67891b82014-06-05 23:15:18 -07001816static void memory_region_readd_subregion(MemoryRegion *mr)
Avi Kivity2282e1a2011-09-14 12:10:12 +03001817{
Paolo Bonzinifeca4ac2014-06-11 11:18:09 +02001818 MemoryRegion *container = mr->container;
Avi Kivity2282e1a2011-09-14 12:10:12 +03001819
Paolo Bonzinifeca4ac2014-06-11 11:18:09 +02001820 if (container) {
Peter Crosthwaite67891b82014-06-05 23:15:18 -07001821 memory_region_transaction_begin();
1822 memory_region_ref(mr);
Paolo Bonzinifeca4ac2014-06-11 11:18:09 +02001823 memory_region_del_subregion(container, mr);
1824 mr->container = container;
1825 memory_region_update_container_subregions(mr);
Peter Crosthwaite67891b82014-06-05 23:15:18 -07001826 memory_region_unref(mr);
1827 memory_region_transaction_commit();
Avi Kivity2282e1a2011-09-14 12:10:12 +03001828 }
Peter Crosthwaite67891b82014-06-05 23:15:18 -07001829}
Avi Kivity2282e1a2011-09-14 12:10:12 +03001830
Peter Crosthwaite67891b82014-06-05 23:15:18 -07001831void memory_region_set_address(MemoryRegion *mr, hwaddr addr)
1832{
1833 if (addr != mr->addr) {
1834 mr->addr = addr;
1835 memory_region_readd_subregion(mr);
1836 }
Avi Kivity2282e1a2011-09-14 12:10:12 +03001837}
1838
Avi Kivitya8170e52012-10-23 12:30:10 +02001839void memory_region_set_alias_offset(MemoryRegion *mr, hwaddr offset)
Avi Kivity47033592011-12-04 19:16:50 +02001840{
Avi Kivity47033592011-12-04 19:16:50 +02001841 assert(mr->alias);
Avi Kivity47033592011-12-04 19:16:50 +02001842
Jan Kiszka59023ef2012-08-23 13:02:30 +02001843 if (offset == mr->alias_offset) {
Avi Kivity47033592011-12-04 19:16:50 +02001844 return;
1845 }
1846
Jan Kiszka59023ef2012-08-23 13:02:30 +02001847 memory_region_transaction_begin();
1848 mr->alias_offset = offset;
Jan Kiszka22bde712012-11-05 16:45:56 +01001849 memory_region_update_pending |= mr->enabled;
Jan Kiszka59023ef2012-08-23 13:02:30 +02001850 memory_region_transaction_commit();
Avi Kivity47033592011-12-04 19:16:50 +02001851}
1852
Avi Kivitye34911c2011-12-19 12:06:23 +02001853ram_addr_t memory_region_get_ram_addr(MemoryRegion *mr)
1854{
Avi Kivitye34911c2011-12-19 12:06:23 +02001855 return mr->ram_addr;
1856}
1857
Igor Mammedova2b257d2014-10-31 16:38:37 +00001858uint64_t memory_region_get_alignment(const MemoryRegion *mr)
1859{
1860 return mr->align;
1861}
1862
Avi Kivitye2177952011-12-08 15:00:18 +02001863static int cmp_flatrange_addr(const void *addr_, const void *fr_)
1864{
1865 const AddrRange *addr = addr_;
1866 const FlatRange *fr = fr_;
1867
1868 if (int128_le(addrrange_end(*addr), fr->addr.start)) {
1869 return -1;
1870 } else if (int128_ge(addr->start, addrrange_end(fr->addr))) {
1871 return 1;
1872 }
1873 return 0;
1874}
1875
Paolo Bonzini99e86342013-05-06 10:26:13 +02001876static FlatRange *flatview_lookup(FlatView *view, AddrRange addr)
Avi Kivitye2177952011-12-08 15:00:18 +02001877{
Paolo Bonzini99e86342013-05-06 10:26:13 +02001878 return bsearch(&addr, view->ranges, view->nr,
Avi Kivitye2177952011-12-08 15:00:18 +02001879 sizeof(FlatRange), cmp_flatrange_addr);
1880}
1881
Igor Mammedoveed2bac2014-06-02 15:25:06 +02001882bool memory_region_is_mapped(MemoryRegion *mr)
1883{
1884 return mr->container ? true : false;
1885}
1886
Paolo Bonzinic6742b12015-07-14 13:45:34 +02001887/* Same as memory_region_find, but it does not add a reference to the
1888 * returned region. It must be called from an RCU critical section.
1889 */
1890static MemoryRegionSection memory_region_find_rcu(MemoryRegion *mr,
1891 hwaddr addr, uint64_t size)
Avi Kivitye2177952011-12-08 15:00:18 +02001892{
Paolo Bonzini052e87b2013-05-27 10:08:27 +02001893 MemoryRegionSection ret = { .mr = NULL };
Paolo Bonzini73034e92013-05-07 15:48:28 +02001894 MemoryRegion *root;
1895 AddressSpace *as;
1896 AddrRange range;
Paolo Bonzini99e86342013-05-06 10:26:13 +02001897 FlatView *view;
Paolo Bonzini73034e92013-05-07 15:48:28 +02001898 FlatRange *fr;
Avi Kivitye2177952011-12-08 15:00:18 +02001899
Paolo Bonzini73034e92013-05-07 15:48:28 +02001900 addr += mr->addr;
Paolo Bonzinifeca4ac2014-06-11 11:18:09 +02001901 for (root = mr; root->container; ) {
1902 root = root->container;
Paolo Bonzini73034e92013-05-07 15:48:28 +02001903 addr += root->addr;
1904 }
1905
1906 as = memory_region_to_address_space(root);
Igor Mammedoveed2bac2014-06-02 15:25:06 +02001907 if (!as) {
1908 return ret;
1909 }
Paolo Bonzini73034e92013-05-07 15:48:28 +02001910 range = addrrange_make(int128_make64(addr), int128_make64(size));
Paolo Bonzini99e86342013-05-06 10:26:13 +02001911
Paolo Bonzini2b647662013-05-17 12:40:44 +02001912 view = atomic_rcu_read(&as->current_map);
Paolo Bonzini99e86342013-05-06 10:26:13 +02001913 fr = flatview_lookup(view, range);
Avi Kivitye2177952011-12-08 15:00:18 +02001914 if (!fr) {
Paolo Bonzinic6742b12015-07-14 13:45:34 +02001915 return ret;
Avi Kivitye2177952011-12-08 15:00:18 +02001916 }
1917
Paolo Bonzini99e86342013-05-06 10:26:13 +02001918 while (fr > view->ranges && addrrange_intersects(fr[-1].addr, range)) {
Avi Kivitye2177952011-12-08 15:00:18 +02001919 --fr;
1920 }
1921
1922 ret.mr = fr->mr;
Paolo Bonzini73034e92013-05-07 15:48:28 +02001923 ret.address_space = as;
Avi Kivitye2177952011-12-08 15:00:18 +02001924 range = addrrange_intersection(range, fr->addr);
1925 ret.offset_within_region = fr->offset_in_region;
1926 ret.offset_within_region += int128_get64(int128_sub(range.start,
1927 fr->addr.start));
Paolo Bonzini052e87b2013-05-27 10:08:27 +02001928 ret.size = range.size;
Avi Kivitye2177952011-12-08 15:00:18 +02001929 ret.offset_within_address_space = int128_get64(range.start);
Avi Kivity7a8499e2012-02-08 17:01:23 +02001930 ret.readonly = fr->readonly;
Paolo Bonzinic6742b12015-07-14 13:45:34 +02001931 return ret;
1932}
1933
1934MemoryRegionSection memory_region_find(MemoryRegion *mr,
1935 hwaddr addr, uint64_t size)
1936{
1937 MemoryRegionSection ret;
1938 rcu_read_lock();
1939 ret = memory_region_find_rcu(mr, addr, size);
1940 if (ret.mr) {
1941 memory_region_ref(ret.mr);
1942 }
Paolo Bonzini2b647662013-05-17 12:40:44 +02001943 rcu_read_unlock();
Avi Kivitye2177952011-12-08 15:00:18 +02001944 return ret;
1945}
1946
Paolo Bonzinic6742b12015-07-14 13:45:34 +02001947bool memory_region_present(MemoryRegion *container, hwaddr addr)
1948{
1949 MemoryRegion *mr;
1950
1951 rcu_read_lock();
1952 mr = memory_region_find_rcu(container, addr, 1).mr;
1953 rcu_read_unlock();
1954 return mr && mr != container;
1955}
1956
Paolo Bonzini1d671362013-04-24 10:46:55 +02001957void address_space_sync_dirty_bitmap(AddressSpace *as)
Avi Kivity86e775c2011-12-15 16:24:49 +02001958{
Paolo Bonzini99e86342013-05-06 10:26:13 +02001959 FlatView *view;
Avi Kivity7664e802011-12-11 14:47:25 +02001960 FlatRange *fr;
1961
Paolo Bonzini856d7242013-05-06 11:57:21 +02001962 view = address_space_get_flatview(as);
Paolo Bonzini99e86342013-05-06 10:26:13 +02001963 FOR_EACH_FLAT_RANGE(fr, view) {
Avi Kivity72e22d22012-02-08 15:05:50 +02001964 MEMORY_LISTENER_UPDATE_REGION(fr, as, Forward, log_sync);
Avi Kivity7664e802011-12-11 14:47:25 +02001965 }
Paolo Bonzini856d7242013-05-06 11:57:21 +02001966 flatview_unref(view);
Avi Kivity7664e802011-12-11 14:47:25 +02001967}
1968
1969void memory_global_dirty_log_start(void)
1970{
Avi Kivity7664e802011-12-11 14:47:25 +02001971 global_dirty_log = true;
Paolo Bonzini6f6a5ef2015-03-23 10:57:21 +01001972
Avi Kivity7376e582012-02-08 21:05:17 +02001973 MEMORY_LISTENER_CALL_GLOBAL(log_global_start, Forward);
Paolo Bonzini6f6a5ef2015-03-23 10:57:21 +01001974
1975 /* Refresh DIRTY_LOG_MIGRATION bit. */
1976 memory_region_transaction_begin();
1977 memory_region_update_pending = true;
1978 memory_region_transaction_commit();
Avi Kivity7664e802011-12-11 14:47:25 +02001979}
1980
1981void memory_global_dirty_log_stop(void)
1982{
Avi Kivity7664e802011-12-11 14:47:25 +02001983 global_dirty_log = false;
Paolo Bonzini6f6a5ef2015-03-23 10:57:21 +01001984
1985 /* Refresh DIRTY_LOG_MIGRATION bit. */
1986 memory_region_transaction_begin();
1987 memory_region_update_pending = true;
1988 memory_region_transaction_commit();
1989
Avi Kivity7376e582012-02-08 21:05:17 +02001990 MEMORY_LISTENER_CALL_GLOBAL(log_global_stop, Reverse);
Avi Kivity7664e802011-12-11 14:47:25 +02001991}
1992
1993static void listener_add_address_space(MemoryListener *listener,
1994 AddressSpace *as)
1995{
Paolo Bonzini99e86342013-05-06 10:26:13 +02001996 FlatView *view;
Avi Kivity7664e802011-12-11 14:47:25 +02001997 FlatRange *fr;
1998
Julien Grall221b3a32012-04-04 15:15:41 +01001999 if (listener->address_space_filter
Avi Kivityf6790af2012-10-02 20:13:51 +02002000 && listener->address_space_filter != as) {
Julien Grall221b3a32012-04-04 15:15:41 +01002001 return;
2002 }
2003
Avi Kivity7664e802011-12-11 14:47:25 +02002004 if (global_dirty_log) {
Avi Kivity975aefe2012-10-02 16:39:57 +02002005 if (listener->log_global_start) {
2006 listener->log_global_start(listener);
2007 }
Avi Kivity7664e802011-12-11 14:47:25 +02002008 }
Avi Kivity975aefe2012-10-02 16:39:57 +02002009
Paolo Bonzini856d7242013-05-06 11:57:21 +02002010 view = address_space_get_flatview(as);
Paolo Bonzini99e86342013-05-06 10:26:13 +02002011 FOR_EACH_FLAT_RANGE(fr, view) {
Avi Kivity7664e802011-12-11 14:47:25 +02002012 MemoryRegionSection section = {
2013 .mr = fr->mr,
Avi Kivityf6790af2012-10-02 20:13:51 +02002014 .address_space = as,
Avi Kivity7664e802011-12-11 14:47:25 +02002015 .offset_within_region = fr->offset_in_region,
Paolo Bonzini052e87b2013-05-27 10:08:27 +02002016 .size = fr->addr.size,
Avi Kivity7664e802011-12-11 14:47:25 +02002017 .offset_within_address_space = int128_get64(fr->addr.start),
Avi Kivity7a8499e2012-02-08 17:01:23 +02002018 .readonly = fr->readonly,
Avi Kivity7664e802011-12-11 14:47:25 +02002019 };
Avi Kivity975aefe2012-10-02 16:39:57 +02002020 if (listener->region_add) {
2021 listener->region_add(listener, &section);
2022 }
Avi Kivity7664e802011-12-11 14:47:25 +02002023 }
Paolo Bonzini856d7242013-05-06 11:57:21 +02002024 flatview_unref(view);
Avi Kivity7664e802011-12-11 14:47:25 +02002025}
2026
Avi Kivityf6790af2012-10-02 20:13:51 +02002027void memory_listener_register(MemoryListener *listener, AddressSpace *filter)
Avi Kivity7664e802011-12-11 14:47:25 +02002028{
Avi Kivity72e22d22012-02-08 15:05:50 +02002029 MemoryListener *other = NULL;
Avi Kivity0d673e32012-10-02 15:28:50 +02002030 AddressSpace *as;
Avi Kivity72e22d22012-02-08 15:05:50 +02002031
Avi Kivity7376e582012-02-08 21:05:17 +02002032 listener->address_space_filter = filter;
Avi Kivity72e22d22012-02-08 15:05:50 +02002033 if (QTAILQ_EMPTY(&memory_listeners)
2034 || listener->priority >= QTAILQ_LAST(&memory_listeners,
2035 memory_listeners)->priority) {
2036 QTAILQ_INSERT_TAIL(&memory_listeners, listener, link);
2037 } else {
2038 QTAILQ_FOREACH(other, &memory_listeners, link) {
2039 if (listener->priority < other->priority) {
2040 break;
2041 }
2042 }
2043 QTAILQ_INSERT_BEFORE(other, listener, link);
2044 }
Avi Kivity0d673e32012-10-02 15:28:50 +02002045
2046 QTAILQ_FOREACH(as, &address_spaces, address_spaces_link) {
2047 listener_add_address_space(listener, as);
2048 }
Avi Kivity7664e802011-12-11 14:47:25 +02002049}
2050
2051void memory_listener_unregister(MemoryListener *listener)
2052{
Avi Kivity72e22d22012-02-08 15:05:50 +02002053 QTAILQ_REMOVE(&memory_listeners, listener, link);
Avi Kivity86e775c2011-12-15 16:24:49 +02002054}
Avi Kivitye2177952011-12-08 15:00:18 +02002055
Alexey Kardashevskiy7dca8042013-04-29 16:25:51 +00002056void address_space_init(AddressSpace *as, MemoryRegion *root, const char *name)
Avi Kivity1c0ffa52011-07-26 14:26:04 +03002057{
Paolo Bonziniac951902015-02-11 15:21:04 +01002058 memory_region_ref(root);
Jan Kiszka59023ef2012-08-23 13:02:30 +02002059 memory_region_transaction_begin();
Avi Kivity8786db72012-10-02 13:53:41 +02002060 as->root = root;
2061 as->current_map = g_new(FlatView, 1);
2062 flatview_init(as->current_map);
Avi Kivity4c19eb72012-10-30 13:47:44 +02002063 as->ioeventfd_nb = 0;
2064 as->ioeventfds = NULL;
Avi Kivity0d673e32012-10-02 15:28:50 +02002065 QTAILQ_INSERT_TAIL(&address_spaces, as, address_spaces_link);
Alexey Kardashevskiy7dca8042013-04-29 16:25:51 +00002066 as->name = g_strdup(name ? name : "anonymous");
Avi Kivityac1970f2012-10-03 16:22:53 +02002067 address_space_init_dispatch(as);
Paolo Bonzinif43793c2013-04-16 15:39:51 +02002068 memory_region_update_pending |= root->enabled;
2069 memory_region_transaction_commit();
Avi Kivity1c0ffa52011-07-26 14:26:04 +03002070}
Avi Kivity658b2222011-07-26 14:26:08 +03002071
Paolo Bonzini374f2982013-05-17 12:37:03 +02002072static void do_address_space_destroy(AddressSpace *as)
Avi Kivity83f3c252012-10-07 12:59:55 +02002073{
David Gibson078c44f2014-05-30 12:59:00 -06002074 MemoryListener *listener;
2075
Avi Kivity83f3c252012-10-07 12:59:55 +02002076 address_space_destroy_dispatch(as);
David Gibson078c44f2014-05-30 12:59:00 -06002077
2078 QTAILQ_FOREACH(listener, &memory_listeners, link) {
2079 assert(listener->address_space_filter != as);
2080 }
2081
Paolo Bonzini856d7242013-05-06 11:57:21 +02002082 flatview_unref(as->current_map);
Alexey Kardashevskiy7dca8042013-04-29 16:25:51 +00002083 g_free(as->name);
Avi Kivity4c19eb72012-10-30 13:47:44 +02002084 g_free(as->ioeventfds);
Paolo Bonziniac951902015-02-11 15:21:04 +01002085 memory_region_unref(as->root);
Avi Kivity83f3c252012-10-07 12:59:55 +02002086}
2087
Paolo Bonzini374f2982013-05-17 12:37:03 +02002088void address_space_destroy(AddressSpace *as)
2089{
Paolo Bonziniac951902015-02-11 15:21:04 +01002090 MemoryRegion *root = as->root;
2091
Paolo Bonzini374f2982013-05-17 12:37:03 +02002092 /* Flush out anything from MemoryListeners listening in on this */
2093 memory_region_transaction_begin();
2094 as->root = NULL;
2095 memory_region_transaction_commit();
2096 QTAILQ_REMOVE(&address_spaces, as, address_spaces_link);
Paolo Bonzini6e48e8f2015-02-10 10:25:44 -07002097 address_space_unregister(as);
Paolo Bonzini374f2982013-05-17 12:37:03 +02002098
2099 /* At this point, as->dispatch and as->current_map are dummy
2100 * entries that the guest should never use. Wait for the old
2101 * values to expire before freeing the data.
2102 */
Paolo Bonziniac951902015-02-11 15:21:04 +01002103 as->root = root;
Paolo Bonzini374f2982013-05-17 12:37:03 +02002104 call_rcu(as, do_address_space_destroy, rcu);
2105}
2106
Blue Swirl314e2982011-09-11 20:22:05 +00002107typedef struct MemoryRegionList MemoryRegionList;
2108
2109struct MemoryRegionList {
2110 const MemoryRegion *mr;
Blue Swirl314e2982011-09-11 20:22:05 +00002111 QTAILQ_ENTRY(MemoryRegionList) queue;
2112};
2113
2114typedef QTAILQ_HEAD(queue, MemoryRegionList) MemoryRegionListHead;
2115
2116static void mtree_print_mr(fprintf_function mon_printf, void *f,
2117 const MemoryRegion *mr, unsigned int level,
Avi Kivitya8170e52012-10-23 12:30:10 +02002118 hwaddr base,
Jan Kiszka9479c572011-09-27 15:00:41 +02002119 MemoryRegionListHead *alias_print_queue)
Blue Swirl314e2982011-09-11 20:22:05 +00002120{
Jan Kiszka9479c572011-09-27 15:00:41 +02002121 MemoryRegionList *new_ml, *ml, *next_ml;
2122 MemoryRegionListHead submr_print_queue;
Blue Swirl314e2982011-09-11 20:22:05 +00002123 const MemoryRegion *submr;
2124 unsigned int i;
2125
Gerd Hoffmannf8a9f722015-04-08 12:57:11 +02002126 if (!mr) {
Blue Swirl314e2982011-09-11 20:22:05 +00002127 return;
2128 }
2129
2130 for (i = 0; i < level; i++) {
2131 mon_printf(f, " ");
2132 }
2133
2134 if (mr->alias) {
2135 MemoryRegionList *ml;
2136 bool found = false;
2137
2138 /* check if the alias is already in the queue */
Jan Kiszka9479c572011-09-27 15:00:41 +02002139 QTAILQ_FOREACH(ml, alias_print_queue, queue) {
Paolo Bonzinif54bb152013-12-11 12:51:46 +01002140 if (ml->mr == mr->alias) {
Blue Swirl314e2982011-09-11 20:22:05 +00002141 found = true;
2142 }
2143 }
2144
2145 if (!found) {
2146 ml = g_new(MemoryRegionList, 1);
2147 ml->mr = mr->alias;
Jan Kiszka9479c572011-09-27 15:00:41 +02002148 QTAILQ_INSERT_TAIL(alias_print_queue, ml, queue);
Blue Swirl314e2982011-09-11 20:22:05 +00002149 }
Jan Kiszka4896d742012-02-04 16:25:42 +01002150 mon_printf(f, TARGET_FMT_plx "-" TARGET_FMT_plx
2151 " (prio %d, %c%c): alias %s @%s " TARGET_FMT_plx
Gerd Hoffmannf8a9f722015-04-08 12:57:11 +02002152 "-" TARGET_FMT_plx "%s\n",
Blue Swirl314e2982011-09-11 20:22:05 +00002153 base + mr->addr,
Avi Kivity08dafab2011-10-16 13:19:17 +02002154 base + mr->addr
Alex Williamsonfd1d9922013-07-19 12:42:12 -06002155 + (int128_nz(mr->size) ?
2156 (hwaddr)int128_get64(int128_sub(mr->size,
2157 int128_one())) : 0),
Jan Kiszka4b474ba2011-09-27 15:00:31 +02002158 mr->priority,
Jan Kiszka5f9a5ea2013-05-07 19:04:25 +02002159 mr->romd_mode ? 'R' : '-',
2160 !mr->readonly && !(mr->rom_device && mr->romd_mode) ? 'W'
2161 : '-',
Peter Crosthwaite3fb18b42014-08-14 23:55:36 -07002162 memory_region_name(mr),
2163 memory_region_name(mr->alias),
Blue Swirl314e2982011-09-11 20:22:05 +00002164 mr->alias_offset,
Avi Kivity08dafab2011-10-16 13:19:17 +02002165 mr->alias_offset
Alexey Kardashevskiya66670c2013-08-30 18:10:38 +10002166 + (int128_nz(mr->size) ?
2167 (hwaddr)int128_get64(int128_sub(mr->size,
Gerd Hoffmannf8a9f722015-04-08 12:57:11 +02002168 int128_one())) : 0),
2169 mr->enabled ? "" : " [disabled]");
Blue Swirl314e2982011-09-11 20:22:05 +00002170 } else {
Jan Kiszka4896d742012-02-04 16:25:42 +01002171 mon_printf(f,
Gerd Hoffmannf8a9f722015-04-08 12:57:11 +02002172 TARGET_FMT_plx "-" TARGET_FMT_plx " (prio %d, %c%c): %s%s\n",
Blue Swirl314e2982011-09-11 20:22:05 +00002173 base + mr->addr,
Avi Kivity08dafab2011-10-16 13:19:17 +02002174 base + mr->addr
Alex Williamsonfd1d9922013-07-19 12:42:12 -06002175 + (int128_nz(mr->size) ?
2176 (hwaddr)int128_get64(int128_sub(mr->size,
2177 int128_one())) : 0),
Jan Kiszka4b474ba2011-09-27 15:00:31 +02002178 mr->priority,
Jan Kiszka5f9a5ea2013-05-07 19:04:25 +02002179 mr->romd_mode ? 'R' : '-',
2180 !mr->readonly && !(mr->rom_device && mr->romd_mode) ? 'W'
2181 : '-',
Gerd Hoffmannf8a9f722015-04-08 12:57:11 +02002182 memory_region_name(mr),
2183 mr->enabled ? "" : " [disabled]");
Blue Swirl314e2982011-09-11 20:22:05 +00002184 }
Jan Kiszka9479c572011-09-27 15:00:41 +02002185
2186 QTAILQ_INIT(&submr_print_queue);
2187
Blue Swirl314e2982011-09-11 20:22:05 +00002188 QTAILQ_FOREACH(submr, &mr->subregions, subregions_link) {
Jan Kiszka9479c572011-09-27 15:00:41 +02002189 new_ml = g_new(MemoryRegionList, 1);
2190 new_ml->mr = submr;
2191 QTAILQ_FOREACH(ml, &submr_print_queue, queue) {
2192 if (new_ml->mr->addr < ml->mr->addr ||
2193 (new_ml->mr->addr == ml->mr->addr &&
2194 new_ml->mr->priority > ml->mr->priority)) {
2195 QTAILQ_INSERT_BEFORE(ml, new_ml, queue);
2196 new_ml = NULL;
2197 break;
2198 }
2199 }
2200 if (new_ml) {
2201 QTAILQ_INSERT_TAIL(&submr_print_queue, new_ml, queue);
2202 }
2203 }
2204
2205 QTAILQ_FOREACH(ml, &submr_print_queue, queue) {
2206 mtree_print_mr(mon_printf, f, ml->mr, level + 1, base + mr->addr,
2207 alias_print_queue);
2208 }
2209
Avi Kivity88365e42011-11-13 12:00:55 +02002210 QTAILQ_FOREACH_SAFE(ml, &submr_print_queue, queue, next_ml) {
Jan Kiszka9479c572011-09-27 15:00:41 +02002211 g_free(ml);
Blue Swirl314e2982011-09-11 20:22:05 +00002212 }
2213}
2214
2215void mtree_info(fprintf_function mon_printf, void *f)
2216{
2217 MemoryRegionListHead ml_head;
2218 MemoryRegionList *ml, *ml2;
Avi Kivity0d673e32012-10-02 15:28:50 +02002219 AddressSpace *as;
Blue Swirl314e2982011-09-11 20:22:05 +00002220
2221 QTAILQ_INIT(&ml_head);
2222
Avi Kivity0d673e32012-10-02 15:28:50 +02002223 QTAILQ_FOREACH(as, &address_spaces, address_spaces_link) {
Gerd Hoffmanne48816a2015-04-08 12:53:47 +02002224 mon_printf(f, "address-space: %s\n", as->name);
2225 mtree_print_mr(mon_printf, f, as->root, 1, 0, &ml_head);
2226 mon_printf(f, "\n");
Blue Swirlb9f9be82012-03-10 16:58:35 +00002227 }
2228
Blue Swirl314e2982011-09-11 20:22:05 +00002229 /* print aliased regions */
2230 QTAILQ_FOREACH(ml, &ml_head, queue) {
Gerd Hoffmanne48816a2015-04-08 12:53:47 +02002231 mon_printf(f, "memory-region: %s\n", memory_region_name(ml->mr));
2232 mtree_print_mr(mon_printf, f, ml->mr, 1, 0, &ml_head);
2233 mon_printf(f, "\n");
Blue Swirl314e2982011-09-11 20:22:05 +00002234 }
2235
2236 QTAILQ_FOREACH_SAFE(ml, &ml_head, queue, ml2) {
Avi Kivity88365e42011-11-13 12:00:55 +02002237 g_free(ml);
Blue Swirl314e2982011-09-11 20:22:05 +00002238 }
Blue Swirl314e2982011-09-11 20:22:05 +00002239}
Peter Crosthwaiteb4fefef2014-06-05 23:15:52 -07002240
2241static const TypeInfo memory_region_info = {
2242 .parent = TYPE_OBJECT,
2243 .name = TYPE_MEMORY_REGION,
2244 .instance_size = sizeof(MemoryRegion),
2245 .instance_init = memory_region_initfn,
2246 .instance_finalize = memory_region_finalize,
2247};
2248
2249static void memory_register_types(void)
2250{
2251 type_register_static(&memory_region_info);
2252}
2253
2254type_init(memory_register_types)