blob: e04d5196b0da9b11ee6809a31639620cd6a8381b [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;
Paolo Bonzini803c0812013-05-07 06:59:09 +0200741 mr->owner = NULL;
Avi Kivity08dafab2011-10-16 13:19:17 +0200742 mr->size = int128_make64(size);
743 if (size == UINT64_MAX) {
744 mr->size = int128_2_64();
745 }
Avi Kivity093bc2c2011-07-26 14:26:01 +0300746 mr->addr = 0;
Avi Kivityb3b00c72012-01-02 13:20:11 +0200747 mr->subpage = false;
Avi Kivity6bba19b2011-09-14 11:54:58 +0300748 mr->enabled = true;
Avi Kivity14a3c102011-07-26 14:26:06 +0300749 mr->terminates = false;
Avi Kivity8ea92522011-12-08 15:58:43 +0200750 mr->ram = false;
Jan Kiszka5f9a5ea2013-05-07 19:04:25 +0200751 mr->romd_mode = true;
Avi Kivityfb1cd6f2011-09-25 14:48:47 +0300752 mr->readonly = false;
Avi Kivity75c578d2012-01-02 15:40:52 +0200753 mr->rom_device = false;
Avi Kivity545e92e2011-08-08 19:58:48 +0300754 mr->destructor = memory_region_destructor_none;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300755 mr->priority = 0;
756 mr->may_overlap = false;
757 mr->alias = NULL;
758 QTAILQ_INIT(&mr->subregions);
759 memset(&mr->subregions_link, 0, sizeof mr->subregions_link);
760 QTAILQ_INIT(&mr->coalesced);
Anthony Liguori7267c092011-08-20 22:09:37 -0500761 mr->name = g_strdup(name);
Avi Kivity5a583342011-07-26 14:26:02 +0300762 mr->dirty_log_mask = 0;
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300763 mr->ioeventfd_nb = 0;
764 mr->ioeventfds = NULL;
Jan Kiszkad4105152012-08-23 13:02:29 +0200765 mr->flush_coalesced_mmio = false;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300766}
767
Paolo Bonzinib018ddf2013-05-24 14:48:38 +0200768static uint64_t unassigned_mem_read(void *opaque, hwaddr addr,
769 unsigned size)
770{
771#ifdef DEBUG_UNASSIGNED
772 printf("Unassigned mem read " TARGET_FMT_plx "\n", addr);
773#endif
Andreas Färberc658b942013-05-27 06:49:53 +0200774 if (cpu_single_env != NULL) {
775 cpu_unassigned_access(ENV_GET_CPU(cpu_single_env),
776 addr, false, false, 0, size);
777 }
Paolo Bonzinib018ddf2013-05-24 14:48:38 +0200778 return 0;
779}
780
781static void unassigned_mem_write(void *opaque, hwaddr addr,
782 uint64_t val, unsigned size)
783{
784#ifdef DEBUG_UNASSIGNED
785 printf("Unassigned mem write " TARGET_FMT_plx " = 0x%"PRIx64"\n", addr, val);
786#endif
Andreas Färberc658b942013-05-27 06:49:53 +0200787 if (cpu_single_env != NULL) {
788 cpu_unassigned_access(ENV_GET_CPU(cpu_single_env),
789 addr, true, false, 0, size);
790 }
Paolo Bonzinib018ddf2013-05-24 14:48:38 +0200791}
792
Paolo Bonzinid1970632013-05-24 13:23:38 +0200793static bool unassigned_mem_accepts(void *opaque, hwaddr addr,
794 unsigned size, bool is_write)
795{
796 return false;
797}
798
799const MemoryRegionOps unassigned_mem_ops = {
800 .valid.accepts = unassigned_mem_accepts,
801 .endianness = DEVICE_NATIVE_ENDIAN,
802};
803
Paolo Bonzinid2702032013-05-24 11:55:06 +0200804bool memory_region_access_valid(MemoryRegion *mr,
805 hwaddr addr,
806 unsigned size,
807 bool is_write)
Avi Kivity093bc2c2011-07-26 14:26:01 +0300808{
Paolo Bonzinia014ed02013-05-24 17:48:52 +0200809 int access_size_min, access_size_max;
810 int access_size, i;
Avi Kivity897fa7c2011-11-13 13:05:27 +0200811
Avi Kivity093bc2c2011-07-26 14:26:01 +0300812 if (!mr->ops->valid.unaligned && (addr & (size - 1))) {
813 return false;
814 }
815
Paolo Bonzinia014ed02013-05-24 17:48:52 +0200816 if (!mr->ops->valid.accepts) {
Avi Kivity093bc2c2011-07-26 14:26:01 +0300817 return true;
818 }
819
Paolo Bonzinia014ed02013-05-24 17:48:52 +0200820 access_size_min = mr->ops->valid.min_access_size;
821 if (!mr->ops->valid.min_access_size) {
822 access_size_min = 1;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300823 }
Paolo Bonzinia014ed02013-05-24 17:48:52 +0200824
825 access_size_max = mr->ops->valid.max_access_size;
826 if (!mr->ops->valid.max_access_size) {
827 access_size_max = 4;
828 }
829
830 access_size = MAX(MIN(size, access_size_max), access_size_min);
831 for (i = 0; i < size; i += access_size) {
832 if (!mr->ops->valid.accepts(mr->opaque, addr + i, access_size,
833 is_write)) {
834 return false;
835 }
836 }
837
Avi Kivity093bc2c2011-07-26 14:26:01 +0300838 return true;
839}
840
Avi Kivitya621f382012-01-02 13:12:08 +0200841static uint64_t memory_region_dispatch_read1(MemoryRegion *mr,
Avi Kivitya8170e52012-10-23 12:30:10 +0200842 hwaddr addr,
Avi Kivitya621f382012-01-02 13:12:08 +0200843 unsigned size)
Avi Kivity093bc2c2011-07-26 14:26:01 +0300844{
Avi Kivity164a4dc2011-08-11 10:40:25 +0300845 uint64_t data = 0;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300846
Paolo Bonzinice5d2f32013-05-24 17:45:48 +0200847 if (mr->ops->read) {
848 access_with_adjusted_size(addr, &data, size,
849 mr->ops->impl.min_access_size,
850 mr->ops->impl.max_access_size,
851 memory_region_read_accessor, mr);
852 } else {
853 access_with_adjusted_size(addr, &data, size, 1, 4,
854 memory_region_oldmmio_read_accessor, mr);
Avi Kivity74901c32011-07-26 14:26:10 +0300855 }
856
Avi Kivity093bc2c2011-07-26 14:26:01 +0300857 return data;
858}
859
Avi Kivitya621f382012-01-02 13:12:08 +0200860static void adjust_endianness(MemoryRegion *mr, uint64_t *data, unsigned size)
Avi Kivity093bc2c2011-07-26 14:26:01 +0300861{
Avi Kivitya621f382012-01-02 13:12:08 +0200862 if (memory_region_wrong_endianness(mr)) {
863 switch (size) {
864 case 1:
865 break;
866 case 2:
867 *data = bswap16(*data);
868 break;
869 case 4:
870 *data = bswap32(*data);
Andreas Färber1470a0c2012-01-07 09:45:15 +0100871 break;
Paolo Bonzini968a5622013-05-24 17:58:37 +0200872 case 8:
873 *data = bswap64(*data);
874 break;
Avi Kivitya621f382012-01-02 13:12:08 +0200875 default:
876 abort();
877 }
878 }
879}
Avi Kivity093bc2c2011-07-26 14:26:01 +0300880
Paolo Bonzini791af8c2013-05-24 16:10:39 +0200881static bool memory_region_dispatch_read(MemoryRegion *mr,
882 hwaddr addr,
883 uint64_t *pval,
884 unsigned size)
Avi Kivitya621f382012-01-02 13:12:08 +0200885{
Paolo Bonzini791af8c2013-05-24 16:10:39 +0200886 if (!memory_region_access_valid(mr, addr, size, false)) {
887 *pval = unassigned_mem_read(mr, addr, size);
888 return true;
889 }
Avi Kivitya621f382012-01-02 13:12:08 +0200890
Paolo Bonzini791af8c2013-05-24 16:10:39 +0200891 *pval = memory_region_dispatch_read1(mr, addr, size);
892 adjust_endianness(mr, pval, size);
893 return false;
Avi Kivitya621f382012-01-02 13:12:08 +0200894}
895
Paolo Bonzini791af8c2013-05-24 16:10:39 +0200896static bool memory_region_dispatch_write(MemoryRegion *mr,
Avi Kivitya8170e52012-10-23 12:30:10 +0200897 hwaddr addr,
Avi Kivitya621f382012-01-02 13:12:08 +0200898 uint64_t data,
899 unsigned size)
900{
Avi Kivity897fa7c2011-11-13 13:05:27 +0200901 if (!memory_region_access_valid(mr, addr, size, true)) {
Paolo Bonzinib018ddf2013-05-24 14:48:38 +0200902 unassigned_mem_write(mr, addr, data, size);
Paolo Bonzini791af8c2013-05-24 16:10:39 +0200903 return true;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300904 }
905
Avi Kivitya621f382012-01-02 13:12:08 +0200906 adjust_endianness(mr, &data, size);
907
Paolo Bonzinice5d2f32013-05-24 17:45:48 +0200908 if (mr->ops->write) {
909 access_with_adjusted_size(addr, &data, size,
910 mr->ops->impl.min_access_size,
911 mr->ops->impl.max_access_size,
912 memory_region_write_accessor, mr);
913 } else {
914 access_with_adjusted_size(addr, &data, size, 1, 4,
915 memory_region_oldmmio_write_accessor, mr);
Avi Kivity74901c32011-07-26 14:26:10 +0300916 }
Paolo Bonzini791af8c2013-05-24 16:10:39 +0200917 return false;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300918}
919
Avi Kivity093bc2c2011-07-26 14:26:01 +0300920void memory_region_init_io(MemoryRegion *mr,
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -0400921 Object *owner,
Avi Kivity093bc2c2011-07-26 14:26:01 +0300922 const MemoryRegionOps *ops,
923 void *opaque,
924 const char *name,
925 uint64_t size)
926{
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -0400927 memory_region_init(mr, owner, name, size);
Avi Kivity093bc2c2011-07-26 14:26:01 +0300928 mr->ops = ops;
929 mr->opaque = opaque;
Avi Kivity14a3c102011-07-26 14:26:06 +0300930 mr->terminates = true;
Avi Kivity97161e12012-03-08 19:16:39 +0200931 mr->ram_addr = ~(ram_addr_t)0;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300932}
933
934void memory_region_init_ram(MemoryRegion *mr,
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -0400935 Object *owner,
Avi Kivity093bc2c2011-07-26 14:26:01 +0300936 const char *name,
937 uint64_t size)
938{
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -0400939 memory_region_init(mr, owner, name, size);
Avi Kivity8ea92522011-12-08 15:58:43 +0200940 mr->ram = true;
Avi Kivity14a3c102011-07-26 14:26:06 +0300941 mr->terminates = true;
Avi Kivity545e92e2011-08-08 19:58:48 +0300942 mr->destructor = memory_region_destructor_ram;
Avi Kivityc5705a72011-12-20 15:59:12 +0200943 mr->ram_addr = qemu_ram_alloc(size, mr);
Avi Kivity093bc2c2011-07-26 14:26:01 +0300944}
945
946void memory_region_init_ram_ptr(MemoryRegion *mr,
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -0400947 Object *owner,
Avi Kivity093bc2c2011-07-26 14:26:01 +0300948 const char *name,
949 uint64_t size,
950 void *ptr)
951{
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -0400952 memory_region_init(mr, owner, name, size);
Avi Kivity8ea92522011-12-08 15:58:43 +0200953 mr->ram = true;
Avi Kivity14a3c102011-07-26 14:26:06 +0300954 mr->terminates = true;
Avi Kivity545e92e2011-08-08 19:58:48 +0300955 mr->destructor = memory_region_destructor_ram_from_ptr;
Avi Kivityc5705a72011-12-20 15:59:12 +0200956 mr->ram_addr = qemu_ram_alloc_from_ptr(size, ptr, mr);
Avi Kivity093bc2c2011-07-26 14:26:01 +0300957}
958
959void memory_region_init_alias(MemoryRegion *mr,
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -0400960 Object *owner,
Avi Kivity093bc2c2011-07-26 14:26:01 +0300961 const char *name,
962 MemoryRegion *orig,
Avi Kivitya8170e52012-10-23 12:30:10 +0200963 hwaddr offset,
Avi Kivity093bc2c2011-07-26 14:26:01 +0300964 uint64_t size)
965{
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -0400966 memory_region_init(mr, owner, name, size);
Avi Kivity093bc2c2011-07-26 14:26:01 +0300967 mr->alias = orig;
968 mr->alias_offset = offset;
969}
970
Avi Kivityd0a9b5b2011-08-08 19:58:49 +0300971void memory_region_init_rom_device(MemoryRegion *mr,
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -0400972 Object *owner,
Avi Kivityd0a9b5b2011-08-08 19:58:49 +0300973 const MemoryRegionOps *ops,
Avi Kivity75f59412011-08-26 00:35:15 +0300974 void *opaque,
Avi Kivityd0a9b5b2011-08-08 19:58:49 +0300975 const char *name,
976 uint64_t size)
977{
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -0400978 memory_region_init(mr, owner, name, size);
Avi Kivity7bc2b9c2011-08-25 14:56:14 +0300979 mr->ops = ops;
Avi Kivity75f59412011-08-26 00:35:15 +0300980 mr->opaque = opaque;
Avi Kivityd0a9b5b2011-08-08 19:58:49 +0300981 mr->terminates = true;
Avi Kivity75c578d2012-01-02 15:40:52 +0200982 mr->rom_device = true;
Avi Kivityd0a9b5b2011-08-08 19:58:49 +0300983 mr->destructor = memory_region_destructor_rom_device;
Avi Kivityc5705a72011-12-20 15:59:12 +0200984 mr->ram_addr = qemu_ram_alloc(size, mr);
Avi Kivityd0a9b5b2011-08-08 19:58:49 +0300985}
986
Avi Kivity30951152012-10-30 13:47:46 +0200987void memory_region_init_iommu(MemoryRegion *mr,
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -0400988 Object *owner,
Avi Kivity30951152012-10-30 13:47:46 +0200989 const MemoryRegionIOMMUOps *ops,
990 const char *name,
991 uint64_t size)
992{
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -0400993 memory_region_init(mr, owner, name, size);
Avi Kivity30951152012-10-30 13:47:46 +0200994 mr->iommu_ops = ops,
995 mr->terminates = true; /* then re-forwards */
David Gibson06866572013-05-14 19:13:56 +1000996 notifier_list_init(&mr->iommu_notify);
Avi Kivity30951152012-10-30 13:47:46 +0200997}
998
Jan Kiszka1660e722011-10-23 16:01:19 +0200999void memory_region_init_reservation(MemoryRegion *mr,
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -04001000 Object *owner,
Jan Kiszka1660e722011-10-23 16:01:19 +02001001 const char *name,
1002 uint64_t size)
1003{
Paolo Bonzini2c9b15c2013-06-06 05:41:28 -04001004 memory_region_init_io(mr, owner, &unassigned_mem_ops, mr, name, size);
Jan Kiszka1660e722011-10-23 16:01:19 +02001005}
1006
Avi Kivity093bc2c2011-07-26 14:26:01 +03001007void memory_region_destroy(MemoryRegion *mr)
1008{
1009 assert(QTAILQ_EMPTY(&mr->subregions));
Avi Kivity2be0e252012-10-17 17:14:41 +02001010 assert(memory_region_transaction_depth == 0);
Avi Kivity545e92e2011-08-08 19:58:48 +03001011 mr->destructor(mr);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001012 memory_region_clear_coalescing(mr);
Anthony Liguori7267c092011-08-20 22:09:37 -05001013 g_free((char *)mr->name);
1014 g_free(mr->ioeventfds);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001015}
1016
Paolo Bonzini803c0812013-05-07 06:59:09 +02001017Object *memory_region_owner(MemoryRegion *mr)
1018{
1019 return mr->owner;
1020}
1021
Paolo Bonzini46637be2013-05-07 09:06:00 +02001022void memory_region_ref(MemoryRegion *mr)
1023{
1024 if (mr && mr->owner) {
1025 object_ref(mr->owner);
1026 }
1027}
1028
1029void memory_region_unref(MemoryRegion *mr)
1030{
1031 if (mr && mr->owner) {
1032 object_unref(mr->owner);
1033 }
1034}
1035
Avi Kivity093bc2c2011-07-26 14:26:01 +03001036uint64_t memory_region_size(MemoryRegion *mr)
1037{
Avi Kivity08dafab2011-10-16 13:19:17 +02001038 if (int128_eq(mr->size, int128_2_64())) {
1039 return UINT64_MAX;
1040 }
1041 return int128_get64(mr->size);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001042}
1043
Avi Kivity8991c792011-12-20 15:53:11 +02001044const char *memory_region_name(MemoryRegion *mr)
1045{
1046 return mr->name;
1047}
1048
Avi Kivity8ea92522011-12-08 15:58:43 +02001049bool memory_region_is_ram(MemoryRegion *mr)
1050{
1051 return mr->ram;
1052}
1053
Avi Kivity55043ba2011-12-15 17:20:34 +02001054bool memory_region_is_logging(MemoryRegion *mr)
1055{
1056 return mr->dirty_log_mask;
1057}
1058
Avi Kivityce7923d2011-12-08 16:05:11 +02001059bool memory_region_is_rom(MemoryRegion *mr)
1060{
1061 return mr->ram && mr->readonly;
1062}
1063
Avi Kivity30951152012-10-30 13:47:46 +02001064bool memory_region_is_iommu(MemoryRegion *mr)
1065{
1066 return mr->iommu_ops;
1067}
1068
David Gibson06866572013-05-14 19:13:56 +10001069void memory_region_register_iommu_notifier(MemoryRegion *mr, Notifier *n)
1070{
1071 notifier_list_add(&mr->iommu_notify, n);
1072}
1073
1074void memory_region_unregister_iommu_notifier(Notifier *n)
1075{
1076 notifier_remove(n);
1077}
1078
1079void memory_region_notify_iommu(MemoryRegion *mr,
1080 IOMMUTLBEntry entry)
1081{
1082 assert(memory_region_is_iommu(mr));
1083 notifier_list_notify(&mr->iommu_notify, &entry);
1084}
1085
Avi Kivity093bc2c2011-07-26 14:26:01 +03001086void memory_region_set_log(MemoryRegion *mr, bool log, unsigned client)
1087{
Avi Kivity5a583342011-07-26 14:26:02 +03001088 uint8_t mask = 1 << client;
1089
Jan Kiszka59023ef2012-08-23 13:02:30 +02001090 memory_region_transaction_begin();
Avi Kivity5a583342011-07-26 14:26:02 +03001091 mr->dirty_log_mask = (mr->dirty_log_mask & ~mask) | (log * mask);
Jan Kiszka22bde712012-11-05 16:45:56 +01001092 memory_region_update_pending |= mr->enabled;
Jan Kiszka59023ef2012-08-23 13:02:30 +02001093 memory_region_transaction_commit();
Avi Kivity093bc2c2011-07-26 14:26:01 +03001094}
1095
Avi Kivitya8170e52012-10-23 12:30:10 +02001096bool memory_region_get_dirty(MemoryRegion *mr, hwaddr addr,
1097 hwaddr size, unsigned client)
Avi Kivity093bc2c2011-07-26 14:26:01 +03001098{
Avi Kivity14a3c102011-07-26 14:26:06 +03001099 assert(mr->terminates);
Blue Swirlcd7a45c2012-01-22 16:38:21 +00001100 return cpu_physical_memory_get_dirty(mr->ram_addr + addr, size,
1101 1 << client);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001102}
1103
Avi Kivitya8170e52012-10-23 12:30:10 +02001104void memory_region_set_dirty(MemoryRegion *mr, hwaddr addr,
1105 hwaddr size)
Avi Kivity093bc2c2011-07-26 14:26:01 +03001106{
Avi Kivity14a3c102011-07-26 14:26:06 +03001107 assert(mr->terminates);
Blue Swirlfd4aa972011-10-16 16:04:59 +00001108 return cpu_physical_memory_set_dirty_range(mr->ram_addr + addr, size, -1);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001109}
1110
Juan Quintela6c279db2012-10-17 20:24:28 +02001111bool memory_region_test_and_clear_dirty(MemoryRegion *mr, hwaddr addr,
1112 hwaddr size, unsigned client)
1113{
1114 bool ret;
1115 assert(mr->terminates);
1116 ret = cpu_physical_memory_get_dirty(mr->ram_addr + addr, size,
1117 1 << client);
1118 if (ret) {
1119 cpu_physical_memory_reset_dirty(mr->ram_addr + addr,
1120 mr->ram_addr + addr + size,
1121 1 << client);
1122 }
1123 return ret;
1124}
1125
1126
Avi Kivity093bc2c2011-07-26 14:26:01 +03001127void memory_region_sync_dirty_bitmap(MemoryRegion *mr)
1128{
Avi Kivity0d673e32012-10-02 15:28:50 +02001129 AddressSpace *as;
Avi Kivity5a583342011-07-26 14:26:02 +03001130 FlatRange *fr;
1131
Avi Kivity0d673e32012-10-02 15:28:50 +02001132 QTAILQ_FOREACH(as, &address_spaces, address_spaces_link) {
1133 FOR_EACH_FLAT_RANGE(fr, as->current_map) {
1134 if (fr->mr == mr) {
1135 MEMORY_LISTENER_UPDATE_REGION(fr, as, Forward, log_sync);
1136 }
Avi Kivity5a583342011-07-26 14:26:02 +03001137 }
1138 }
Avi Kivity093bc2c2011-07-26 14:26:01 +03001139}
1140
1141void memory_region_set_readonly(MemoryRegion *mr, bool readonly)
1142{
Avi Kivityfb1cd6f2011-09-25 14:48:47 +03001143 if (mr->readonly != readonly) {
Jan Kiszka59023ef2012-08-23 13:02:30 +02001144 memory_region_transaction_begin();
Avi Kivityfb1cd6f2011-09-25 14:48:47 +03001145 mr->readonly = readonly;
Jan Kiszka22bde712012-11-05 16:45:56 +01001146 memory_region_update_pending |= mr->enabled;
Jan Kiszka59023ef2012-08-23 13:02:30 +02001147 memory_region_transaction_commit();
Avi Kivityfb1cd6f2011-09-25 14:48:47 +03001148 }
Avi Kivity093bc2c2011-07-26 14:26:01 +03001149}
1150
Jan Kiszka5f9a5ea2013-05-07 19:04:25 +02001151void memory_region_rom_device_set_romd(MemoryRegion *mr, bool romd_mode)
Avi Kivityd0a9b5b2011-08-08 19:58:49 +03001152{
Jan Kiszka5f9a5ea2013-05-07 19:04:25 +02001153 if (mr->romd_mode != romd_mode) {
Jan Kiszka59023ef2012-08-23 13:02:30 +02001154 memory_region_transaction_begin();
Jan Kiszka5f9a5ea2013-05-07 19:04:25 +02001155 mr->romd_mode = romd_mode;
Jan Kiszka22bde712012-11-05 16:45:56 +01001156 memory_region_update_pending |= mr->enabled;
Jan Kiszka59023ef2012-08-23 13:02:30 +02001157 memory_region_transaction_commit();
Avi Kivityd0a9b5b2011-08-08 19:58:49 +03001158 }
1159}
1160
Avi Kivitya8170e52012-10-23 12:30:10 +02001161void memory_region_reset_dirty(MemoryRegion *mr, hwaddr addr,
1162 hwaddr size, unsigned client)
Avi Kivity093bc2c2011-07-26 14:26:01 +03001163{
Avi Kivity14a3c102011-07-26 14:26:06 +03001164 assert(mr->terminates);
Avi Kivity5a583342011-07-26 14:26:02 +03001165 cpu_physical_memory_reset_dirty(mr->ram_addr + addr,
1166 mr->ram_addr + addr + size,
1167 1 << client);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001168}
1169
1170void *memory_region_get_ram_ptr(MemoryRegion *mr)
1171{
1172 if (mr->alias) {
1173 return memory_region_get_ram_ptr(mr->alias) + mr->alias_offset;
1174 }
1175
Avi Kivity14a3c102011-07-26 14:26:06 +03001176 assert(mr->terminates);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001177
Jan Kiszka021d26d2011-08-30 00:38:24 +02001178 return qemu_get_ram_ptr(mr->ram_addr & TARGET_PAGE_MASK);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001179}
1180
Avi Kivity0d673e32012-10-02 15:28:50 +02001181static void memory_region_update_coalesced_range_as(MemoryRegion *mr, AddressSpace *as)
Avi Kivity093bc2c2011-07-26 14:26:01 +03001182{
1183 FlatRange *fr;
1184 CoalescedMemoryRange *cmr;
1185 AddrRange tmp;
Avi Kivity95d29942012-10-02 18:21:54 +02001186 MemoryRegionSection section;
Avi Kivity093bc2c2011-07-26 14:26:01 +03001187
Avi Kivity0d673e32012-10-02 15:28:50 +02001188 FOR_EACH_FLAT_RANGE(fr, as->current_map) {
Avi Kivity093bc2c2011-07-26 14:26:01 +03001189 if (fr->mr == mr) {
Avi Kivity95d29942012-10-02 18:21:54 +02001190 section = (MemoryRegionSection) {
Avi Kivityf6790af2012-10-02 20:13:51 +02001191 .address_space = as,
Avi Kivity95d29942012-10-02 18:21:54 +02001192 .offset_within_address_space = int128_get64(fr->addr.start),
Paolo Bonzini052e87b2013-05-27 10:08:27 +02001193 .size = fr->addr.size,
Avi Kivity95d29942012-10-02 18:21:54 +02001194 };
1195
1196 MEMORY_LISTENER_CALL(coalesced_mmio_del, Reverse, &section,
1197 int128_get64(fr->addr.start),
1198 int128_get64(fr->addr.size));
Avi Kivity093bc2c2011-07-26 14:26:01 +03001199 QTAILQ_FOREACH(cmr, &mr->coalesced, link) {
1200 tmp = addrrange_shift(cmr->addr,
Avi Kivity08dafab2011-10-16 13:19:17 +02001201 int128_sub(fr->addr.start,
1202 int128_make64(fr->offset_in_region)));
Avi Kivity093bc2c2011-07-26 14:26:01 +03001203 if (!addrrange_intersects(tmp, fr->addr)) {
1204 continue;
1205 }
1206 tmp = addrrange_intersection(tmp, fr->addr);
Avi Kivity95d29942012-10-02 18:21:54 +02001207 MEMORY_LISTENER_CALL(coalesced_mmio_add, Forward, &section,
1208 int128_get64(tmp.start),
1209 int128_get64(tmp.size));
Avi Kivity093bc2c2011-07-26 14:26:01 +03001210 }
1211 }
1212 }
1213}
1214
Avi Kivity0d673e32012-10-02 15:28:50 +02001215static void memory_region_update_coalesced_range(MemoryRegion *mr)
1216{
1217 AddressSpace *as;
1218
1219 QTAILQ_FOREACH(as, &address_spaces, address_spaces_link) {
1220 memory_region_update_coalesced_range_as(mr, as);
1221 }
1222}
1223
Avi Kivity093bc2c2011-07-26 14:26:01 +03001224void memory_region_set_coalescing(MemoryRegion *mr)
1225{
1226 memory_region_clear_coalescing(mr);
Avi Kivity08dafab2011-10-16 13:19:17 +02001227 memory_region_add_coalescing(mr, 0, int128_get64(mr->size));
Avi Kivity093bc2c2011-07-26 14:26:01 +03001228}
1229
1230void memory_region_add_coalescing(MemoryRegion *mr,
Avi Kivitya8170e52012-10-23 12:30:10 +02001231 hwaddr offset,
Avi Kivity093bc2c2011-07-26 14:26:01 +03001232 uint64_t size)
1233{
Anthony Liguori7267c092011-08-20 22:09:37 -05001234 CoalescedMemoryRange *cmr = g_malloc(sizeof(*cmr));
Avi Kivity093bc2c2011-07-26 14:26:01 +03001235
Avi Kivity08dafab2011-10-16 13:19:17 +02001236 cmr->addr = addrrange_make(int128_make64(offset), int128_make64(size));
Avi Kivity093bc2c2011-07-26 14:26:01 +03001237 QTAILQ_INSERT_TAIL(&mr->coalesced, cmr, link);
1238 memory_region_update_coalesced_range(mr);
Jan Kiszkad4105152012-08-23 13:02:29 +02001239 memory_region_set_flush_coalesced(mr);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001240}
1241
1242void memory_region_clear_coalescing(MemoryRegion *mr)
1243{
1244 CoalescedMemoryRange *cmr;
1245
Jan Kiszkad4105152012-08-23 13:02:29 +02001246 qemu_flush_coalesced_mmio_buffer();
1247 mr->flush_coalesced_mmio = false;
1248
Avi Kivity093bc2c2011-07-26 14:26:01 +03001249 while (!QTAILQ_EMPTY(&mr->coalesced)) {
1250 cmr = QTAILQ_FIRST(&mr->coalesced);
1251 QTAILQ_REMOVE(&mr->coalesced, cmr, link);
Anthony Liguori7267c092011-08-20 22:09:37 -05001252 g_free(cmr);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001253 }
1254 memory_region_update_coalesced_range(mr);
1255}
1256
Jan Kiszkad4105152012-08-23 13:02:29 +02001257void memory_region_set_flush_coalesced(MemoryRegion *mr)
1258{
1259 mr->flush_coalesced_mmio = true;
1260}
1261
1262void memory_region_clear_flush_coalesced(MemoryRegion *mr)
1263{
1264 qemu_flush_coalesced_mmio_buffer();
1265 if (QTAILQ_EMPTY(&mr->coalesced)) {
1266 mr->flush_coalesced_mmio = false;
1267 }
1268}
1269
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001270void memory_region_add_eventfd(MemoryRegion *mr,
Avi Kivitya8170e52012-10-23 12:30:10 +02001271 hwaddr addr,
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001272 unsigned size,
1273 bool match_data,
1274 uint64_t data,
Paolo Bonzini753d5e12012-07-05 17:16:27 +02001275 EventNotifier *e)
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001276{
1277 MemoryRegionIoeventfd mrfd = {
Avi Kivity08dafab2011-10-16 13:19:17 +02001278 .addr.start = int128_make64(addr),
1279 .addr.size = int128_make64(size),
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001280 .match_data = match_data,
1281 .data = data,
Paolo Bonzini753d5e12012-07-05 17:16:27 +02001282 .e = e,
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001283 };
1284 unsigned i;
1285
Alexander Graf28f362b2012-10-15 20:30:28 +02001286 adjust_endianness(mr, &mrfd.data, size);
Jan Kiszka59023ef2012-08-23 13:02:30 +02001287 memory_region_transaction_begin();
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001288 for (i = 0; i < mr->ioeventfd_nb; ++i) {
1289 if (memory_region_ioeventfd_before(mrfd, mr->ioeventfds[i])) {
1290 break;
1291 }
1292 }
1293 ++mr->ioeventfd_nb;
Anthony Liguori7267c092011-08-20 22:09:37 -05001294 mr->ioeventfds = g_realloc(mr->ioeventfds,
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001295 sizeof(*mr->ioeventfds) * mr->ioeventfd_nb);
1296 memmove(&mr->ioeventfds[i+1], &mr->ioeventfds[i],
1297 sizeof(*mr->ioeventfds) * (mr->ioeventfd_nb-1 - i));
1298 mr->ioeventfds[i] = mrfd;
Jan Kiszka22bde712012-11-05 16:45:56 +01001299 memory_region_update_pending |= mr->enabled;
Jan Kiszka59023ef2012-08-23 13:02:30 +02001300 memory_region_transaction_commit();
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001301}
1302
1303void memory_region_del_eventfd(MemoryRegion *mr,
Avi Kivitya8170e52012-10-23 12:30:10 +02001304 hwaddr addr,
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001305 unsigned size,
1306 bool match_data,
1307 uint64_t data,
Paolo Bonzini753d5e12012-07-05 17:16:27 +02001308 EventNotifier *e)
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001309{
1310 MemoryRegionIoeventfd mrfd = {
Avi Kivity08dafab2011-10-16 13:19:17 +02001311 .addr.start = int128_make64(addr),
1312 .addr.size = int128_make64(size),
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001313 .match_data = match_data,
1314 .data = data,
Paolo Bonzini753d5e12012-07-05 17:16:27 +02001315 .e = e,
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001316 };
1317 unsigned i;
1318
Alexander Graf28f362b2012-10-15 20:30:28 +02001319 adjust_endianness(mr, &mrfd.data, size);
Jan Kiszka59023ef2012-08-23 13:02:30 +02001320 memory_region_transaction_begin();
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001321 for (i = 0; i < mr->ioeventfd_nb; ++i) {
1322 if (memory_region_ioeventfd_equal(mrfd, mr->ioeventfds[i])) {
1323 break;
1324 }
1325 }
1326 assert(i != mr->ioeventfd_nb);
1327 memmove(&mr->ioeventfds[i], &mr->ioeventfds[i+1],
1328 sizeof(*mr->ioeventfds) * (mr->ioeventfd_nb - (i+1)));
1329 --mr->ioeventfd_nb;
Anthony Liguori7267c092011-08-20 22:09:37 -05001330 mr->ioeventfds = g_realloc(mr->ioeventfds,
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001331 sizeof(*mr->ioeventfds)*mr->ioeventfd_nb + 1);
Jan Kiszka22bde712012-11-05 16:45:56 +01001332 memory_region_update_pending |= mr->enabled;
Jan Kiszka59023ef2012-08-23 13:02:30 +02001333 memory_region_transaction_commit();
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001334}
1335
Avi Kivity093bc2c2011-07-26 14:26:01 +03001336static void memory_region_add_subregion_common(MemoryRegion *mr,
Avi Kivitya8170e52012-10-23 12:30:10 +02001337 hwaddr offset,
Avi Kivity093bc2c2011-07-26 14:26:01 +03001338 MemoryRegion *subregion)
1339{
1340 MemoryRegion *other;
1341
Jan Kiszka59023ef2012-08-23 13:02:30 +02001342 memory_region_transaction_begin();
1343
Avi Kivity093bc2c2011-07-26 14:26:01 +03001344 assert(!subregion->parent);
1345 subregion->parent = mr;
1346 subregion->addr = offset;
1347 QTAILQ_FOREACH(other, &mr->subregions, subregions_link) {
1348 if (subregion->may_overlap || other->may_overlap) {
1349 continue;
1350 }
Hu Tao2c7cfd62013-03-15 14:32:01 +08001351 if (int128_ge(int128_make64(offset),
Avi Kivity08dafab2011-10-16 13:19:17 +02001352 int128_add(int128_make64(other->addr), other->size))
1353 || int128_le(int128_add(int128_make64(offset), subregion->size),
1354 int128_make64(other->addr))) {
Avi Kivity093bc2c2011-07-26 14:26:01 +03001355 continue;
1356 }
Anthony Liguoria5e1cbc2011-08-22 11:14:56 -05001357#if 0
Michael Walle860329b2011-09-15 23:16:49 +02001358 printf("warning: subregion collision %llx/%llx (%s) "
1359 "vs %llx/%llx (%s)\n",
Avi Kivity093bc2c2011-07-26 14:26:01 +03001360 (unsigned long long)offset,
Avi Kivity08dafab2011-10-16 13:19:17 +02001361 (unsigned long long)int128_get64(subregion->size),
Michael Walle860329b2011-09-15 23:16:49 +02001362 subregion->name,
1363 (unsigned long long)other->addr,
Avi Kivity08dafab2011-10-16 13:19:17 +02001364 (unsigned long long)int128_get64(other->size),
Michael Walle860329b2011-09-15 23:16:49 +02001365 other->name);
Anthony Liguoria5e1cbc2011-08-22 11:14:56 -05001366#endif
Avi Kivity093bc2c2011-07-26 14:26:01 +03001367 }
1368 QTAILQ_FOREACH(other, &mr->subregions, subregions_link) {
1369 if (subregion->priority >= other->priority) {
1370 QTAILQ_INSERT_BEFORE(other, subregion, subregions_link);
1371 goto done;
1372 }
1373 }
1374 QTAILQ_INSERT_TAIL(&mr->subregions, subregion, subregions_link);
1375done:
Jan Kiszka22bde712012-11-05 16:45:56 +01001376 memory_region_update_pending |= mr->enabled && subregion->enabled;
Jan Kiszka59023ef2012-08-23 13:02:30 +02001377 memory_region_transaction_commit();
Avi Kivity093bc2c2011-07-26 14:26:01 +03001378}
1379
1380
1381void memory_region_add_subregion(MemoryRegion *mr,
Avi Kivitya8170e52012-10-23 12:30:10 +02001382 hwaddr offset,
Avi Kivity093bc2c2011-07-26 14:26:01 +03001383 MemoryRegion *subregion)
1384{
1385 subregion->may_overlap = false;
1386 subregion->priority = 0;
1387 memory_region_add_subregion_common(mr, offset, subregion);
1388}
1389
1390void memory_region_add_subregion_overlap(MemoryRegion *mr,
Avi Kivitya8170e52012-10-23 12:30:10 +02001391 hwaddr offset,
Avi Kivity093bc2c2011-07-26 14:26:01 +03001392 MemoryRegion *subregion,
1393 unsigned priority)
1394{
1395 subregion->may_overlap = true;
1396 subregion->priority = priority;
1397 memory_region_add_subregion_common(mr, offset, subregion);
1398}
1399
1400void memory_region_del_subregion(MemoryRegion *mr,
1401 MemoryRegion *subregion)
1402{
Jan Kiszka59023ef2012-08-23 13:02:30 +02001403 memory_region_transaction_begin();
Avi Kivity093bc2c2011-07-26 14:26:01 +03001404 assert(subregion->parent == mr);
1405 subregion->parent = NULL;
1406 QTAILQ_REMOVE(&mr->subregions, subregion, subregions_link);
Jan Kiszka22bde712012-11-05 16:45:56 +01001407 memory_region_update_pending |= mr->enabled && subregion->enabled;
Jan Kiszka59023ef2012-08-23 13:02:30 +02001408 memory_region_transaction_commit();
Avi Kivity6bba19b2011-09-14 11:54:58 +03001409}
1410
1411void memory_region_set_enabled(MemoryRegion *mr, bool enabled)
1412{
1413 if (enabled == mr->enabled) {
1414 return;
1415 }
Jan Kiszka59023ef2012-08-23 13:02:30 +02001416 memory_region_transaction_begin();
Avi Kivity6bba19b2011-09-14 11:54:58 +03001417 mr->enabled = enabled;
Jan Kiszka22bde712012-11-05 16:45:56 +01001418 memory_region_update_pending = true;
Jan Kiszka59023ef2012-08-23 13:02:30 +02001419 memory_region_transaction_commit();
Avi Kivity093bc2c2011-07-26 14:26:01 +03001420}
Avi Kivity1c0ffa52011-07-26 14:26:04 +03001421
Avi Kivitya8170e52012-10-23 12:30:10 +02001422void memory_region_set_address(MemoryRegion *mr, hwaddr addr)
Avi Kivity2282e1a2011-09-14 12:10:12 +03001423{
1424 MemoryRegion *parent = mr->parent;
1425 unsigned priority = mr->priority;
1426 bool may_overlap = mr->may_overlap;
1427
1428 if (addr == mr->addr || !parent) {
1429 mr->addr = addr;
1430 return;
1431 }
1432
1433 memory_region_transaction_begin();
1434 memory_region_del_subregion(parent, mr);
1435 if (may_overlap) {
1436 memory_region_add_subregion_overlap(parent, addr, mr, priority);
1437 } else {
1438 memory_region_add_subregion(parent, addr, mr);
1439 }
1440 memory_region_transaction_commit();
1441}
1442
Avi Kivitya8170e52012-10-23 12:30:10 +02001443void memory_region_set_alias_offset(MemoryRegion *mr, hwaddr offset)
Avi Kivity47033592011-12-04 19:16:50 +02001444{
Avi Kivity47033592011-12-04 19:16:50 +02001445 assert(mr->alias);
Avi Kivity47033592011-12-04 19:16:50 +02001446
Jan Kiszka59023ef2012-08-23 13:02:30 +02001447 if (offset == mr->alias_offset) {
Avi Kivity47033592011-12-04 19:16:50 +02001448 return;
1449 }
1450
Jan Kiszka59023ef2012-08-23 13:02:30 +02001451 memory_region_transaction_begin();
1452 mr->alias_offset = offset;
Jan Kiszka22bde712012-11-05 16:45:56 +01001453 memory_region_update_pending |= mr->enabled;
Jan Kiszka59023ef2012-08-23 13:02:30 +02001454 memory_region_transaction_commit();
Avi Kivity47033592011-12-04 19:16:50 +02001455}
1456
Avi Kivitye34911c2011-12-19 12:06:23 +02001457ram_addr_t memory_region_get_ram_addr(MemoryRegion *mr)
1458{
Avi Kivitye34911c2011-12-19 12:06:23 +02001459 return mr->ram_addr;
1460}
1461
Avi Kivitye2177952011-12-08 15:00:18 +02001462static int cmp_flatrange_addr(const void *addr_, const void *fr_)
1463{
1464 const AddrRange *addr = addr_;
1465 const FlatRange *fr = fr_;
1466
1467 if (int128_le(addrrange_end(*addr), fr->addr.start)) {
1468 return -1;
1469 } else if (int128_ge(addr->start, addrrange_end(fr->addr))) {
1470 return 1;
1471 }
1472 return 0;
1473}
1474
1475static FlatRange *address_space_lookup(AddressSpace *as, AddrRange addr)
1476{
Avi Kivity8786db72012-10-02 13:53:41 +02001477 return bsearch(&addr, as->current_map->ranges, as->current_map->nr,
Avi Kivitye2177952011-12-08 15:00:18 +02001478 sizeof(FlatRange), cmp_flatrange_addr);
1479}
1480
Paolo Bonzini73034e92013-05-07 15:48:28 +02001481MemoryRegionSection memory_region_find(MemoryRegion *mr,
Avi Kivitya8170e52012-10-23 12:30:10 +02001482 hwaddr addr, uint64_t size)
Avi Kivitye2177952011-12-08 15:00:18 +02001483{
Paolo Bonzini052e87b2013-05-27 10:08:27 +02001484 MemoryRegionSection ret = { .mr = NULL };
Paolo Bonzini73034e92013-05-07 15:48:28 +02001485 MemoryRegion *root;
1486 AddressSpace *as;
1487 AddrRange range;
1488 FlatRange *fr;
Avi Kivitye2177952011-12-08 15:00:18 +02001489
Paolo Bonzini73034e92013-05-07 15:48:28 +02001490 addr += mr->addr;
1491 for (root = mr; root->parent; ) {
1492 root = root->parent;
1493 addr += root->addr;
1494 }
1495
1496 as = memory_region_to_address_space(root);
1497 range = addrrange_make(int128_make64(addr), int128_make64(size));
1498 fr = address_space_lookup(as, range);
Avi Kivitye2177952011-12-08 15:00:18 +02001499 if (!fr) {
1500 return ret;
1501 }
1502
Avi Kivity8786db72012-10-02 13:53:41 +02001503 while (fr > as->current_map->ranges
Avi Kivitye2177952011-12-08 15:00:18 +02001504 && addrrange_intersects(fr[-1].addr, range)) {
1505 --fr;
1506 }
1507
1508 ret.mr = fr->mr;
Paolo Bonzini73034e92013-05-07 15:48:28 +02001509 ret.address_space = as;
Avi Kivitye2177952011-12-08 15:00:18 +02001510 range = addrrange_intersection(range, fr->addr);
1511 ret.offset_within_region = fr->offset_in_region;
1512 ret.offset_within_region += int128_get64(int128_sub(range.start,
1513 fr->addr.start));
Paolo Bonzini052e87b2013-05-27 10:08:27 +02001514 ret.size = range.size;
Avi Kivitye2177952011-12-08 15:00:18 +02001515 ret.offset_within_address_space = int128_get64(range.start);
Avi Kivity7a8499e2012-02-08 17:01:23 +02001516 ret.readonly = fr->readonly;
Avi Kivitye2177952011-12-08 15:00:18 +02001517 return ret;
1518}
1519
Paolo Bonzini1d671362013-04-24 10:46:55 +02001520void address_space_sync_dirty_bitmap(AddressSpace *as)
Avi Kivity86e775c2011-12-15 16:24:49 +02001521{
Avi Kivity7664e802011-12-11 14:47:25 +02001522 FlatRange *fr;
1523
Avi Kivity8786db72012-10-02 13:53:41 +02001524 FOR_EACH_FLAT_RANGE(fr, as->current_map) {
Avi Kivity72e22d22012-02-08 15:05:50 +02001525 MEMORY_LISTENER_UPDATE_REGION(fr, as, Forward, log_sync);
Avi Kivity7664e802011-12-11 14:47:25 +02001526 }
1527}
1528
1529void memory_global_dirty_log_start(void)
1530{
Avi Kivity7664e802011-12-11 14:47:25 +02001531 global_dirty_log = true;
Avi Kivity7376e582012-02-08 21:05:17 +02001532 MEMORY_LISTENER_CALL_GLOBAL(log_global_start, Forward);
Avi Kivity7664e802011-12-11 14:47:25 +02001533}
1534
1535void memory_global_dirty_log_stop(void)
1536{
Avi Kivity7664e802011-12-11 14:47:25 +02001537 global_dirty_log = false;
Avi Kivity7376e582012-02-08 21:05:17 +02001538 MEMORY_LISTENER_CALL_GLOBAL(log_global_stop, Reverse);
Avi Kivity7664e802011-12-11 14:47:25 +02001539}
1540
1541static void listener_add_address_space(MemoryListener *listener,
1542 AddressSpace *as)
1543{
1544 FlatRange *fr;
1545
Julien Grall221b3a32012-04-04 15:15:41 +01001546 if (listener->address_space_filter
Avi Kivityf6790af2012-10-02 20:13:51 +02001547 && listener->address_space_filter != as) {
Julien Grall221b3a32012-04-04 15:15:41 +01001548 return;
1549 }
1550
Avi Kivity7664e802011-12-11 14:47:25 +02001551 if (global_dirty_log) {
Avi Kivity975aefe2012-10-02 16:39:57 +02001552 if (listener->log_global_start) {
1553 listener->log_global_start(listener);
1554 }
Avi Kivity7664e802011-12-11 14:47:25 +02001555 }
Avi Kivity975aefe2012-10-02 16:39:57 +02001556
Avi Kivity8786db72012-10-02 13:53:41 +02001557 FOR_EACH_FLAT_RANGE(fr, as->current_map) {
Avi Kivity7664e802011-12-11 14:47:25 +02001558 MemoryRegionSection section = {
1559 .mr = fr->mr,
Avi Kivityf6790af2012-10-02 20:13:51 +02001560 .address_space = as,
Avi Kivity7664e802011-12-11 14:47:25 +02001561 .offset_within_region = fr->offset_in_region,
Paolo Bonzini052e87b2013-05-27 10:08:27 +02001562 .size = fr->addr.size,
Avi Kivity7664e802011-12-11 14:47:25 +02001563 .offset_within_address_space = int128_get64(fr->addr.start),
Avi Kivity7a8499e2012-02-08 17:01:23 +02001564 .readonly = fr->readonly,
Avi Kivity7664e802011-12-11 14:47:25 +02001565 };
Avi Kivity975aefe2012-10-02 16:39:57 +02001566 if (listener->region_add) {
1567 listener->region_add(listener, &section);
1568 }
Avi Kivity7664e802011-12-11 14:47:25 +02001569 }
1570}
1571
Avi Kivityf6790af2012-10-02 20:13:51 +02001572void memory_listener_register(MemoryListener *listener, AddressSpace *filter)
Avi Kivity7664e802011-12-11 14:47:25 +02001573{
Avi Kivity72e22d22012-02-08 15:05:50 +02001574 MemoryListener *other = NULL;
Avi Kivity0d673e32012-10-02 15:28:50 +02001575 AddressSpace *as;
Avi Kivity72e22d22012-02-08 15:05:50 +02001576
Avi Kivity7376e582012-02-08 21:05:17 +02001577 listener->address_space_filter = filter;
Avi Kivity72e22d22012-02-08 15:05:50 +02001578 if (QTAILQ_EMPTY(&memory_listeners)
1579 || listener->priority >= QTAILQ_LAST(&memory_listeners,
1580 memory_listeners)->priority) {
1581 QTAILQ_INSERT_TAIL(&memory_listeners, listener, link);
1582 } else {
1583 QTAILQ_FOREACH(other, &memory_listeners, link) {
1584 if (listener->priority < other->priority) {
1585 break;
1586 }
1587 }
1588 QTAILQ_INSERT_BEFORE(other, listener, link);
1589 }
Avi Kivity0d673e32012-10-02 15:28:50 +02001590
1591 QTAILQ_FOREACH(as, &address_spaces, address_spaces_link) {
1592 listener_add_address_space(listener, as);
1593 }
Avi Kivity7664e802011-12-11 14:47:25 +02001594}
1595
1596void memory_listener_unregister(MemoryListener *listener)
1597{
Avi Kivity72e22d22012-02-08 15:05:50 +02001598 QTAILQ_REMOVE(&memory_listeners, listener, link);
Avi Kivity86e775c2011-12-15 16:24:49 +02001599}
Avi Kivitye2177952011-12-08 15:00:18 +02001600
Alexey Kardashevskiy7dca8042013-04-29 16:25:51 +00001601void address_space_init(AddressSpace *as, MemoryRegion *root, const char *name)
Avi Kivity1c0ffa52011-07-26 14:26:04 +03001602{
Jan Kiszka59023ef2012-08-23 13:02:30 +02001603 memory_region_transaction_begin();
Avi Kivity8786db72012-10-02 13:53:41 +02001604 as->root = root;
1605 as->current_map = g_new(FlatView, 1);
1606 flatview_init(as->current_map);
Avi Kivity4c19eb72012-10-30 13:47:44 +02001607 as->ioeventfd_nb = 0;
1608 as->ioeventfds = NULL;
Avi Kivity0d673e32012-10-02 15:28:50 +02001609 QTAILQ_INSERT_TAIL(&address_spaces, as, address_spaces_link);
Alexey Kardashevskiy7dca8042013-04-29 16:25:51 +00001610 as->name = g_strdup(name ? name : "anonymous");
Avi Kivityac1970f2012-10-03 16:22:53 +02001611 address_space_init_dispatch(as);
Paolo Bonzinif43793c2013-04-16 15:39:51 +02001612 memory_region_update_pending |= root->enabled;
1613 memory_region_transaction_commit();
Avi Kivity1c0ffa52011-07-26 14:26:04 +03001614}
Avi Kivity658b2222011-07-26 14:26:08 +03001615
Avi Kivity83f3c252012-10-07 12:59:55 +02001616void address_space_destroy(AddressSpace *as)
1617{
1618 /* Flush out anything from MemoryListeners listening in on this */
1619 memory_region_transaction_begin();
1620 as->root = NULL;
1621 memory_region_transaction_commit();
1622 QTAILQ_REMOVE(&address_spaces, as, address_spaces_link);
1623 address_space_destroy_dispatch(as);
1624 flatview_destroy(as->current_map);
Alexey Kardashevskiy7dca8042013-04-29 16:25:51 +00001625 g_free(as->name);
Avi Kivity83f3c252012-10-07 12:59:55 +02001626 g_free(as->current_map);
Avi Kivity4c19eb72012-10-30 13:47:44 +02001627 g_free(as->ioeventfds);
Avi Kivity83f3c252012-10-07 12:59:55 +02001628}
1629
Paolo Bonzini791af8c2013-05-24 16:10:39 +02001630bool io_mem_read(MemoryRegion *mr, hwaddr addr, uint64_t *pval, unsigned size)
Avi Kivityacbbec52011-11-21 12:27:03 +02001631{
Paolo Bonzini791af8c2013-05-24 16:10:39 +02001632 return memory_region_dispatch_read(mr, addr, pval, size);
Avi Kivityacbbec52011-11-21 12:27:03 +02001633}
1634
Paolo Bonzini791af8c2013-05-24 16:10:39 +02001635bool io_mem_write(MemoryRegion *mr, hwaddr addr,
Avi Kivityacbbec52011-11-21 12:27:03 +02001636 uint64_t val, unsigned size)
1637{
Paolo Bonzini791af8c2013-05-24 16:10:39 +02001638 return memory_region_dispatch_write(mr, addr, val, size);
Avi Kivityacbbec52011-11-21 12:27:03 +02001639}
1640
Blue Swirl314e2982011-09-11 20:22:05 +00001641typedef struct MemoryRegionList MemoryRegionList;
1642
1643struct MemoryRegionList {
1644 const MemoryRegion *mr;
1645 bool printed;
1646 QTAILQ_ENTRY(MemoryRegionList) queue;
1647};
1648
1649typedef QTAILQ_HEAD(queue, MemoryRegionList) MemoryRegionListHead;
1650
1651static void mtree_print_mr(fprintf_function mon_printf, void *f,
1652 const MemoryRegion *mr, unsigned int level,
Avi Kivitya8170e52012-10-23 12:30:10 +02001653 hwaddr base,
Jan Kiszka9479c572011-09-27 15:00:41 +02001654 MemoryRegionListHead *alias_print_queue)
Blue Swirl314e2982011-09-11 20:22:05 +00001655{
Jan Kiszka9479c572011-09-27 15:00:41 +02001656 MemoryRegionList *new_ml, *ml, *next_ml;
1657 MemoryRegionListHead submr_print_queue;
Blue Swirl314e2982011-09-11 20:22:05 +00001658 const MemoryRegion *submr;
1659 unsigned int i;
1660
Jan Kiszka7ea692b2012-10-31 10:49:02 +01001661 if (!mr || !mr->enabled) {
Blue Swirl314e2982011-09-11 20:22:05 +00001662 return;
1663 }
1664
1665 for (i = 0; i < level; i++) {
1666 mon_printf(f, " ");
1667 }
1668
1669 if (mr->alias) {
1670 MemoryRegionList *ml;
1671 bool found = false;
1672
1673 /* check if the alias is already in the queue */
Jan Kiszka9479c572011-09-27 15:00:41 +02001674 QTAILQ_FOREACH(ml, alias_print_queue, queue) {
Blue Swirl314e2982011-09-11 20:22:05 +00001675 if (ml->mr == mr->alias && !ml->printed) {
1676 found = true;
1677 }
1678 }
1679
1680 if (!found) {
1681 ml = g_new(MemoryRegionList, 1);
1682 ml->mr = mr->alias;
1683 ml->printed = false;
Jan Kiszka9479c572011-09-27 15:00:41 +02001684 QTAILQ_INSERT_TAIL(alias_print_queue, ml, queue);
Blue Swirl314e2982011-09-11 20:22:05 +00001685 }
Jan Kiszka4896d742012-02-04 16:25:42 +01001686 mon_printf(f, TARGET_FMT_plx "-" TARGET_FMT_plx
1687 " (prio %d, %c%c): alias %s @%s " TARGET_FMT_plx
1688 "-" TARGET_FMT_plx "\n",
Blue Swirl314e2982011-09-11 20:22:05 +00001689 base + mr->addr,
Avi Kivity08dafab2011-10-16 13:19:17 +02001690 base + mr->addr
Paolo Bonzini052e87b2013-05-27 10:08:27 +02001691 + (hwaddr)int128_get64(int128_sub(mr->size, int128_make64(1))),
Jan Kiszka4b474ba2011-09-27 15:00:31 +02001692 mr->priority,
Jan Kiszka5f9a5ea2013-05-07 19:04:25 +02001693 mr->romd_mode ? 'R' : '-',
1694 !mr->readonly && !(mr->rom_device && mr->romd_mode) ? 'W'
1695 : '-',
Blue Swirl314e2982011-09-11 20:22:05 +00001696 mr->name,
1697 mr->alias->name,
1698 mr->alias_offset,
Avi Kivity08dafab2011-10-16 13:19:17 +02001699 mr->alias_offset
Avi Kivitya8170e52012-10-23 12:30:10 +02001700 + (hwaddr)int128_get64(mr->size) - 1);
Blue Swirl314e2982011-09-11 20:22:05 +00001701 } else {
Jan Kiszka4896d742012-02-04 16:25:42 +01001702 mon_printf(f,
1703 TARGET_FMT_plx "-" TARGET_FMT_plx " (prio %d, %c%c): %s\n",
Blue Swirl314e2982011-09-11 20:22:05 +00001704 base + mr->addr,
Avi Kivity08dafab2011-10-16 13:19:17 +02001705 base + mr->addr
Paolo Bonzini052e87b2013-05-27 10:08:27 +02001706 + (hwaddr)int128_get64(int128_sub(mr->size, int128_make64(1))),
Jan Kiszka4b474ba2011-09-27 15:00:31 +02001707 mr->priority,
Jan Kiszka5f9a5ea2013-05-07 19:04:25 +02001708 mr->romd_mode ? 'R' : '-',
1709 !mr->readonly && !(mr->rom_device && mr->romd_mode) ? 'W'
1710 : '-',
Blue Swirl314e2982011-09-11 20:22:05 +00001711 mr->name);
1712 }
Jan Kiszka9479c572011-09-27 15:00:41 +02001713
1714 QTAILQ_INIT(&submr_print_queue);
1715
Blue Swirl314e2982011-09-11 20:22:05 +00001716 QTAILQ_FOREACH(submr, &mr->subregions, subregions_link) {
Jan Kiszka9479c572011-09-27 15:00:41 +02001717 new_ml = g_new(MemoryRegionList, 1);
1718 new_ml->mr = submr;
1719 QTAILQ_FOREACH(ml, &submr_print_queue, queue) {
1720 if (new_ml->mr->addr < ml->mr->addr ||
1721 (new_ml->mr->addr == ml->mr->addr &&
1722 new_ml->mr->priority > ml->mr->priority)) {
1723 QTAILQ_INSERT_BEFORE(ml, new_ml, queue);
1724 new_ml = NULL;
1725 break;
1726 }
1727 }
1728 if (new_ml) {
1729 QTAILQ_INSERT_TAIL(&submr_print_queue, new_ml, queue);
1730 }
1731 }
1732
1733 QTAILQ_FOREACH(ml, &submr_print_queue, queue) {
1734 mtree_print_mr(mon_printf, f, ml->mr, level + 1, base + mr->addr,
1735 alias_print_queue);
1736 }
1737
Avi Kivity88365e42011-11-13 12:00:55 +02001738 QTAILQ_FOREACH_SAFE(ml, &submr_print_queue, queue, next_ml) {
Jan Kiszka9479c572011-09-27 15:00:41 +02001739 g_free(ml);
Blue Swirl314e2982011-09-11 20:22:05 +00001740 }
1741}
1742
1743void mtree_info(fprintf_function mon_printf, void *f)
1744{
1745 MemoryRegionListHead ml_head;
1746 MemoryRegionList *ml, *ml2;
Avi Kivity0d673e32012-10-02 15:28:50 +02001747 AddressSpace *as;
Blue Swirl314e2982011-09-11 20:22:05 +00001748
1749 QTAILQ_INIT(&ml_head);
1750
Avi Kivity0d673e32012-10-02 15:28:50 +02001751 QTAILQ_FOREACH(as, &address_spaces, address_spaces_link) {
Avi Kivity0d673e32012-10-02 15:28:50 +02001752 mon_printf(f, "%s\n", as->name);
1753 mtree_print_mr(mon_printf, f, as->root, 0, 0, &ml_head);
Blue Swirlb9f9be82012-03-10 16:58:35 +00001754 }
1755
1756 mon_printf(f, "aliases\n");
Blue Swirl314e2982011-09-11 20:22:05 +00001757 /* print aliased regions */
1758 QTAILQ_FOREACH(ml, &ml_head, queue) {
1759 if (!ml->printed) {
1760 mon_printf(f, "%s\n", ml->mr->name);
1761 mtree_print_mr(mon_printf, f, ml->mr, 0, 0, &ml_head);
1762 }
1763 }
1764
1765 QTAILQ_FOREACH_SAFE(ml, &ml_head, queue, ml2) {
Avi Kivity88365e42011-11-13 12:00:55 +02001766 g_free(ml);
Blue Swirl314e2982011-09-11 20:22:05 +00001767 }
Blue Swirl314e2982011-09-11 20:22:05 +00001768}