blob: 56ef4bae4e46a0679049f6b20575dc78755ff61d [file] [log] [blame]
Avi Kivity093bc2c2011-07-26 14:26:01 +03001/*
2 * Physical memory management
3 *
4 * Copyright 2011 Red Hat, Inc. and/or its affiliates
5 *
6 * Authors:
7 * Avi Kivity <avi@redhat.com>
8 *
9 * This work is licensed under the terms of the GNU GPL, version 2. See
10 * the COPYING file in the top-level directory.
11 *
Paolo Bonzini6b620ca2012-01-13 17:44:23 +010012 * Contributions after 2012-01-13 are licensed under the terms of the
13 * GNU GPL, version 2 or (at your option) any later version.
Avi Kivity093bc2c2011-07-26 14:26:01 +030014 */
15
Paolo Bonzini022c62c2012-12-17 18:19:49 +010016#include "exec/memory.h"
17#include "exec/address-spaces.h"
18#include "exec/ioport.h"
Paolo Bonzini1de7afc2012-12-17 18:20:00 +010019#include "qemu/bitops.h"
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -040020#include "qom/object.h"
Paolo Bonzini9c17d612012-12-17 18:20:04 +010021#include "sysemu/kvm.h"
Avi Kivity093bc2c2011-07-26 14:26:01 +030022#include <assert.h>
23
Paolo Bonzini022c62c2012-12-17 18:19:49 +010024#include "exec/memory-internal.h"
Avi Kivity67d95c12011-12-15 15:25:22 +020025
Paolo Bonzinid1970632013-05-24 13:23:38 +020026//#define DEBUG_UNASSIGNED
27
Jan Kiszka22bde712012-11-05 16:45:56 +010028static unsigned memory_region_transaction_depth;
29static bool memory_region_update_pending;
Avi Kivity7664e802011-12-11 14:47:25 +020030static bool global_dirty_log = false;
31
Avi Kivity72e22d22012-02-08 15:05:50 +020032static QTAILQ_HEAD(memory_listeners, MemoryListener) memory_listeners
33 = QTAILQ_HEAD_INITIALIZER(memory_listeners);
Avi Kivity4ef4db82011-07-26 14:26:13 +030034
Avi Kivity0d673e32012-10-02 15:28:50 +020035static QTAILQ_HEAD(, AddressSpace) address_spaces
36 = QTAILQ_HEAD_INITIALIZER(address_spaces);
37
Avi Kivity093bc2c2011-07-26 14:26:01 +030038typedef struct AddrRange AddrRange;
39
Avi Kivity8417ceb2011-08-03 11:56:14 +030040/*
41 * Note using signed integers limits us to physical addresses at most
42 * 63 bits wide. They are needed for negative offsetting in aliases
43 * (large MemoryRegion::alias_offset).
44 */
Avi Kivity093bc2c2011-07-26 14:26:01 +030045struct AddrRange {
Avi Kivity08dafab2011-10-16 13:19:17 +020046 Int128 start;
47 Int128 size;
Avi Kivity093bc2c2011-07-26 14:26:01 +030048};
49
Avi Kivity08dafab2011-10-16 13:19:17 +020050static AddrRange addrrange_make(Int128 start, Int128 size)
Avi Kivity093bc2c2011-07-26 14:26:01 +030051{
52 return (AddrRange) { start, size };
53}
54
55static bool addrrange_equal(AddrRange r1, AddrRange r2)
56{
Avi Kivity08dafab2011-10-16 13:19:17 +020057 return int128_eq(r1.start, r2.start) && int128_eq(r1.size, r2.size);
Avi Kivity093bc2c2011-07-26 14:26:01 +030058}
59
Avi Kivity08dafab2011-10-16 13:19:17 +020060static Int128 addrrange_end(AddrRange r)
Avi Kivity093bc2c2011-07-26 14:26:01 +030061{
Avi Kivity08dafab2011-10-16 13:19:17 +020062 return int128_add(r.start, r.size);
Avi Kivity093bc2c2011-07-26 14:26:01 +030063}
64
Avi Kivity08dafab2011-10-16 13:19:17 +020065static AddrRange addrrange_shift(AddrRange range, Int128 delta)
Avi Kivity093bc2c2011-07-26 14:26:01 +030066{
Avi Kivity08dafab2011-10-16 13:19:17 +020067 int128_addto(&range.start, delta);
Avi Kivity093bc2c2011-07-26 14:26:01 +030068 return range;
69}
70
Avi Kivity08dafab2011-10-16 13:19:17 +020071static bool addrrange_contains(AddrRange range, Int128 addr)
72{
73 return int128_ge(addr, range.start)
74 && int128_lt(addr, addrrange_end(range));
75}
76
Avi Kivity093bc2c2011-07-26 14:26:01 +030077static bool addrrange_intersects(AddrRange r1, AddrRange r2)
78{
Avi Kivity08dafab2011-10-16 13:19:17 +020079 return addrrange_contains(r1, r2.start)
80 || addrrange_contains(r2, r1.start);
Avi Kivity093bc2c2011-07-26 14:26:01 +030081}
82
83static AddrRange addrrange_intersection(AddrRange r1, AddrRange r2)
84{
Avi Kivity08dafab2011-10-16 13:19:17 +020085 Int128 start = int128_max(r1.start, r2.start);
86 Int128 end = int128_min(addrrange_end(r1), addrrange_end(r2));
87 return addrrange_make(start, int128_sub(end, start));
Avi Kivity093bc2c2011-07-26 14:26:01 +030088}
89
Avi Kivity0e0d36b2012-02-08 16:39:45 +020090enum ListenerDirection { Forward, Reverse };
91
Avi Kivity7376e582012-02-08 21:05:17 +020092static bool memory_listener_match(MemoryListener *listener,
93 MemoryRegionSection *section)
94{
95 return !listener->address_space_filter
96 || listener->address_space_filter == section->address_space;
97}
98
99#define MEMORY_LISTENER_CALL_GLOBAL(_callback, _direction, _args...) \
Avi Kivity0e0d36b2012-02-08 16:39:45 +0200100 do { \
101 MemoryListener *_listener; \
102 \
103 switch (_direction) { \
104 case Forward: \
105 QTAILQ_FOREACH(_listener, &memory_listeners, link) { \
Avi Kivity975aefe2012-10-02 16:39:57 +0200106 if (_listener->_callback) { \
107 _listener->_callback(_listener, ##_args); \
108 } \
Avi Kivity0e0d36b2012-02-08 16:39:45 +0200109 } \
110 break; \
111 case Reverse: \
112 QTAILQ_FOREACH_REVERSE(_listener, &memory_listeners, \
113 memory_listeners, link) { \
Avi Kivity975aefe2012-10-02 16:39:57 +0200114 if (_listener->_callback) { \
115 _listener->_callback(_listener, ##_args); \
116 } \
Avi Kivity0e0d36b2012-02-08 16:39:45 +0200117 } \
118 break; \
119 default: \
120 abort(); \
121 } \
122 } while (0)
123
Avi Kivity7376e582012-02-08 21:05:17 +0200124#define MEMORY_LISTENER_CALL(_callback, _direction, _section, _args...) \
125 do { \
126 MemoryListener *_listener; \
127 \
128 switch (_direction) { \
129 case Forward: \
130 QTAILQ_FOREACH(_listener, &memory_listeners, link) { \
Avi Kivity975aefe2012-10-02 16:39:57 +0200131 if (_listener->_callback \
132 && memory_listener_match(_listener, _section)) { \
Avi Kivity7376e582012-02-08 21:05:17 +0200133 _listener->_callback(_listener, _section, ##_args); \
134 } \
135 } \
136 break; \
137 case Reverse: \
138 QTAILQ_FOREACH_REVERSE(_listener, &memory_listeners, \
139 memory_listeners, link) { \
Avi Kivity975aefe2012-10-02 16:39:57 +0200140 if (_listener->_callback \
141 && memory_listener_match(_listener, _section)) { \
Avi Kivity7376e582012-02-08 21:05:17 +0200142 _listener->_callback(_listener, _section, ##_args); \
143 } \
144 } \
145 break; \
146 default: \
147 abort(); \
148 } \
149 } while (0)
150
Avi Kivity0e0d36b2012-02-08 16:39:45 +0200151#define MEMORY_LISTENER_UPDATE_REGION(fr, as, dir, callback) \
Avi Kivity7376e582012-02-08 21:05:17 +0200152 MEMORY_LISTENER_CALL(callback, dir, (&(MemoryRegionSection) { \
Avi Kivity0e0d36b2012-02-08 16:39:45 +0200153 .mr = (fr)->mr, \
Avi Kivityf6790af2012-10-02 20:13:51 +0200154 .address_space = (as), \
Avi Kivity0e0d36b2012-02-08 16:39:45 +0200155 .offset_within_region = (fr)->offset_in_region, \
Paolo Bonzini052e87b2013-05-27 10:08:27 +0200156 .size = (fr)->addr.size, \
Avi Kivity0e0d36b2012-02-08 16:39:45 +0200157 .offset_within_address_space = int128_get64((fr)->addr.start), \
Avi Kivity7a8499e2012-02-08 17:01:23 +0200158 .readonly = (fr)->readonly, \
Avi Kivity7376e582012-02-08 21:05:17 +0200159 }))
Avi Kivity0e0d36b2012-02-08 16:39:45 +0200160
Avi Kivity093bc2c2011-07-26 14:26:01 +0300161struct CoalescedMemoryRange {
162 AddrRange addr;
163 QTAILQ_ENTRY(CoalescedMemoryRange) link;
164};
165
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300166struct MemoryRegionIoeventfd {
167 AddrRange addr;
168 bool match_data;
169 uint64_t data;
Paolo Bonzini753d5e12012-07-05 17:16:27 +0200170 EventNotifier *e;
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300171};
172
173static bool memory_region_ioeventfd_before(MemoryRegionIoeventfd a,
174 MemoryRegionIoeventfd b)
175{
Avi Kivity08dafab2011-10-16 13:19:17 +0200176 if (int128_lt(a.addr.start, b.addr.start)) {
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300177 return true;
Avi Kivity08dafab2011-10-16 13:19:17 +0200178 } else if (int128_gt(a.addr.start, b.addr.start)) {
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300179 return false;
Avi Kivity08dafab2011-10-16 13:19:17 +0200180 } else if (int128_lt(a.addr.size, b.addr.size)) {
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300181 return true;
Avi Kivity08dafab2011-10-16 13:19:17 +0200182 } else if (int128_gt(a.addr.size, b.addr.size)) {
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300183 return false;
184 } else if (a.match_data < b.match_data) {
185 return true;
186 } else if (a.match_data > b.match_data) {
187 return false;
188 } else if (a.match_data) {
189 if (a.data < b.data) {
190 return true;
191 } else if (a.data > b.data) {
192 return false;
193 }
194 }
Paolo Bonzini753d5e12012-07-05 17:16:27 +0200195 if (a.e < b.e) {
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300196 return true;
Paolo Bonzini753d5e12012-07-05 17:16:27 +0200197 } else if (a.e > b.e) {
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300198 return false;
199 }
200 return false;
201}
202
203static bool memory_region_ioeventfd_equal(MemoryRegionIoeventfd a,
204 MemoryRegionIoeventfd b)
205{
206 return !memory_region_ioeventfd_before(a, b)
207 && !memory_region_ioeventfd_before(b, a);
208}
209
Avi Kivity093bc2c2011-07-26 14:26:01 +0300210typedef struct FlatRange FlatRange;
211typedef struct FlatView FlatView;
212
213/* Range of memory in the global map. Addresses are absolute. */
214struct FlatRange {
215 MemoryRegion *mr;
Avi Kivitya8170e52012-10-23 12:30:10 +0200216 hwaddr offset_in_region;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300217 AddrRange addr;
Avi Kivity5a583342011-07-26 14:26:02 +0300218 uint8_t dirty_log_mask;
Jan Kiszka5f9a5ea2013-05-07 19:04:25 +0200219 bool romd_mode;
Avi Kivityfb1cd6f2011-09-25 14:48:47 +0300220 bool readonly;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300221};
222
223/* Flattened global view of current active memory hierarchy. Kept in sorted
224 * order.
225 */
226struct FlatView {
227 FlatRange *ranges;
228 unsigned nr;
229 unsigned nr_allocated;
230};
231
Avi Kivitycc31e6e2011-07-26 14:26:05 +0300232typedef struct AddressSpaceOps AddressSpaceOps;
233
Avi Kivity093bc2c2011-07-26 14:26:01 +0300234#define FOR_EACH_FLAT_RANGE(var, view) \
235 for (var = (view)->ranges; var < (view)->ranges + (view)->nr; ++var)
236
Avi Kivity093bc2c2011-07-26 14:26:01 +0300237static bool flatrange_equal(FlatRange *a, FlatRange *b)
238{
239 return a->mr == b->mr
240 && addrrange_equal(a->addr, b->addr)
Avi Kivityd0a9b5b2011-08-08 19:58:49 +0300241 && a->offset_in_region == b->offset_in_region
Jan Kiszka5f9a5ea2013-05-07 19:04:25 +0200242 && a->romd_mode == b->romd_mode
Avi Kivityfb1cd6f2011-09-25 14:48:47 +0300243 && a->readonly == b->readonly;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300244}
245
246static void flatview_init(FlatView *view)
247{
248 view->ranges = NULL;
249 view->nr = 0;
250 view->nr_allocated = 0;
251}
252
253/* Insert a range into a given position. Caller is responsible for maintaining
254 * sorting order.
255 */
256static void flatview_insert(FlatView *view, unsigned pos, FlatRange *range)
257{
258 if (view->nr == view->nr_allocated) {
259 view->nr_allocated = MAX(2 * view->nr, 10);
Anthony Liguori7267c092011-08-20 22:09:37 -0500260 view->ranges = g_realloc(view->ranges,
Avi Kivity093bc2c2011-07-26 14:26:01 +0300261 view->nr_allocated * sizeof(*view->ranges));
262 }
263 memmove(view->ranges + pos + 1, view->ranges + pos,
264 (view->nr - pos) * sizeof(FlatRange));
265 view->ranges[pos] = *range;
266 ++view->nr;
267}
268
269static void flatview_destroy(FlatView *view)
270{
Anthony Liguori7267c092011-08-20 22:09:37 -0500271 g_free(view->ranges);
Avi Kivity093bc2c2011-07-26 14:26:01 +0300272}
273
Avi Kivity3d8e6bf2011-07-26 14:26:03 +0300274static bool can_merge(FlatRange *r1, FlatRange *r2)
275{
Avi Kivity08dafab2011-10-16 13:19:17 +0200276 return int128_eq(addrrange_end(r1->addr), r2->addr.start)
Avi Kivity3d8e6bf2011-07-26 14:26:03 +0300277 && r1->mr == r2->mr
Avi Kivity08dafab2011-10-16 13:19:17 +0200278 && int128_eq(int128_add(int128_make64(r1->offset_in_region),
279 r1->addr.size),
280 int128_make64(r2->offset_in_region))
Avi Kivityd0a9b5b2011-08-08 19:58:49 +0300281 && r1->dirty_log_mask == r2->dirty_log_mask
Jan Kiszka5f9a5ea2013-05-07 19:04:25 +0200282 && r1->romd_mode == r2->romd_mode
Avi Kivityfb1cd6f2011-09-25 14:48:47 +0300283 && r1->readonly == r2->readonly;
Avi Kivity3d8e6bf2011-07-26 14:26:03 +0300284}
285
Peter Crosthwaite8508e022013-06-03 15:31:56 +1000286/* Attempt to simplify a view by merging adjacent ranges */
Avi Kivity3d8e6bf2011-07-26 14:26:03 +0300287static void flatview_simplify(FlatView *view)
288{
289 unsigned i, j;
290
291 i = 0;
292 while (i < view->nr) {
293 j = i + 1;
294 while (j < view->nr
295 && can_merge(&view->ranges[j-1], &view->ranges[j])) {
Avi Kivity08dafab2011-10-16 13:19:17 +0200296 int128_addto(&view->ranges[i].addr.size, view->ranges[j].addr.size);
Avi Kivity3d8e6bf2011-07-26 14:26:03 +0300297 ++j;
298 }
299 ++i;
300 memmove(&view->ranges[i], &view->ranges[j],
301 (view->nr - j) * sizeof(view->ranges[j]));
302 view->nr -= j - i;
303 }
304}
305
Paolo Bonzinice5d2f32013-05-24 17:45:48 +0200306static void memory_region_oldmmio_read_accessor(void *opaque,
307 hwaddr addr,
308 uint64_t *value,
309 unsigned size,
310 unsigned shift,
311 uint64_t mask)
312{
313 MemoryRegion *mr = opaque;
314 uint64_t tmp;
315
316 tmp = mr->ops->old_mmio.read[ctz32(size)](mr->opaque, addr);
317 *value |= (tmp & mask) << shift;
318}
319
Avi Kivity164a4dc2011-08-11 10:40:25 +0300320static void memory_region_read_accessor(void *opaque,
Avi Kivitya8170e52012-10-23 12:30:10 +0200321 hwaddr addr,
Avi Kivity164a4dc2011-08-11 10:40:25 +0300322 uint64_t *value,
323 unsigned size,
324 unsigned shift,
325 uint64_t mask)
326{
327 MemoryRegion *mr = opaque;
328 uint64_t tmp;
329
Jan Kiszkad4105152012-08-23 13:02:29 +0200330 if (mr->flush_coalesced_mmio) {
331 qemu_flush_coalesced_mmio_buffer();
332 }
Avi Kivity164a4dc2011-08-11 10:40:25 +0300333 tmp = mr->ops->read(mr->opaque, addr, size);
334 *value |= (tmp & mask) << shift;
335}
336
Paolo Bonzinice5d2f32013-05-24 17:45:48 +0200337static void memory_region_oldmmio_write_accessor(void *opaque,
338 hwaddr addr,
339 uint64_t *value,
340 unsigned size,
341 unsigned shift,
342 uint64_t mask)
343{
344 MemoryRegion *mr = opaque;
345 uint64_t tmp;
346
347 tmp = (*value >> shift) & mask;
348 mr->ops->old_mmio.write[ctz32(size)](mr->opaque, addr, tmp);
349}
350
Avi Kivity164a4dc2011-08-11 10:40:25 +0300351static void memory_region_write_accessor(void *opaque,
Avi Kivitya8170e52012-10-23 12:30:10 +0200352 hwaddr addr,
Avi Kivity164a4dc2011-08-11 10:40:25 +0300353 uint64_t *value,
354 unsigned size,
355 unsigned shift,
356 uint64_t mask)
357{
358 MemoryRegion *mr = opaque;
359 uint64_t tmp;
360
Jan Kiszkad4105152012-08-23 13:02:29 +0200361 if (mr->flush_coalesced_mmio) {
362 qemu_flush_coalesced_mmio_buffer();
363 }
Avi Kivity164a4dc2011-08-11 10:40:25 +0300364 tmp = (*value >> shift) & mask;
365 mr->ops->write(mr->opaque, addr, tmp, size);
366}
367
Avi Kivitya8170e52012-10-23 12:30:10 +0200368static void access_with_adjusted_size(hwaddr addr,
Avi Kivity164a4dc2011-08-11 10:40:25 +0300369 uint64_t *value,
370 unsigned size,
371 unsigned access_size_min,
372 unsigned access_size_max,
373 void (*access)(void *opaque,
Avi Kivitya8170e52012-10-23 12:30:10 +0200374 hwaddr addr,
Avi Kivity164a4dc2011-08-11 10:40:25 +0300375 uint64_t *value,
376 unsigned size,
377 unsigned shift,
378 uint64_t mask),
379 void *opaque)
380{
381 uint64_t access_mask;
382 unsigned access_size;
383 unsigned i;
384
385 if (!access_size_min) {
386 access_size_min = 1;
387 }
388 if (!access_size_max) {
389 access_size_max = 4;
390 }
Paolo Bonzinice5d2f32013-05-24 17:45:48 +0200391
392 /* FIXME: support unaligned access? */
Avi Kivity164a4dc2011-08-11 10:40:25 +0300393 access_size = MAX(MIN(size, access_size_max), access_size_min);
394 access_mask = -1ULL >> (64 - access_size * 8);
395 for (i = 0; i < size; i += access_size) {
Paolo Bonzini08521e22013-05-24 12:54:01 +0200396#ifdef TARGET_WORDS_BIGENDIAN
397 access(opaque, addr + i, value, access_size,
398 (size - access_size - i) * 8, access_mask);
399#else
Avi Kivity164a4dc2011-08-11 10:40:25 +0300400 access(opaque, addr + i, value, access_size, i * 8, access_mask);
Paolo Bonzini08521e22013-05-24 12:54:01 +0200401#endif
Avi Kivity164a4dc2011-08-11 10:40:25 +0300402 }
403}
404
Avi Kivitye2177952011-12-08 15:00:18 +0200405static AddressSpace *memory_region_to_address_space(MemoryRegion *mr)
406{
Avi Kivity0d673e32012-10-02 15:28:50 +0200407 AddressSpace *as;
408
Avi Kivitye2177952011-12-08 15:00:18 +0200409 while (mr->parent) {
410 mr = mr->parent;
411 }
Avi Kivity0d673e32012-10-02 15:28:50 +0200412 QTAILQ_FOREACH(as, &address_spaces, address_spaces_link) {
413 if (mr == as->root) {
414 return as;
415 }
Avi Kivitye2177952011-12-08 15:00:18 +0200416 }
417 abort();
418}
419
Avi Kivity093bc2c2011-07-26 14:26:01 +0300420/* Render a memory region into the global view. Ranges in @view obscure
421 * ranges in @mr.
422 */
423static void render_memory_region(FlatView *view,
424 MemoryRegion *mr,
Avi Kivity08dafab2011-10-16 13:19:17 +0200425 Int128 base,
Avi Kivityfb1cd6f2011-09-25 14:48:47 +0300426 AddrRange clip,
427 bool readonly)
Avi Kivity093bc2c2011-07-26 14:26:01 +0300428{
429 MemoryRegion *subregion;
430 unsigned i;
Avi Kivitya8170e52012-10-23 12:30:10 +0200431 hwaddr offset_in_region;
Avi Kivity08dafab2011-10-16 13:19:17 +0200432 Int128 remain;
433 Int128 now;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300434 FlatRange fr;
435 AddrRange tmp;
436
Avi Kivity6bba19b2011-09-14 11:54:58 +0300437 if (!mr->enabled) {
438 return;
439 }
440
Avi Kivity08dafab2011-10-16 13:19:17 +0200441 int128_addto(&base, int128_make64(mr->addr));
Avi Kivityfb1cd6f2011-09-25 14:48:47 +0300442 readonly |= mr->readonly;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300443
444 tmp = addrrange_make(base, mr->size);
445
446 if (!addrrange_intersects(tmp, clip)) {
447 return;
448 }
449
450 clip = addrrange_intersection(tmp, clip);
451
452 if (mr->alias) {
Avi Kivity08dafab2011-10-16 13:19:17 +0200453 int128_subfrom(&base, int128_make64(mr->alias->addr));
454 int128_subfrom(&base, int128_make64(mr->alias_offset));
Avi Kivityfb1cd6f2011-09-25 14:48:47 +0300455 render_memory_region(view, mr->alias, base, clip, readonly);
Avi Kivity093bc2c2011-07-26 14:26:01 +0300456 return;
457 }
458
459 /* Render subregions in priority order. */
460 QTAILQ_FOREACH(subregion, &mr->subregions, subregions_link) {
Avi Kivityfb1cd6f2011-09-25 14:48:47 +0300461 render_memory_region(view, subregion, base, clip, readonly);
Avi Kivity093bc2c2011-07-26 14:26:01 +0300462 }
463
Avi Kivity14a3c102011-07-26 14:26:06 +0300464 if (!mr->terminates) {
Avi Kivity093bc2c2011-07-26 14:26:01 +0300465 return;
466 }
467
Avi Kivity08dafab2011-10-16 13:19:17 +0200468 offset_in_region = int128_get64(int128_sub(clip.start, base));
Avi Kivity093bc2c2011-07-26 14:26:01 +0300469 base = clip.start;
470 remain = clip.size;
471
Peter Crosthwaite2eb74e12013-06-03 15:33:29 +1000472 fr.mr = mr;
473 fr.dirty_log_mask = mr->dirty_log_mask;
474 fr.romd_mode = mr->romd_mode;
475 fr.readonly = readonly;
476
Avi Kivity093bc2c2011-07-26 14:26:01 +0300477 /* Render the region itself into any gaps left by the current view. */
Avi Kivity08dafab2011-10-16 13:19:17 +0200478 for (i = 0; i < view->nr && int128_nz(remain); ++i) {
479 if (int128_ge(base, addrrange_end(view->ranges[i].addr))) {
Avi Kivity093bc2c2011-07-26 14:26:01 +0300480 continue;
481 }
Avi Kivity08dafab2011-10-16 13:19:17 +0200482 if (int128_lt(base, view->ranges[i].addr.start)) {
483 now = int128_min(remain,
484 int128_sub(view->ranges[i].addr.start, base));
Avi Kivity093bc2c2011-07-26 14:26:01 +0300485 fr.offset_in_region = offset_in_region;
486 fr.addr = addrrange_make(base, now);
487 flatview_insert(view, i, &fr);
488 ++i;
Avi Kivity08dafab2011-10-16 13:19:17 +0200489 int128_addto(&base, now);
490 offset_in_region += int128_get64(now);
491 int128_subfrom(&remain, now);
Avi Kivity093bc2c2011-07-26 14:26:01 +0300492 }
Avi Kivityd26a8ca2012-10-29 18:22:36 +0200493 now = int128_sub(int128_min(int128_add(base, remain),
494 addrrange_end(view->ranges[i].addr)),
495 base);
496 int128_addto(&base, now);
497 offset_in_region += int128_get64(now);
498 int128_subfrom(&remain, now);
Avi Kivity093bc2c2011-07-26 14:26:01 +0300499 }
Avi Kivity08dafab2011-10-16 13:19:17 +0200500 if (int128_nz(remain)) {
Avi Kivity093bc2c2011-07-26 14:26:01 +0300501 fr.offset_in_region = offset_in_region;
502 fr.addr = addrrange_make(base, remain);
503 flatview_insert(view, i, &fr);
504 }
505}
506
507/* Render a memory topology into a list of disjoint absolute ranges. */
508static FlatView generate_memory_topology(MemoryRegion *mr)
509{
510 FlatView view;
511
512 flatview_init(&view);
513
Avi Kivity83f3c252012-10-07 12:59:55 +0200514 if (mr) {
515 render_memory_region(&view, mr, int128_zero(),
516 addrrange_make(int128_zero(), int128_2_64()), false);
517 }
Avi Kivity3d8e6bf2011-07-26 14:26:03 +0300518 flatview_simplify(&view);
Avi Kivity093bc2c2011-07-26 14:26:01 +0300519
520 return view;
521}
522
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300523static void address_space_add_del_ioeventfds(AddressSpace *as,
524 MemoryRegionIoeventfd *fds_new,
525 unsigned fds_new_nb,
526 MemoryRegionIoeventfd *fds_old,
527 unsigned fds_old_nb)
528{
529 unsigned iold, inew;
Avi Kivity80a1ea32012-02-08 16:39:06 +0200530 MemoryRegionIoeventfd *fd;
531 MemoryRegionSection section;
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300532
533 /* Generate a symmetric difference of the old and new fd sets, adding
534 * and deleting as necessary.
535 */
536
537 iold = inew = 0;
538 while (iold < fds_old_nb || inew < fds_new_nb) {
539 if (iold < fds_old_nb
540 && (inew == fds_new_nb
541 || memory_region_ioeventfd_before(fds_old[iold],
542 fds_new[inew]))) {
Avi Kivity80a1ea32012-02-08 16:39:06 +0200543 fd = &fds_old[iold];
544 section = (MemoryRegionSection) {
Avi Kivityf6790af2012-10-02 20:13:51 +0200545 .address_space = as,
Avi Kivity80a1ea32012-02-08 16:39:06 +0200546 .offset_within_address_space = int128_get64(fd->addr.start),
Paolo Bonzini052e87b2013-05-27 10:08:27 +0200547 .size = fd->addr.size,
Avi Kivity80a1ea32012-02-08 16:39:06 +0200548 };
549 MEMORY_LISTENER_CALL(eventfd_del, Forward, &section,
Paolo Bonzini753d5e12012-07-05 17:16:27 +0200550 fd->match_data, fd->data, fd->e);
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300551 ++iold;
552 } else if (inew < fds_new_nb
553 && (iold == fds_old_nb
554 || memory_region_ioeventfd_before(fds_new[inew],
555 fds_old[iold]))) {
Avi Kivity80a1ea32012-02-08 16:39:06 +0200556 fd = &fds_new[inew];
557 section = (MemoryRegionSection) {
Avi Kivityf6790af2012-10-02 20:13:51 +0200558 .address_space = as,
Avi Kivity80a1ea32012-02-08 16:39:06 +0200559 .offset_within_address_space = int128_get64(fd->addr.start),
Paolo Bonzini052e87b2013-05-27 10:08:27 +0200560 .size = fd->addr.size,
Avi Kivity80a1ea32012-02-08 16:39:06 +0200561 };
562 MEMORY_LISTENER_CALL(eventfd_add, Reverse, &section,
Paolo Bonzini753d5e12012-07-05 17:16:27 +0200563 fd->match_data, fd->data, fd->e);
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300564 ++inew;
565 } else {
566 ++iold;
567 ++inew;
568 }
569 }
570}
571
572static void address_space_update_ioeventfds(AddressSpace *as)
573{
574 FlatRange *fr;
575 unsigned ioeventfd_nb = 0;
576 MemoryRegionIoeventfd *ioeventfds = NULL;
577 AddrRange tmp;
578 unsigned i;
579
Avi Kivity8786db72012-10-02 13:53:41 +0200580 FOR_EACH_FLAT_RANGE(fr, as->current_map) {
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300581 for (i = 0; i < fr->mr->ioeventfd_nb; ++i) {
582 tmp = addrrange_shift(fr->mr->ioeventfds[i].addr,
Avi Kivity08dafab2011-10-16 13:19:17 +0200583 int128_sub(fr->addr.start,
584 int128_make64(fr->offset_in_region)));
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300585 if (addrrange_intersects(fr->addr, tmp)) {
586 ++ioeventfd_nb;
Anthony Liguori7267c092011-08-20 22:09:37 -0500587 ioeventfds = g_realloc(ioeventfds,
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300588 ioeventfd_nb * sizeof(*ioeventfds));
589 ioeventfds[ioeventfd_nb-1] = fr->mr->ioeventfds[i];
590 ioeventfds[ioeventfd_nb-1].addr = tmp;
591 }
592 }
593 }
594
595 address_space_add_del_ioeventfds(as, ioeventfds, ioeventfd_nb,
596 as->ioeventfds, as->ioeventfd_nb);
597
Anthony Liguori7267c092011-08-20 22:09:37 -0500598 g_free(as->ioeventfds);
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300599 as->ioeventfds = ioeventfds;
600 as->ioeventfd_nb = ioeventfd_nb;
601}
602
Avi Kivityb8af1af2011-07-26 14:26:12 +0300603static void address_space_update_topology_pass(AddressSpace *as,
604 FlatView old_view,
605 FlatView new_view,
606 bool adding)
Avi Kivity093bc2c2011-07-26 14:26:01 +0300607{
Avi Kivity093bc2c2011-07-26 14:26:01 +0300608 unsigned iold, inew;
609 FlatRange *frold, *frnew;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300610
611 /* Generate a symmetric difference of the old and new memory maps.
612 * Kill ranges in the old map, and instantiate ranges in the new map.
613 */
614 iold = inew = 0;
615 while (iold < old_view.nr || inew < new_view.nr) {
616 if (iold < old_view.nr) {
617 frold = &old_view.ranges[iold];
618 } else {
619 frold = NULL;
620 }
621 if (inew < new_view.nr) {
622 frnew = &new_view.ranges[inew];
623 } else {
624 frnew = NULL;
625 }
626
627 if (frold
628 && (!frnew
Avi Kivity08dafab2011-10-16 13:19:17 +0200629 || int128_lt(frold->addr.start, frnew->addr.start)
630 || (int128_eq(frold->addr.start, frnew->addr.start)
Avi Kivity093bc2c2011-07-26 14:26:01 +0300631 && !flatrange_equal(frold, frnew)))) {
Peter Crosthwaite41a6e472013-06-03 15:32:42 +1000632 /* In old but not in new, or in both but attributes changed. */
Avi Kivity093bc2c2011-07-26 14:26:01 +0300633
Avi Kivityb8af1af2011-07-26 14:26:12 +0300634 if (!adding) {
Avi Kivity72e22d22012-02-08 15:05:50 +0200635 MEMORY_LISTENER_UPDATE_REGION(frold, as, Reverse, region_del);
Avi Kivityb8af1af2011-07-26 14:26:12 +0300636 }
637
Avi Kivity093bc2c2011-07-26 14:26:01 +0300638 ++iold;
639 } else if (frold && frnew && flatrange_equal(frold, frnew)) {
Peter Crosthwaite41a6e472013-06-03 15:32:42 +1000640 /* In both and unchanged (except logging may have changed) */
Avi Kivity093bc2c2011-07-26 14:26:01 +0300641
Avi Kivityb8af1af2011-07-26 14:26:12 +0300642 if (adding) {
Avi Kivity50c1e142012-02-08 21:36:02 +0200643 MEMORY_LISTENER_UPDATE_REGION(frnew, as, Forward, region_nop);
Avi Kivityb8af1af2011-07-26 14:26:12 +0300644 if (frold->dirty_log_mask && !frnew->dirty_log_mask) {
Avi Kivity72e22d22012-02-08 15:05:50 +0200645 MEMORY_LISTENER_UPDATE_REGION(frnew, as, Reverse, log_stop);
Avi Kivityb8af1af2011-07-26 14:26:12 +0300646 } else if (frnew->dirty_log_mask && !frold->dirty_log_mask) {
Avi Kivity72e22d22012-02-08 15:05:50 +0200647 MEMORY_LISTENER_UPDATE_REGION(frnew, as, Forward, log_start);
Avi Kivityb8af1af2011-07-26 14:26:12 +0300648 }
Avi Kivity5a583342011-07-26 14:26:02 +0300649 }
650
Avi Kivity093bc2c2011-07-26 14:26:01 +0300651 ++iold;
652 ++inew;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300653 } else {
654 /* In new */
655
Avi Kivityb8af1af2011-07-26 14:26:12 +0300656 if (adding) {
Avi Kivity72e22d22012-02-08 15:05:50 +0200657 MEMORY_LISTENER_UPDATE_REGION(frnew, as, Forward, region_add);
Avi Kivityb8af1af2011-07-26 14:26:12 +0300658 }
659
Avi Kivity093bc2c2011-07-26 14:26:01 +0300660 ++inew;
661 }
662 }
Avi Kivityb8af1af2011-07-26 14:26:12 +0300663}
664
665
666static void address_space_update_topology(AddressSpace *as)
667{
Avi Kivity8786db72012-10-02 13:53:41 +0200668 FlatView old_view = *as->current_map;
Avi Kivityb8af1af2011-07-26 14:26:12 +0300669 FlatView new_view = generate_memory_topology(as->root);
670
671 address_space_update_topology_pass(as, old_view, new_view, false);
672 address_space_update_topology_pass(as, old_view, new_view, true);
673
Avi Kivity8786db72012-10-02 13:53:41 +0200674 *as->current_map = new_view;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300675 flatview_destroy(&old_view);
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300676 address_space_update_ioeventfds(as);
Avi Kivity093bc2c2011-07-26 14:26:01 +0300677}
678
Avi Kivity4ef4db82011-07-26 14:26:13 +0300679void memory_region_transaction_begin(void)
680{
Jan Kiszkabb880de2012-08-23 13:02:32 +0200681 qemu_flush_coalesced_mmio_buffer();
Avi Kivity4ef4db82011-07-26 14:26:13 +0300682 ++memory_region_transaction_depth;
683}
684
685void memory_region_transaction_commit(void)
686{
Avi Kivity0d673e32012-10-02 15:28:50 +0200687 AddressSpace *as;
688
Avi Kivity4ef4db82011-07-26 14:26:13 +0300689 assert(memory_region_transaction_depth);
690 --memory_region_transaction_depth;
Jan Kiszka22bde712012-11-05 16:45:56 +0100691 if (!memory_region_transaction_depth && memory_region_update_pending) {
692 memory_region_update_pending = false;
Jan Kiszka02e2b952012-08-23 13:02:31 +0200693 MEMORY_LISTENER_CALL_GLOBAL(begin, Forward);
694
Avi Kivity0d673e32012-10-02 15:28:50 +0200695 QTAILQ_FOREACH(as, &address_spaces, address_spaces_link) {
696 address_space_update_topology(as);
Jan Kiszka02e2b952012-08-23 13:02:31 +0200697 }
698
699 MEMORY_LISTENER_CALL_GLOBAL(commit, Forward);
Avi Kivitye87c0992011-09-14 12:16:20 +0300700 }
Avi Kivity4ef4db82011-07-26 14:26:13 +0300701}
702
Avi Kivity545e92e2011-08-08 19:58:48 +0300703static void memory_region_destructor_none(MemoryRegion *mr)
704{
705}
706
707static void memory_region_destructor_ram(MemoryRegion *mr)
708{
709 qemu_ram_free(mr->ram_addr);
710}
711
712static void memory_region_destructor_ram_from_ptr(MemoryRegion *mr)
713{
714 qemu_ram_free_from_ptr(mr->ram_addr);
715}
716
Avi Kivityd0a9b5b2011-08-08 19:58:49 +0300717static void memory_region_destructor_rom_device(MemoryRegion *mr)
718{
719 qemu_ram_free(mr->ram_addr & TARGET_PAGE_MASK);
Avi Kivityd0a9b5b2011-08-08 19:58:49 +0300720}
721
Avi Kivitybe675c92011-11-20 16:22:55 +0200722static bool memory_region_wrong_endianness(MemoryRegion *mr)
723{
Andreas Färber2c3579a2012-01-07 09:45:14 +0100724#ifdef TARGET_WORDS_BIGENDIAN
Avi Kivitybe675c92011-11-20 16:22:55 +0200725 return mr->ops->endianness == DEVICE_LITTLE_ENDIAN;
726#else
727 return mr->ops->endianness == DEVICE_BIG_ENDIAN;
728#endif
729}
730
Avi Kivity093bc2c2011-07-26 14:26:01 +0300731void memory_region_init(MemoryRegion *mr,
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -0400732 Object *owner,
Avi Kivity093bc2c2011-07-26 14:26:01 +0300733 const char *name,
734 uint64_t size)
735{
Paolo Bonzini2cdfcf22013-05-24 13:55:52 +0200736 mr->ops = &unassigned_mem_ops;
737 mr->opaque = NULL;
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -0400738 mr->owner = owner;
Avi Kivity30951152012-10-30 13:47:46 +0200739 mr->iommu_ops = NULL;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300740 mr->parent = NULL;
Avi Kivity08dafab2011-10-16 13:19:17 +0200741 mr->size = int128_make64(size);
742 if (size == UINT64_MAX) {
743 mr->size = int128_2_64();
744 }
Avi Kivity093bc2c2011-07-26 14:26:01 +0300745 mr->addr = 0;
Avi Kivityb3b00c72012-01-02 13:20:11 +0200746 mr->subpage = false;
Avi Kivity6bba19b2011-09-14 11:54:58 +0300747 mr->enabled = true;
Avi Kivity14a3c102011-07-26 14:26:06 +0300748 mr->terminates = false;
Avi Kivity8ea92522011-12-08 15:58:43 +0200749 mr->ram = false;
Jan Kiszka5f9a5ea2013-05-07 19:04:25 +0200750 mr->romd_mode = true;
Avi Kivityfb1cd6f2011-09-25 14:48:47 +0300751 mr->readonly = false;
Avi Kivity75c578d2012-01-02 15:40:52 +0200752 mr->rom_device = false;
Avi Kivity545e92e2011-08-08 19:58:48 +0300753 mr->destructor = memory_region_destructor_none;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300754 mr->priority = 0;
755 mr->may_overlap = false;
756 mr->alias = NULL;
757 QTAILQ_INIT(&mr->subregions);
758 memset(&mr->subregions_link, 0, sizeof mr->subregions_link);
759 QTAILQ_INIT(&mr->coalesced);
Anthony Liguori7267c092011-08-20 22:09:37 -0500760 mr->name = g_strdup(name);
Avi Kivity5a583342011-07-26 14:26:02 +0300761 mr->dirty_log_mask = 0;
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300762 mr->ioeventfd_nb = 0;
763 mr->ioeventfds = NULL;
Jan Kiszkad4105152012-08-23 13:02:29 +0200764 mr->flush_coalesced_mmio = false;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300765}
766
Paolo Bonzinib018ddf2013-05-24 14:48:38 +0200767static uint64_t unassigned_mem_read(void *opaque, hwaddr addr,
768 unsigned size)
769{
770#ifdef DEBUG_UNASSIGNED
771 printf("Unassigned mem read " TARGET_FMT_plx "\n", addr);
772#endif
Andreas Färberc658b942013-05-27 06:49:53 +0200773 if (cpu_single_env != NULL) {
774 cpu_unassigned_access(ENV_GET_CPU(cpu_single_env),
775 addr, false, false, 0, size);
776 }
Paolo Bonzinib018ddf2013-05-24 14:48:38 +0200777 return 0;
778}
779
780static void unassigned_mem_write(void *opaque, hwaddr addr,
781 uint64_t val, unsigned size)
782{
783#ifdef DEBUG_UNASSIGNED
784 printf("Unassigned mem write " TARGET_FMT_plx " = 0x%"PRIx64"\n", addr, val);
785#endif
Andreas Färberc658b942013-05-27 06:49:53 +0200786 if (cpu_single_env != NULL) {
787 cpu_unassigned_access(ENV_GET_CPU(cpu_single_env),
788 addr, true, false, 0, size);
789 }
Paolo Bonzinib018ddf2013-05-24 14:48:38 +0200790}
791
Paolo Bonzinid1970632013-05-24 13:23:38 +0200792static bool unassigned_mem_accepts(void *opaque, hwaddr addr,
793 unsigned size, bool is_write)
794{
795 return false;
796}
797
798const MemoryRegionOps unassigned_mem_ops = {
799 .valid.accepts = unassigned_mem_accepts,
800 .endianness = DEVICE_NATIVE_ENDIAN,
801};
802
Paolo Bonzinid2702032013-05-24 11:55:06 +0200803bool memory_region_access_valid(MemoryRegion *mr,
804 hwaddr addr,
805 unsigned size,
806 bool is_write)
Avi Kivity093bc2c2011-07-26 14:26:01 +0300807{
Paolo Bonzinia014ed02013-05-24 17:48:52 +0200808 int access_size_min, access_size_max;
809 int access_size, i;
Avi Kivity897fa7c2011-11-13 13:05:27 +0200810
Avi Kivity093bc2c2011-07-26 14:26:01 +0300811 if (!mr->ops->valid.unaligned && (addr & (size - 1))) {
812 return false;
813 }
814
Paolo Bonzinia014ed02013-05-24 17:48:52 +0200815 if (!mr->ops->valid.accepts) {
Avi Kivity093bc2c2011-07-26 14:26:01 +0300816 return true;
817 }
818
Paolo Bonzinia014ed02013-05-24 17:48:52 +0200819 access_size_min = mr->ops->valid.min_access_size;
820 if (!mr->ops->valid.min_access_size) {
821 access_size_min = 1;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300822 }
Paolo Bonzinia014ed02013-05-24 17:48:52 +0200823
824 access_size_max = mr->ops->valid.max_access_size;
825 if (!mr->ops->valid.max_access_size) {
826 access_size_max = 4;
827 }
828
829 access_size = MAX(MIN(size, access_size_max), access_size_min);
830 for (i = 0; i < size; i += access_size) {
831 if (!mr->ops->valid.accepts(mr->opaque, addr + i, access_size,
832 is_write)) {
833 return false;
834 }
835 }
836
Avi Kivity093bc2c2011-07-26 14:26:01 +0300837 return true;
838}
839
Avi Kivitya621f382012-01-02 13:12:08 +0200840static uint64_t memory_region_dispatch_read1(MemoryRegion *mr,
Avi Kivitya8170e52012-10-23 12:30:10 +0200841 hwaddr addr,
Avi Kivitya621f382012-01-02 13:12:08 +0200842 unsigned size)
Avi Kivity093bc2c2011-07-26 14:26:01 +0300843{
Avi Kivity164a4dc2011-08-11 10:40:25 +0300844 uint64_t data = 0;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300845
Paolo Bonzinice5d2f32013-05-24 17:45:48 +0200846 if (mr->ops->read) {
847 access_with_adjusted_size(addr, &data, size,
848 mr->ops->impl.min_access_size,
849 mr->ops->impl.max_access_size,
850 memory_region_read_accessor, mr);
851 } else {
852 access_with_adjusted_size(addr, &data, size, 1, 4,
853 memory_region_oldmmio_read_accessor, mr);
Avi Kivity74901c32011-07-26 14:26:10 +0300854 }
855
Avi Kivity093bc2c2011-07-26 14:26:01 +0300856 return data;
857}
858
Avi Kivitya621f382012-01-02 13:12:08 +0200859static void adjust_endianness(MemoryRegion *mr, uint64_t *data, unsigned size)
Avi Kivity093bc2c2011-07-26 14:26:01 +0300860{
Avi Kivitya621f382012-01-02 13:12:08 +0200861 if (memory_region_wrong_endianness(mr)) {
862 switch (size) {
863 case 1:
864 break;
865 case 2:
866 *data = bswap16(*data);
867 break;
868 case 4:
869 *data = bswap32(*data);
Andreas Färber1470a0c2012-01-07 09:45:15 +0100870 break;
Paolo Bonzini968a5622013-05-24 17:58:37 +0200871 case 8:
872 *data = bswap64(*data);
873 break;
Avi Kivitya621f382012-01-02 13:12:08 +0200874 default:
875 abort();
876 }
877 }
878}
Avi Kivity093bc2c2011-07-26 14:26:01 +0300879
Paolo Bonzini791af8c2013-05-24 16:10:39 +0200880static bool memory_region_dispatch_read(MemoryRegion *mr,
881 hwaddr addr,
882 uint64_t *pval,
883 unsigned size)
Avi Kivitya621f382012-01-02 13:12:08 +0200884{
Paolo Bonzini791af8c2013-05-24 16:10:39 +0200885 if (!memory_region_access_valid(mr, addr, size, false)) {
886 *pval = unassigned_mem_read(mr, addr, size);
887 return true;
888 }
Avi Kivitya621f382012-01-02 13:12:08 +0200889
Paolo Bonzini791af8c2013-05-24 16:10:39 +0200890 *pval = memory_region_dispatch_read1(mr, addr, size);
891 adjust_endianness(mr, pval, size);
892 return false;
Avi Kivitya621f382012-01-02 13:12:08 +0200893}
894
Paolo Bonzini791af8c2013-05-24 16:10:39 +0200895static bool memory_region_dispatch_write(MemoryRegion *mr,
Avi Kivitya8170e52012-10-23 12:30:10 +0200896 hwaddr addr,
Avi Kivitya621f382012-01-02 13:12:08 +0200897 uint64_t data,
898 unsigned size)
899{
Avi Kivity897fa7c2011-11-13 13:05:27 +0200900 if (!memory_region_access_valid(mr, addr, size, true)) {
Paolo Bonzinib018ddf2013-05-24 14:48:38 +0200901 unassigned_mem_write(mr, addr, data, size);
Paolo Bonzini791af8c2013-05-24 16:10:39 +0200902 return true;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300903 }
904
Avi Kivitya621f382012-01-02 13:12:08 +0200905 adjust_endianness(mr, &data, size);
906
Paolo Bonzinice5d2f32013-05-24 17:45:48 +0200907 if (mr->ops->write) {
908 access_with_adjusted_size(addr, &data, size,
909 mr->ops->impl.min_access_size,
910 mr->ops->impl.max_access_size,
911 memory_region_write_accessor, mr);
912 } else {
913 access_with_adjusted_size(addr, &data, size, 1, 4,
914 memory_region_oldmmio_write_accessor, mr);
Avi Kivity74901c32011-07-26 14:26:10 +0300915 }
Paolo Bonzini791af8c2013-05-24 16:10:39 +0200916 return false;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300917}
918
Avi Kivity093bc2c2011-07-26 14:26:01 +0300919void memory_region_init_io(MemoryRegion *mr,
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -0400920 Object *owner,
Avi Kivity093bc2c2011-07-26 14:26:01 +0300921 const MemoryRegionOps *ops,
922 void *opaque,
923 const char *name,
924 uint64_t size)
925{
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -0400926 memory_region_init(mr, owner, name, size);
Avi Kivity093bc2c2011-07-26 14:26:01 +0300927 mr->ops = ops;
928 mr->opaque = opaque;
Avi Kivity14a3c102011-07-26 14:26:06 +0300929 mr->terminates = true;
Avi Kivity97161e12012-03-08 19:16:39 +0200930 mr->ram_addr = ~(ram_addr_t)0;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300931}
932
933void memory_region_init_ram(MemoryRegion *mr,
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -0400934 Object *owner,
Avi Kivity093bc2c2011-07-26 14:26:01 +0300935 const char *name,
936 uint64_t size)
937{
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -0400938 memory_region_init(mr, owner, name, size);
Avi Kivity8ea92522011-12-08 15:58:43 +0200939 mr->ram = true;
Avi Kivity14a3c102011-07-26 14:26:06 +0300940 mr->terminates = true;
Avi Kivity545e92e2011-08-08 19:58:48 +0300941 mr->destructor = memory_region_destructor_ram;
Avi Kivityc5705a72011-12-20 15:59:12 +0200942 mr->ram_addr = qemu_ram_alloc(size, mr);
Avi Kivity093bc2c2011-07-26 14:26:01 +0300943}
944
945void memory_region_init_ram_ptr(MemoryRegion *mr,
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -0400946 Object *owner,
Avi Kivity093bc2c2011-07-26 14:26:01 +0300947 const char *name,
948 uint64_t size,
949 void *ptr)
950{
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -0400951 memory_region_init(mr, owner, name, size);
Avi Kivity8ea92522011-12-08 15:58:43 +0200952 mr->ram = true;
Avi Kivity14a3c102011-07-26 14:26:06 +0300953 mr->terminates = true;
Avi Kivity545e92e2011-08-08 19:58:48 +0300954 mr->destructor = memory_region_destructor_ram_from_ptr;
Avi Kivityc5705a72011-12-20 15:59:12 +0200955 mr->ram_addr = qemu_ram_alloc_from_ptr(size, ptr, mr);
Avi Kivity093bc2c2011-07-26 14:26:01 +0300956}
957
958void memory_region_init_alias(MemoryRegion *mr,
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -0400959 Object *owner,
Avi Kivity093bc2c2011-07-26 14:26:01 +0300960 const char *name,
961 MemoryRegion *orig,
Avi Kivitya8170e52012-10-23 12:30:10 +0200962 hwaddr offset,
Avi Kivity093bc2c2011-07-26 14:26:01 +0300963 uint64_t size)
964{
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -0400965 memory_region_init(mr, owner, name, size);
Avi Kivity093bc2c2011-07-26 14:26:01 +0300966 mr->alias = orig;
967 mr->alias_offset = offset;
968}
969
Avi Kivityd0a9b5b2011-08-08 19:58:49 +0300970void memory_region_init_rom_device(MemoryRegion *mr,
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -0400971 Object *owner,
Avi Kivityd0a9b5b2011-08-08 19:58:49 +0300972 const MemoryRegionOps *ops,
Avi Kivity75f59412011-08-26 00:35:15 +0300973 void *opaque,
Avi Kivityd0a9b5b2011-08-08 19:58:49 +0300974 const char *name,
975 uint64_t size)
976{
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -0400977 memory_region_init(mr, owner, name, size);
Avi Kivity7bc2b9c2011-08-25 14:56:14 +0300978 mr->ops = ops;
Avi Kivity75f59412011-08-26 00:35:15 +0300979 mr->opaque = opaque;
Avi Kivityd0a9b5b2011-08-08 19:58:49 +0300980 mr->terminates = true;
Avi Kivity75c578d2012-01-02 15:40:52 +0200981 mr->rom_device = true;
Avi Kivityd0a9b5b2011-08-08 19:58:49 +0300982 mr->destructor = memory_region_destructor_rom_device;
Avi Kivityc5705a72011-12-20 15:59:12 +0200983 mr->ram_addr = qemu_ram_alloc(size, mr);
Avi Kivityd0a9b5b2011-08-08 19:58:49 +0300984}
985
Avi Kivity30951152012-10-30 13:47:46 +0200986void memory_region_init_iommu(MemoryRegion *mr,
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -0400987 Object *owner,
Avi Kivity30951152012-10-30 13:47:46 +0200988 const MemoryRegionIOMMUOps *ops,
989 const char *name,
990 uint64_t size)
991{
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -0400992 memory_region_init(mr, owner, name, size);
Avi Kivity30951152012-10-30 13:47:46 +0200993 mr->iommu_ops = ops,
994 mr->terminates = true; /* then re-forwards */
David Gibson06866572013-05-14 19:13:56 +1000995 notifier_list_init(&mr->iommu_notify);
Avi Kivity30951152012-10-30 13:47:46 +0200996}
997
Jan Kiszka1660e722011-10-23 16:01:19 +0200998void memory_region_init_reservation(MemoryRegion *mr,
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -0400999 Object *owner,
Jan Kiszka1660e722011-10-23 16:01:19 +02001000 const char *name,
1001 uint64_t size)
1002{
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -04001003 memory_region_init_io(mr, owner, &unassigned_mem_ops, mr, name, size);
Jan Kiszka1660e722011-10-23 16:01:19 +02001004}
1005
Avi Kivity093bc2c2011-07-26 14:26:01 +03001006void memory_region_destroy(MemoryRegion *mr)
1007{
1008 assert(QTAILQ_EMPTY(&mr->subregions));
Avi Kivity2be0e252012-10-17 17:14:41 +02001009 assert(memory_region_transaction_depth == 0);
Avi Kivity545e92e2011-08-08 19:58:48 +03001010 mr->destructor(mr);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001011 memory_region_clear_coalescing(mr);
Anthony Liguori7267c092011-08-20 22:09:37 -05001012 g_free((char *)mr->name);
1013 g_free(mr->ioeventfds);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001014}
1015
1016uint64_t memory_region_size(MemoryRegion *mr)
1017{
Avi Kivity08dafab2011-10-16 13:19:17 +02001018 if (int128_eq(mr->size, int128_2_64())) {
1019 return UINT64_MAX;
1020 }
1021 return int128_get64(mr->size);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001022}
1023
Avi Kivity8991c792011-12-20 15:53:11 +02001024const char *memory_region_name(MemoryRegion *mr)
1025{
1026 return mr->name;
1027}
1028
Avi Kivity8ea92522011-12-08 15:58:43 +02001029bool memory_region_is_ram(MemoryRegion *mr)
1030{
1031 return mr->ram;
1032}
1033
Avi Kivity55043ba2011-12-15 17:20:34 +02001034bool memory_region_is_logging(MemoryRegion *mr)
1035{
1036 return mr->dirty_log_mask;
1037}
1038
Avi Kivityce7923d2011-12-08 16:05:11 +02001039bool memory_region_is_rom(MemoryRegion *mr)
1040{
1041 return mr->ram && mr->readonly;
1042}
1043
Avi Kivity30951152012-10-30 13:47:46 +02001044bool memory_region_is_iommu(MemoryRegion *mr)
1045{
1046 return mr->iommu_ops;
1047}
1048
David Gibson06866572013-05-14 19:13:56 +10001049void memory_region_register_iommu_notifier(MemoryRegion *mr, Notifier *n)
1050{
1051 notifier_list_add(&mr->iommu_notify, n);
1052}
1053
1054void memory_region_unregister_iommu_notifier(Notifier *n)
1055{
1056 notifier_remove(n);
1057}
1058
1059void memory_region_notify_iommu(MemoryRegion *mr,
1060 IOMMUTLBEntry entry)
1061{
1062 assert(memory_region_is_iommu(mr));
1063 notifier_list_notify(&mr->iommu_notify, &entry);
1064}
1065
Avi Kivity093bc2c2011-07-26 14:26:01 +03001066void memory_region_set_log(MemoryRegion *mr, bool log, unsigned client)
1067{
Avi Kivity5a583342011-07-26 14:26:02 +03001068 uint8_t mask = 1 << client;
1069
Jan Kiszka59023ef2012-08-23 13:02:30 +02001070 memory_region_transaction_begin();
Avi Kivity5a583342011-07-26 14:26:02 +03001071 mr->dirty_log_mask = (mr->dirty_log_mask & ~mask) | (log * mask);
Jan Kiszka22bde712012-11-05 16:45:56 +01001072 memory_region_update_pending |= mr->enabled;
Jan Kiszka59023ef2012-08-23 13:02:30 +02001073 memory_region_transaction_commit();
Avi Kivity093bc2c2011-07-26 14:26:01 +03001074}
1075
Avi Kivitya8170e52012-10-23 12:30:10 +02001076bool memory_region_get_dirty(MemoryRegion *mr, hwaddr addr,
1077 hwaddr size, unsigned client)
Avi Kivity093bc2c2011-07-26 14:26:01 +03001078{
Avi Kivity14a3c102011-07-26 14:26:06 +03001079 assert(mr->terminates);
Blue Swirlcd7a45c2012-01-22 16:38:21 +00001080 return cpu_physical_memory_get_dirty(mr->ram_addr + addr, size,
1081 1 << client);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001082}
1083
Avi Kivitya8170e52012-10-23 12:30:10 +02001084void memory_region_set_dirty(MemoryRegion *mr, hwaddr addr,
1085 hwaddr size)
Avi Kivity093bc2c2011-07-26 14:26:01 +03001086{
Avi Kivity14a3c102011-07-26 14:26:06 +03001087 assert(mr->terminates);
Blue Swirlfd4aa972011-10-16 16:04:59 +00001088 return cpu_physical_memory_set_dirty_range(mr->ram_addr + addr, size, -1);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001089}
1090
Juan Quintela6c279db2012-10-17 20:24:28 +02001091bool memory_region_test_and_clear_dirty(MemoryRegion *mr, hwaddr addr,
1092 hwaddr size, unsigned client)
1093{
1094 bool ret;
1095 assert(mr->terminates);
1096 ret = cpu_physical_memory_get_dirty(mr->ram_addr + addr, size,
1097 1 << client);
1098 if (ret) {
1099 cpu_physical_memory_reset_dirty(mr->ram_addr + addr,
1100 mr->ram_addr + addr + size,
1101 1 << client);
1102 }
1103 return ret;
1104}
1105
1106
Avi Kivity093bc2c2011-07-26 14:26:01 +03001107void memory_region_sync_dirty_bitmap(MemoryRegion *mr)
1108{
Avi Kivity0d673e32012-10-02 15:28:50 +02001109 AddressSpace *as;
Avi Kivity5a583342011-07-26 14:26:02 +03001110 FlatRange *fr;
1111
Avi Kivity0d673e32012-10-02 15:28:50 +02001112 QTAILQ_FOREACH(as, &address_spaces, address_spaces_link) {
1113 FOR_EACH_FLAT_RANGE(fr, as->current_map) {
1114 if (fr->mr == mr) {
1115 MEMORY_LISTENER_UPDATE_REGION(fr, as, Forward, log_sync);
1116 }
Avi Kivity5a583342011-07-26 14:26:02 +03001117 }
1118 }
Avi Kivity093bc2c2011-07-26 14:26:01 +03001119}
1120
1121void memory_region_set_readonly(MemoryRegion *mr, bool readonly)
1122{
Avi Kivityfb1cd6f2011-09-25 14:48:47 +03001123 if (mr->readonly != readonly) {
Jan Kiszka59023ef2012-08-23 13:02:30 +02001124 memory_region_transaction_begin();
Avi Kivityfb1cd6f2011-09-25 14:48:47 +03001125 mr->readonly = readonly;
Jan Kiszka22bde712012-11-05 16:45:56 +01001126 memory_region_update_pending |= mr->enabled;
Jan Kiszka59023ef2012-08-23 13:02:30 +02001127 memory_region_transaction_commit();
Avi Kivityfb1cd6f2011-09-25 14:48:47 +03001128 }
Avi Kivity093bc2c2011-07-26 14:26:01 +03001129}
1130
Jan Kiszka5f9a5ea2013-05-07 19:04:25 +02001131void memory_region_rom_device_set_romd(MemoryRegion *mr, bool romd_mode)
Avi Kivityd0a9b5b2011-08-08 19:58:49 +03001132{
Jan Kiszka5f9a5ea2013-05-07 19:04:25 +02001133 if (mr->romd_mode != romd_mode) {
Jan Kiszka59023ef2012-08-23 13:02:30 +02001134 memory_region_transaction_begin();
Jan Kiszka5f9a5ea2013-05-07 19:04:25 +02001135 mr->romd_mode = romd_mode;
Jan Kiszka22bde712012-11-05 16:45:56 +01001136 memory_region_update_pending |= mr->enabled;
Jan Kiszka59023ef2012-08-23 13:02:30 +02001137 memory_region_transaction_commit();
Avi Kivityd0a9b5b2011-08-08 19:58:49 +03001138 }
1139}
1140
Avi Kivitya8170e52012-10-23 12:30:10 +02001141void memory_region_reset_dirty(MemoryRegion *mr, hwaddr addr,
1142 hwaddr size, unsigned client)
Avi Kivity093bc2c2011-07-26 14:26:01 +03001143{
Avi Kivity14a3c102011-07-26 14:26:06 +03001144 assert(mr->terminates);
Avi Kivity5a583342011-07-26 14:26:02 +03001145 cpu_physical_memory_reset_dirty(mr->ram_addr + addr,
1146 mr->ram_addr + addr + size,
1147 1 << client);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001148}
1149
1150void *memory_region_get_ram_ptr(MemoryRegion *mr)
1151{
1152 if (mr->alias) {
1153 return memory_region_get_ram_ptr(mr->alias) + mr->alias_offset;
1154 }
1155
Avi Kivity14a3c102011-07-26 14:26:06 +03001156 assert(mr->terminates);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001157
Jan Kiszka021d26d2011-08-30 00:38:24 +02001158 return qemu_get_ram_ptr(mr->ram_addr & TARGET_PAGE_MASK);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001159}
1160
Avi Kivity0d673e32012-10-02 15:28:50 +02001161static void memory_region_update_coalesced_range_as(MemoryRegion *mr, AddressSpace *as)
Avi Kivity093bc2c2011-07-26 14:26:01 +03001162{
1163 FlatRange *fr;
1164 CoalescedMemoryRange *cmr;
1165 AddrRange tmp;
Avi Kivity95d29942012-10-02 18:21:54 +02001166 MemoryRegionSection section;
Avi Kivity093bc2c2011-07-26 14:26:01 +03001167
Avi Kivity0d673e32012-10-02 15:28:50 +02001168 FOR_EACH_FLAT_RANGE(fr, as->current_map) {
Avi Kivity093bc2c2011-07-26 14:26:01 +03001169 if (fr->mr == mr) {
Avi Kivity95d29942012-10-02 18:21:54 +02001170 section = (MemoryRegionSection) {
Avi Kivityf6790af2012-10-02 20:13:51 +02001171 .address_space = as,
Avi Kivity95d29942012-10-02 18:21:54 +02001172 .offset_within_address_space = int128_get64(fr->addr.start),
Paolo Bonzini052e87b2013-05-27 10:08:27 +02001173 .size = fr->addr.size,
Avi Kivity95d29942012-10-02 18:21:54 +02001174 };
1175
1176 MEMORY_LISTENER_CALL(coalesced_mmio_del, Reverse, &section,
1177 int128_get64(fr->addr.start),
1178 int128_get64(fr->addr.size));
Avi Kivity093bc2c2011-07-26 14:26:01 +03001179 QTAILQ_FOREACH(cmr, &mr->coalesced, link) {
1180 tmp = addrrange_shift(cmr->addr,
Avi Kivity08dafab2011-10-16 13:19:17 +02001181 int128_sub(fr->addr.start,
1182 int128_make64(fr->offset_in_region)));
Avi Kivity093bc2c2011-07-26 14:26:01 +03001183 if (!addrrange_intersects(tmp, fr->addr)) {
1184 continue;
1185 }
1186 tmp = addrrange_intersection(tmp, fr->addr);
Avi Kivity95d29942012-10-02 18:21:54 +02001187 MEMORY_LISTENER_CALL(coalesced_mmio_add, Forward, &section,
1188 int128_get64(tmp.start),
1189 int128_get64(tmp.size));
Avi Kivity093bc2c2011-07-26 14:26:01 +03001190 }
1191 }
1192 }
1193}
1194
Avi Kivity0d673e32012-10-02 15:28:50 +02001195static void memory_region_update_coalesced_range(MemoryRegion *mr)
1196{
1197 AddressSpace *as;
1198
1199 QTAILQ_FOREACH(as, &address_spaces, address_spaces_link) {
1200 memory_region_update_coalesced_range_as(mr, as);
1201 }
1202}
1203
Avi Kivity093bc2c2011-07-26 14:26:01 +03001204void memory_region_set_coalescing(MemoryRegion *mr)
1205{
1206 memory_region_clear_coalescing(mr);
Avi Kivity08dafab2011-10-16 13:19:17 +02001207 memory_region_add_coalescing(mr, 0, int128_get64(mr->size));
Avi Kivity093bc2c2011-07-26 14:26:01 +03001208}
1209
1210void memory_region_add_coalescing(MemoryRegion *mr,
Avi Kivitya8170e52012-10-23 12:30:10 +02001211 hwaddr offset,
Avi Kivity093bc2c2011-07-26 14:26:01 +03001212 uint64_t size)
1213{
Anthony Liguori7267c092011-08-20 22:09:37 -05001214 CoalescedMemoryRange *cmr = g_malloc(sizeof(*cmr));
Avi Kivity093bc2c2011-07-26 14:26:01 +03001215
Avi Kivity08dafab2011-10-16 13:19:17 +02001216 cmr->addr = addrrange_make(int128_make64(offset), int128_make64(size));
Avi Kivity093bc2c2011-07-26 14:26:01 +03001217 QTAILQ_INSERT_TAIL(&mr->coalesced, cmr, link);
1218 memory_region_update_coalesced_range(mr);
Jan Kiszkad4105152012-08-23 13:02:29 +02001219 memory_region_set_flush_coalesced(mr);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001220}
1221
1222void memory_region_clear_coalescing(MemoryRegion *mr)
1223{
1224 CoalescedMemoryRange *cmr;
1225
Jan Kiszkad4105152012-08-23 13:02:29 +02001226 qemu_flush_coalesced_mmio_buffer();
1227 mr->flush_coalesced_mmio = false;
1228
Avi Kivity093bc2c2011-07-26 14:26:01 +03001229 while (!QTAILQ_EMPTY(&mr->coalesced)) {
1230 cmr = QTAILQ_FIRST(&mr->coalesced);
1231 QTAILQ_REMOVE(&mr->coalesced, cmr, link);
Anthony Liguori7267c092011-08-20 22:09:37 -05001232 g_free(cmr);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001233 }
1234 memory_region_update_coalesced_range(mr);
1235}
1236
Jan Kiszkad4105152012-08-23 13:02:29 +02001237void memory_region_set_flush_coalesced(MemoryRegion *mr)
1238{
1239 mr->flush_coalesced_mmio = true;
1240}
1241
1242void memory_region_clear_flush_coalesced(MemoryRegion *mr)
1243{
1244 qemu_flush_coalesced_mmio_buffer();
1245 if (QTAILQ_EMPTY(&mr->coalesced)) {
1246 mr->flush_coalesced_mmio = false;
1247 }
1248}
1249
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001250void memory_region_add_eventfd(MemoryRegion *mr,
Avi Kivitya8170e52012-10-23 12:30:10 +02001251 hwaddr addr,
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001252 unsigned size,
1253 bool match_data,
1254 uint64_t data,
Paolo Bonzini753d5e12012-07-05 17:16:27 +02001255 EventNotifier *e)
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001256{
1257 MemoryRegionIoeventfd mrfd = {
Avi Kivity08dafab2011-10-16 13:19:17 +02001258 .addr.start = int128_make64(addr),
1259 .addr.size = int128_make64(size),
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001260 .match_data = match_data,
1261 .data = data,
Paolo Bonzini753d5e12012-07-05 17:16:27 +02001262 .e = e,
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001263 };
1264 unsigned i;
1265
Alexander Graf28f362b2012-10-15 20:30:28 +02001266 adjust_endianness(mr, &mrfd.data, size);
Jan Kiszka59023ef2012-08-23 13:02:30 +02001267 memory_region_transaction_begin();
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001268 for (i = 0; i < mr->ioeventfd_nb; ++i) {
1269 if (memory_region_ioeventfd_before(mrfd, mr->ioeventfds[i])) {
1270 break;
1271 }
1272 }
1273 ++mr->ioeventfd_nb;
Anthony Liguori7267c092011-08-20 22:09:37 -05001274 mr->ioeventfds = g_realloc(mr->ioeventfds,
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001275 sizeof(*mr->ioeventfds) * mr->ioeventfd_nb);
1276 memmove(&mr->ioeventfds[i+1], &mr->ioeventfds[i],
1277 sizeof(*mr->ioeventfds) * (mr->ioeventfd_nb-1 - i));
1278 mr->ioeventfds[i] = mrfd;
Jan Kiszka22bde712012-11-05 16:45:56 +01001279 memory_region_update_pending |= mr->enabled;
Jan Kiszka59023ef2012-08-23 13:02:30 +02001280 memory_region_transaction_commit();
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001281}
1282
1283void memory_region_del_eventfd(MemoryRegion *mr,
Avi Kivitya8170e52012-10-23 12:30:10 +02001284 hwaddr addr,
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001285 unsigned size,
1286 bool match_data,
1287 uint64_t data,
Paolo Bonzini753d5e12012-07-05 17:16:27 +02001288 EventNotifier *e)
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001289{
1290 MemoryRegionIoeventfd mrfd = {
Avi Kivity08dafab2011-10-16 13:19:17 +02001291 .addr.start = int128_make64(addr),
1292 .addr.size = int128_make64(size),
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001293 .match_data = match_data,
1294 .data = data,
Paolo Bonzini753d5e12012-07-05 17:16:27 +02001295 .e = e,
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001296 };
1297 unsigned i;
1298
Alexander Graf28f362b2012-10-15 20:30:28 +02001299 adjust_endianness(mr, &mrfd.data, size);
Jan Kiszka59023ef2012-08-23 13:02:30 +02001300 memory_region_transaction_begin();
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001301 for (i = 0; i < mr->ioeventfd_nb; ++i) {
1302 if (memory_region_ioeventfd_equal(mrfd, mr->ioeventfds[i])) {
1303 break;
1304 }
1305 }
1306 assert(i != mr->ioeventfd_nb);
1307 memmove(&mr->ioeventfds[i], &mr->ioeventfds[i+1],
1308 sizeof(*mr->ioeventfds) * (mr->ioeventfd_nb - (i+1)));
1309 --mr->ioeventfd_nb;
Anthony Liguori7267c092011-08-20 22:09:37 -05001310 mr->ioeventfds = g_realloc(mr->ioeventfds,
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001311 sizeof(*mr->ioeventfds)*mr->ioeventfd_nb + 1);
Jan Kiszka22bde712012-11-05 16:45:56 +01001312 memory_region_update_pending |= mr->enabled;
Jan Kiszka59023ef2012-08-23 13:02:30 +02001313 memory_region_transaction_commit();
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001314}
1315
Avi Kivity093bc2c2011-07-26 14:26:01 +03001316static void memory_region_add_subregion_common(MemoryRegion *mr,
Avi Kivitya8170e52012-10-23 12:30:10 +02001317 hwaddr offset,
Avi Kivity093bc2c2011-07-26 14:26:01 +03001318 MemoryRegion *subregion)
1319{
1320 MemoryRegion *other;
1321
Jan Kiszka59023ef2012-08-23 13:02:30 +02001322 memory_region_transaction_begin();
1323
Avi Kivity093bc2c2011-07-26 14:26:01 +03001324 assert(!subregion->parent);
1325 subregion->parent = mr;
1326 subregion->addr = offset;
1327 QTAILQ_FOREACH(other, &mr->subregions, subregions_link) {
1328 if (subregion->may_overlap || other->may_overlap) {
1329 continue;
1330 }
Hu Tao2c7cfd62013-03-15 14:32:01 +08001331 if (int128_ge(int128_make64(offset),
Avi Kivity08dafab2011-10-16 13:19:17 +02001332 int128_add(int128_make64(other->addr), other->size))
1333 || int128_le(int128_add(int128_make64(offset), subregion->size),
1334 int128_make64(other->addr))) {
Avi Kivity093bc2c2011-07-26 14:26:01 +03001335 continue;
1336 }
Anthony Liguoria5e1cbc2011-08-22 11:14:56 -05001337#if 0
Michael Walle860329b2011-09-15 23:16:49 +02001338 printf("warning: subregion collision %llx/%llx (%s) "
1339 "vs %llx/%llx (%s)\n",
Avi Kivity093bc2c2011-07-26 14:26:01 +03001340 (unsigned long long)offset,
Avi Kivity08dafab2011-10-16 13:19:17 +02001341 (unsigned long long)int128_get64(subregion->size),
Michael Walle860329b2011-09-15 23:16:49 +02001342 subregion->name,
1343 (unsigned long long)other->addr,
Avi Kivity08dafab2011-10-16 13:19:17 +02001344 (unsigned long long)int128_get64(other->size),
Michael Walle860329b2011-09-15 23:16:49 +02001345 other->name);
Anthony Liguoria5e1cbc2011-08-22 11:14:56 -05001346#endif
Avi Kivity093bc2c2011-07-26 14:26:01 +03001347 }
1348 QTAILQ_FOREACH(other, &mr->subregions, subregions_link) {
1349 if (subregion->priority >= other->priority) {
1350 QTAILQ_INSERT_BEFORE(other, subregion, subregions_link);
1351 goto done;
1352 }
1353 }
1354 QTAILQ_INSERT_TAIL(&mr->subregions, subregion, subregions_link);
1355done:
Jan Kiszka22bde712012-11-05 16:45:56 +01001356 memory_region_update_pending |= mr->enabled && subregion->enabled;
Jan Kiszka59023ef2012-08-23 13:02:30 +02001357 memory_region_transaction_commit();
Avi Kivity093bc2c2011-07-26 14:26:01 +03001358}
1359
1360
1361void memory_region_add_subregion(MemoryRegion *mr,
Avi Kivitya8170e52012-10-23 12:30:10 +02001362 hwaddr offset,
Avi Kivity093bc2c2011-07-26 14:26:01 +03001363 MemoryRegion *subregion)
1364{
1365 subregion->may_overlap = false;
1366 subregion->priority = 0;
1367 memory_region_add_subregion_common(mr, offset, subregion);
1368}
1369
1370void memory_region_add_subregion_overlap(MemoryRegion *mr,
Avi Kivitya8170e52012-10-23 12:30:10 +02001371 hwaddr offset,
Avi Kivity093bc2c2011-07-26 14:26:01 +03001372 MemoryRegion *subregion,
1373 unsigned priority)
1374{
1375 subregion->may_overlap = true;
1376 subregion->priority = priority;
1377 memory_region_add_subregion_common(mr, offset, subregion);
1378}
1379
1380void memory_region_del_subregion(MemoryRegion *mr,
1381 MemoryRegion *subregion)
1382{
Jan Kiszka59023ef2012-08-23 13:02:30 +02001383 memory_region_transaction_begin();
Avi Kivity093bc2c2011-07-26 14:26:01 +03001384 assert(subregion->parent == mr);
1385 subregion->parent = NULL;
1386 QTAILQ_REMOVE(&mr->subregions, subregion, subregions_link);
Jan Kiszka22bde712012-11-05 16:45:56 +01001387 memory_region_update_pending |= mr->enabled && subregion->enabled;
Jan Kiszka59023ef2012-08-23 13:02:30 +02001388 memory_region_transaction_commit();
Avi Kivity6bba19b2011-09-14 11:54:58 +03001389}
1390
1391void memory_region_set_enabled(MemoryRegion *mr, bool enabled)
1392{
1393 if (enabled == mr->enabled) {
1394 return;
1395 }
Jan Kiszka59023ef2012-08-23 13:02:30 +02001396 memory_region_transaction_begin();
Avi Kivity6bba19b2011-09-14 11:54:58 +03001397 mr->enabled = enabled;
Jan Kiszka22bde712012-11-05 16:45:56 +01001398 memory_region_update_pending = true;
Jan Kiszka59023ef2012-08-23 13:02:30 +02001399 memory_region_transaction_commit();
Avi Kivity093bc2c2011-07-26 14:26:01 +03001400}
Avi Kivity1c0ffa52011-07-26 14:26:04 +03001401
Avi Kivitya8170e52012-10-23 12:30:10 +02001402void memory_region_set_address(MemoryRegion *mr, hwaddr addr)
Avi Kivity2282e1a2011-09-14 12:10:12 +03001403{
1404 MemoryRegion *parent = mr->parent;
1405 unsigned priority = mr->priority;
1406 bool may_overlap = mr->may_overlap;
1407
1408 if (addr == mr->addr || !parent) {
1409 mr->addr = addr;
1410 return;
1411 }
1412
1413 memory_region_transaction_begin();
1414 memory_region_del_subregion(parent, mr);
1415 if (may_overlap) {
1416 memory_region_add_subregion_overlap(parent, addr, mr, priority);
1417 } else {
1418 memory_region_add_subregion(parent, addr, mr);
1419 }
1420 memory_region_transaction_commit();
1421}
1422
Avi Kivitya8170e52012-10-23 12:30:10 +02001423void memory_region_set_alias_offset(MemoryRegion *mr, hwaddr offset)
Avi Kivity47033592011-12-04 19:16:50 +02001424{
Avi Kivity47033592011-12-04 19:16:50 +02001425 assert(mr->alias);
Avi Kivity47033592011-12-04 19:16:50 +02001426
Jan Kiszka59023ef2012-08-23 13:02:30 +02001427 if (offset == mr->alias_offset) {
Avi Kivity47033592011-12-04 19:16:50 +02001428 return;
1429 }
1430
Jan Kiszka59023ef2012-08-23 13:02:30 +02001431 memory_region_transaction_begin();
1432 mr->alias_offset = offset;
Jan Kiszka22bde712012-11-05 16:45:56 +01001433 memory_region_update_pending |= mr->enabled;
Jan Kiszka59023ef2012-08-23 13:02:30 +02001434 memory_region_transaction_commit();
Avi Kivity47033592011-12-04 19:16:50 +02001435}
1436
Avi Kivitye34911c2011-12-19 12:06:23 +02001437ram_addr_t memory_region_get_ram_addr(MemoryRegion *mr)
1438{
Avi Kivitye34911c2011-12-19 12:06:23 +02001439 return mr->ram_addr;
1440}
1441
Avi Kivitye2177952011-12-08 15:00:18 +02001442static int cmp_flatrange_addr(const void *addr_, const void *fr_)
1443{
1444 const AddrRange *addr = addr_;
1445 const FlatRange *fr = fr_;
1446
1447 if (int128_le(addrrange_end(*addr), fr->addr.start)) {
1448 return -1;
1449 } else if (int128_ge(addr->start, addrrange_end(fr->addr))) {
1450 return 1;
1451 }
1452 return 0;
1453}
1454
1455static FlatRange *address_space_lookup(AddressSpace *as, AddrRange addr)
1456{
Avi Kivity8786db72012-10-02 13:53:41 +02001457 return bsearch(&addr, as->current_map->ranges, as->current_map->nr,
Avi Kivitye2177952011-12-08 15:00:18 +02001458 sizeof(FlatRange), cmp_flatrange_addr);
1459}
1460
Paolo Bonzini73034e92013-05-07 15:48:28 +02001461MemoryRegionSection memory_region_find(MemoryRegion *mr,
Avi Kivitya8170e52012-10-23 12:30:10 +02001462 hwaddr addr, uint64_t size)
Avi Kivitye2177952011-12-08 15:00:18 +02001463{
Paolo Bonzini052e87b2013-05-27 10:08:27 +02001464 MemoryRegionSection ret = { .mr = NULL };
Paolo Bonzini73034e92013-05-07 15:48:28 +02001465 MemoryRegion *root;
1466 AddressSpace *as;
1467 AddrRange range;
1468 FlatRange *fr;
Avi Kivitye2177952011-12-08 15:00:18 +02001469
Paolo Bonzini73034e92013-05-07 15:48:28 +02001470 addr += mr->addr;
1471 for (root = mr; root->parent; ) {
1472 root = root->parent;
1473 addr += root->addr;
1474 }
1475
1476 as = memory_region_to_address_space(root);
1477 range = addrrange_make(int128_make64(addr), int128_make64(size));
1478 fr = address_space_lookup(as, range);
Avi Kivitye2177952011-12-08 15:00:18 +02001479 if (!fr) {
1480 return ret;
1481 }
1482
Avi Kivity8786db72012-10-02 13:53:41 +02001483 while (fr > as->current_map->ranges
Avi Kivitye2177952011-12-08 15:00:18 +02001484 && addrrange_intersects(fr[-1].addr, range)) {
1485 --fr;
1486 }
1487
1488 ret.mr = fr->mr;
Paolo Bonzini73034e92013-05-07 15:48:28 +02001489 ret.address_space = as;
Avi Kivitye2177952011-12-08 15:00:18 +02001490 range = addrrange_intersection(range, fr->addr);
1491 ret.offset_within_region = fr->offset_in_region;
1492 ret.offset_within_region += int128_get64(int128_sub(range.start,
1493 fr->addr.start));
Paolo Bonzini052e87b2013-05-27 10:08:27 +02001494 ret.size = range.size;
Avi Kivitye2177952011-12-08 15:00:18 +02001495 ret.offset_within_address_space = int128_get64(range.start);
Avi Kivity7a8499e2012-02-08 17:01:23 +02001496 ret.readonly = fr->readonly;
Avi Kivitye2177952011-12-08 15:00:18 +02001497 return ret;
1498}
1499
Paolo Bonzini1d671362013-04-24 10:46:55 +02001500void address_space_sync_dirty_bitmap(AddressSpace *as)
Avi Kivity86e775c2011-12-15 16:24:49 +02001501{
Avi Kivity7664e802011-12-11 14:47:25 +02001502 FlatRange *fr;
1503
Avi Kivity8786db72012-10-02 13:53:41 +02001504 FOR_EACH_FLAT_RANGE(fr, as->current_map) {
Avi Kivity72e22d22012-02-08 15:05:50 +02001505 MEMORY_LISTENER_UPDATE_REGION(fr, as, Forward, log_sync);
Avi Kivity7664e802011-12-11 14:47:25 +02001506 }
1507}
1508
1509void memory_global_dirty_log_start(void)
1510{
Avi Kivity7664e802011-12-11 14:47:25 +02001511 global_dirty_log = true;
Avi Kivity7376e582012-02-08 21:05:17 +02001512 MEMORY_LISTENER_CALL_GLOBAL(log_global_start, Forward);
Avi Kivity7664e802011-12-11 14:47:25 +02001513}
1514
1515void memory_global_dirty_log_stop(void)
1516{
Avi Kivity7664e802011-12-11 14:47:25 +02001517 global_dirty_log = false;
Avi Kivity7376e582012-02-08 21:05:17 +02001518 MEMORY_LISTENER_CALL_GLOBAL(log_global_stop, Reverse);
Avi Kivity7664e802011-12-11 14:47:25 +02001519}
1520
1521static void listener_add_address_space(MemoryListener *listener,
1522 AddressSpace *as)
1523{
1524 FlatRange *fr;
1525
Julien Grall221b3a32012-04-04 15:15:41 +01001526 if (listener->address_space_filter
Avi Kivityf6790af2012-10-02 20:13:51 +02001527 && listener->address_space_filter != as) {
Julien Grall221b3a32012-04-04 15:15:41 +01001528 return;
1529 }
1530
Avi Kivity7664e802011-12-11 14:47:25 +02001531 if (global_dirty_log) {
Avi Kivity975aefe2012-10-02 16:39:57 +02001532 if (listener->log_global_start) {
1533 listener->log_global_start(listener);
1534 }
Avi Kivity7664e802011-12-11 14:47:25 +02001535 }
Avi Kivity975aefe2012-10-02 16:39:57 +02001536
Avi Kivity8786db72012-10-02 13:53:41 +02001537 FOR_EACH_FLAT_RANGE(fr, as->current_map) {
Avi Kivity7664e802011-12-11 14:47:25 +02001538 MemoryRegionSection section = {
1539 .mr = fr->mr,
Avi Kivityf6790af2012-10-02 20:13:51 +02001540 .address_space = as,
Avi Kivity7664e802011-12-11 14:47:25 +02001541 .offset_within_region = fr->offset_in_region,
Paolo Bonzini052e87b2013-05-27 10:08:27 +02001542 .size = fr->addr.size,
Avi Kivity7664e802011-12-11 14:47:25 +02001543 .offset_within_address_space = int128_get64(fr->addr.start),
Avi Kivity7a8499e2012-02-08 17:01:23 +02001544 .readonly = fr->readonly,
Avi Kivity7664e802011-12-11 14:47:25 +02001545 };
Avi Kivity975aefe2012-10-02 16:39:57 +02001546 if (listener->region_add) {
1547 listener->region_add(listener, &section);
1548 }
Avi Kivity7664e802011-12-11 14:47:25 +02001549 }
1550}
1551
Avi Kivityf6790af2012-10-02 20:13:51 +02001552void memory_listener_register(MemoryListener *listener, AddressSpace *filter)
Avi Kivity7664e802011-12-11 14:47:25 +02001553{
Avi Kivity72e22d22012-02-08 15:05:50 +02001554 MemoryListener *other = NULL;
Avi Kivity0d673e32012-10-02 15:28:50 +02001555 AddressSpace *as;
Avi Kivity72e22d22012-02-08 15:05:50 +02001556
Avi Kivity7376e582012-02-08 21:05:17 +02001557 listener->address_space_filter = filter;
Avi Kivity72e22d22012-02-08 15:05:50 +02001558 if (QTAILQ_EMPTY(&memory_listeners)
1559 || listener->priority >= QTAILQ_LAST(&memory_listeners,
1560 memory_listeners)->priority) {
1561 QTAILQ_INSERT_TAIL(&memory_listeners, listener, link);
1562 } else {
1563 QTAILQ_FOREACH(other, &memory_listeners, link) {
1564 if (listener->priority < other->priority) {
1565 break;
1566 }
1567 }
1568 QTAILQ_INSERT_BEFORE(other, listener, link);
1569 }
Avi Kivity0d673e32012-10-02 15:28:50 +02001570
1571 QTAILQ_FOREACH(as, &address_spaces, address_spaces_link) {
1572 listener_add_address_space(listener, as);
1573 }
Avi Kivity7664e802011-12-11 14:47:25 +02001574}
1575
1576void memory_listener_unregister(MemoryListener *listener)
1577{
Avi Kivity72e22d22012-02-08 15:05:50 +02001578 QTAILQ_REMOVE(&memory_listeners, listener, link);
Avi Kivity86e775c2011-12-15 16:24:49 +02001579}
Avi Kivitye2177952011-12-08 15:00:18 +02001580
Alexey Kardashevskiy7dca8042013-04-29 16:25:51 +00001581void address_space_init(AddressSpace *as, MemoryRegion *root, const char *name)
Avi Kivity1c0ffa52011-07-26 14:26:04 +03001582{
Jan Kiszka59023ef2012-08-23 13:02:30 +02001583 memory_region_transaction_begin();
Avi Kivity8786db72012-10-02 13:53:41 +02001584 as->root = root;
1585 as->current_map = g_new(FlatView, 1);
1586 flatview_init(as->current_map);
Avi Kivity4c19eb72012-10-30 13:47:44 +02001587 as->ioeventfd_nb = 0;
1588 as->ioeventfds = NULL;
Avi Kivity0d673e32012-10-02 15:28:50 +02001589 QTAILQ_INSERT_TAIL(&address_spaces, as, address_spaces_link);
Alexey Kardashevskiy7dca8042013-04-29 16:25:51 +00001590 as->name = g_strdup(name ? name : "anonymous");
Avi Kivityac1970f2012-10-03 16:22:53 +02001591 address_space_init_dispatch(as);
Paolo Bonzinif43793c2013-04-16 15:39:51 +02001592 memory_region_update_pending |= root->enabled;
1593 memory_region_transaction_commit();
Avi Kivity1c0ffa52011-07-26 14:26:04 +03001594}
Avi Kivity658b2222011-07-26 14:26:08 +03001595
Avi Kivity83f3c252012-10-07 12:59:55 +02001596void address_space_destroy(AddressSpace *as)
1597{
1598 /* Flush out anything from MemoryListeners listening in on this */
1599 memory_region_transaction_begin();
1600 as->root = NULL;
1601 memory_region_transaction_commit();
1602 QTAILQ_REMOVE(&address_spaces, as, address_spaces_link);
1603 address_space_destroy_dispatch(as);
1604 flatview_destroy(as->current_map);
Alexey Kardashevskiy7dca8042013-04-29 16:25:51 +00001605 g_free(as->name);
Avi Kivity83f3c252012-10-07 12:59:55 +02001606 g_free(as->current_map);
Avi Kivity4c19eb72012-10-30 13:47:44 +02001607 g_free(as->ioeventfds);
Avi Kivity83f3c252012-10-07 12:59:55 +02001608}
1609
Paolo Bonzini791af8c2013-05-24 16:10:39 +02001610bool io_mem_read(MemoryRegion *mr, hwaddr addr, uint64_t *pval, unsigned size)
Avi Kivityacbbec52011-11-21 12:27:03 +02001611{
Paolo Bonzini791af8c2013-05-24 16:10:39 +02001612 return memory_region_dispatch_read(mr, addr, pval, size);
Avi Kivityacbbec52011-11-21 12:27:03 +02001613}
1614
Paolo Bonzini791af8c2013-05-24 16:10:39 +02001615bool io_mem_write(MemoryRegion *mr, hwaddr addr,
Avi Kivityacbbec52011-11-21 12:27:03 +02001616 uint64_t val, unsigned size)
1617{
Paolo Bonzini791af8c2013-05-24 16:10:39 +02001618 return memory_region_dispatch_write(mr, addr, val, size);
Avi Kivityacbbec52011-11-21 12:27:03 +02001619}
1620
Blue Swirl314e2982011-09-11 20:22:05 +00001621typedef struct MemoryRegionList MemoryRegionList;
1622
1623struct MemoryRegionList {
1624 const MemoryRegion *mr;
1625 bool printed;
1626 QTAILQ_ENTRY(MemoryRegionList) queue;
1627};
1628
1629typedef QTAILQ_HEAD(queue, MemoryRegionList) MemoryRegionListHead;
1630
1631static void mtree_print_mr(fprintf_function mon_printf, void *f,
1632 const MemoryRegion *mr, unsigned int level,
Avi Kivitya8170e52012-10-23 12:30:10 +02001633 hwaddr base,
Jan Kiszka9479c572011-09-27 15:00:41 +02001634 MemoryRegionListHead *alias_print_queue)
Blue Swirl314e2982011-09-11 20:22:05 +00001635{
Jan Kiszka9479c572011-09-27 15:00:41 +02001636 MemoryRegionList *new_ml, *ml, *next_ml;
1637 MemoryRegionListHead submr_print_queue;
Blue Swirl314e2982011-09-11 20:22:05 +00001638 const MemoryRegion *submr;
1639 unsigned int i;
1640
Jan Kiszka7ea692b2012-10-31 10:49:02 +01001641 if (!mr || !mr->enabled) {
Blue Swirl314e2982011-09-11 20:22:05 +00001642 return;
1643 }
1644
1645 for (i = 0; i < level; i++) {
1646 mon_printf(f, " ");
1647 }
1648
1649 if (mr->alias) {
1650 MemoryRegionList *ml;
1651 bool found = false;
1652
1653 /* check if the alias is already in the queue */
Jan Kiszka9479c572011-09-27 15:00:41 +02001654 QTAILQ_FOREACH(ml, alias_print_queue, queue) {
Blue Swirl314e2982011-09-11 20:22:05 +00001655 if (ml->mr == mr->alias && !ml->printed) {
1656 found = true;
1657 }
1658 }
1659
1660 if (!found) {
1661 ml = g_new(MemoryRegionList, 1);
1662 ml->mr = mr->alias;
1663 ml->printed = false;
Jan Kiszka9479c572011-09-27 15:00:41 +02001664 QTAILQ_INSERT_TAIL(alias_print_queue, ml, queue);
Blue Swirl314e2982011-09-11 20:22:05 +00001665 }
Jan Kiszka4896d742012-02-04 16:25:42 +01001666 mon_printf(f, TARGET_FMT_plx "-" TARGET_FMT_plx
1667 " (prio %d, %c%c): alias %s @%s " TARGET_FMT_plx
1668 "-" TARGET_FMT_plx "\n",
Blue Swirl314e2982011-09-11 20:22:05 +00001669 base + mr->addr,
Avi Kivity08dafab2011-10-16 13:19:17 +02001670 base + mr->addr
Paolo Bonzini052e87b2013-05-27 10:08:27 +02001671 + (hwaddr)int128_get64(int128_sub(mr->size, int128_make64(1))),
Jan Kiszka4b474ba2011-09-27 15:00:31 +02001672 mr->priority,
Jan Kiszka5f9a5ea2013-05-07 19:04:25 +02001673 mr->romd_mode ? 'R' : '-',
1674 !mr->readonly && !(mr->rom_device && mr->romd_mode) ? 'W'
1675 : '-',
Blue Swirl314e2982011-09-11 20:22:05 +00001676 mr->name,
1677 mr->alias->name,
1678 mr->alias_offset,
Avi Kivity08dafab2011-10-16 13:19:17 +02001679 mr->alias_offset
Avi Kivitya8170e52012-10-23 12:30:10 +02001680 + (hwaddr)int128_get64(mr->size) - 1);
Blue Swirl314e2982011-09-11 20:22:05 +00001681 } else {
Jan Kiszka4896d742012-02-04 16:25:42 +01001682 mon_printf(f,
1683 TARGET_FMT_plx "-" TARGET_FMT_plx " (prio %d, %c%c): %s\n",
Blue Swirl314e2982011-09-11 20:22:05 +00001684 base + mr->addr,
Avi Kivity08dafab2011-10-16 13:19:17 +02001685 base + mr->addr
Paolo Bonzini052e87b2013-05-27 10:08:27 +02001686 + (hwaddr)int128_get64(int128_sub(mr->size, int128_make64(1))),
Jan Kiszka4b474ba2011-09-27 15:00:31 +02001687 mr->priority,
Jan Kiszka5f9a5ea2013-05-07 19:04:25 +02001688 mr->romd_mode ? 'R' : '-',
1689 !mr->readonly && !(mr->rom_device && mr->romd_mode) ? 'W'
1690 : '-',
Blue Swirl314e2982011-09-11 20:22:05 +00001691 mr->name);
1692 }
Jan Kiszka9479c572011-09-27 15:00:41 +02001693
1694 QTAILQ_INIT(&submr_print_queue);
1695
Blue Swirl314e2982011-09-11 20:22:05 +00001696 QTAILQ_FOREACH(submr, &mr->subregions, subregions_link) {
Jan Kiszka9479c572011-09-27 15:00:41 +02001697 new_ml = g_new(MemoryRegionList, 1);
1698 new_ml->mr = submr;
1699 QTAILQ_FOREACH(ml, &submr_print_queue, queue) {
1700 if (new_ml->mr->addr < ml->mr->addr ||
1701 (new_ml->mr->addr == ml->mr->addr &&
1702 new_ml->mr->priority > ml->mr->priority)) {
1703 QTAILQ_INSERT_BEFORE(ml, new_ml, queue);
1704 new_ml = NULL;
1705 break;
1706 }
1707 }
1708 if (new_ml) {
1709 QTAILQ_INSERT_TAIL(&submr_print_queue, new_ml, queue);
1710 }
1711 }
1712
1713 QTAILQ_FOREACH(ml, &submr_print_queue, queue) {
1714 mtree_print_mr(mon_printf, f, ml->mr, level + 1, base + mr->addr,
1715 alias_print_queue);
1716 }
1717
Avi Kivity88365e42011-11-13 12:00:55 +02001718 QTAILQ_FOREACH_SAFE(ml, &submr_print_queue, queue, next_ml) {
Jan Kiszka9479c572011-09-27 15:00:41 +02001719 g_free(ml);
Blue Swirl314e2982011-09-11 20:22:05 +00001720 }
1721}
1722
1723void mtree_info(fprintf_function mon_printf, void *f)
1724{
1725 MemoryRegionListHead ml_head;
1726 MemoryRegionList *ml, *ml2;
Avi Kivity0d673e32012-10-02 15:28:50 +02001727 AddressSpace *as;
Blue Swirl314e2982011-09-11 20:22:05 +00001728
1729 QTAILQ_INIT(&ml_head);
1730
Avi Kivity0d673e32012-10-02 15:28:50 +02001731 QTAILQ_FOREACH(as, &address_spaces, address_spaces_link) {
Avi Kivity0d673e32012-10-02 15:28:50 +02001732 mon_printf(f, "%s\n", as->name);
1733 mtree_print_mr(mon_printf, f, as->root, 0, 0, &ml_head);
Blue Swirlb9f9be82012-03-10 16:58:35 +00001734 }
1735
1736 mon_printf(f, "aliases\n");
Blue Swirl314e2982011-09-11 20:22:05 +00001737 /* print aliased regions */
1738 QTAILQ_FOREACH(ml, &ml_head, queue) {
1739 if (!ml->printed) {
1740 mon_printf(f, "%s\n", ml->mr->name);
1741 mtree_print_mr(mon_printf, f, ml->mr, 0, 0, &ml_head);
1742 }
1743 }
1744
1745 QTAILQ_FOREACH_SAFE(ml, &ml_head, queue, ml2) {
Avi Kivity88365e42011-11-13 12:00:55 +02001746 g_free(ml);
Blue Swirl314e2982011-09-11 20:22:05 +00001747 }
Blue Swirl314e2982011-09-11 20:22:05 +00001748}