blob: 2b197455b402bd5be00d59b679ca4bca2ed86363 [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 Bonzini9c17d612012-12-17 18:20:04 +010020#include "sysemu/kvm.h"
Avi Kivity093bc2c2011-07-26 14:26:01 +030021#include <assert.h>
22
Paolo Bonzini022c62c2012-12-17 18:19:49 +010023#include "exec/memory-internal.h"
Avi Kivity67d95c12011-12-15 15:25:22 +020024
Paolo Bonzinid1970632013-05-24 13:23:38 +020025//#define DEBUG_UNASSIGNED
26
Jan Kiszka22bde712012-11-05 16:45:56 +010027static unsigned memory_region_transaction_depth;
28static bool memory_region_update_pending;
Avi Kivity7664e802011-12-11 14:47:25 +020029static bool global_dirty_log = false;
30
Avi Kivity72e22d22012-02-08 15:05:50 +020031static QTAILQ_HEAD(memory_listeners, MemoryListener) memory_listeners
32 = QTAILQ_HEAD_INITIALIZER(memory_listeners);
Avi Kivity4ef4db82011-07-26 14:26:13 +030033
Avi Kivity0d673e32012-10-02 15:28:50 +020034static QTAILQ_HEAD(, AddressSpace) address_spaces
35 = QTAILQ_HEAD_INITIALIZER(address_spaces);
36
Avi Kivity093bc2c2011-07-26 14:26:01 +030037typedef struct AddrRange AddrRange;
38
Avi Kivity8417ceb2011-08-03 11:56:14 +030039/*
40 * Note using signed integers limits us to physical addresses at most
41 * 63 bits wide. They are needed for negative offsetting in aliases
42 * (large MemoryRegion::alias_offset).
43 */
Avi Kivity093bc2c2011-07-26 14:26:01 +030044struct AddrRange {
Avi Kivity08dafab2011-10-16 13:19:17 +020045 Int128 start;
46 Int128 size;
Avi Kivity093bc2c2011-07-26 14:26:01 +030047};
48
Avi Kivity08dafab2011-10-16 13:19:17 +020049static AddrRange addrrange_make(Int128 start, Int128 size)
Avi Kivity093bc2c2011-07-26 14:26:01 +030050{
51 return (AddrRange) { start, size };
52}
53
54static bool addrrange_equal(AddrRange r1, AddrRange r2)
55{
Avi Kivity08dafab2011-10-16 13:19:17 +020056 return int128_eq(r1.start, r2.start) && int128_eq(r1.size, r2.size);
Avi Kivity093bc2c2011-07-26 14:26:01 +030057}
58
Avi Kivity08dafab2011-10-16 13:19:17 +020059static Int128 addrrange_end(AddrRange r)
Avi Kivity093bc2c2011-07-26 14:26:01 +030060{
Avi Kivity08dafab2011-10-16 13:19:17 +020061 return int128_add(r.start, r.size);
Avi Kivity093bc2c2011-07-26 14:26:01 +030062}
63
Avi Kivity08dafab2011-10-16 13:19:17 +020064static AddrRange addrrange_shift(AddrRange range, Int128 delta)
Avi Kivity093bc2c2011-07-26 14:26:01 +030065{
Avi Kivity08dafab2011-10-16 13:19:17 +020066 int128_addto(&range.start, delta);
Avi Kivity093bc2c2011-07-26 14:26:01 +030067 return range;
68}
69
Avi Kivity08dafab2011-10-16 13:19:17 +020070static bool addrrange_contains(AddrRange range, Int128 addr)
71{
72 return int128_ge(addr, range.start)
73 && int128_lt(addr, addrrange_end(range));
74}
75
Avi Kivity093bc2c2011-07-26 14:26:01 +030076static bool addrrange_intersects(AddrRange r1, AddrRange r2)
77{
Avi Kivity08dafab2011-10-16 13:19:17 +020078 return addrrange_contains(r1, r2.start)
79 || addrrange_contains(r2, r1.start);
Avi Kivity093bc2c2011-07-26 14:26:01 +030080}
81
82static AddrRange addrrange_intersection(AddrRange r1, AddrRange r2)
83{
Avi Kivity08dafab2011-10-16 13:19:17 +020084 Int128 start = int128_max(r1.start, r2.start);
85 Int128 end = int128_min(addrrange_end(r1), addrrange_end(r2));
86 return addrrange_make(start, int128_sub(end, start));
Avi Kivity093bc2c2011-07-26 14:26:01 +030087}
88
Avi Kivity0e0d36b2012-02-08 16:39:45 +020089enum ListenerDirection { Forward, Reverse };
90
Avi Kivity7376e582012-02-08 21:05:17 +020091static bool memory_listener_match(MemoryListener *listener,
92 MemoryRegionSection *section)
93{
94 return !listener->address_space_filter
95 || listener->address_space_filter == section->address_space;
96}
97
98#define MEMORY_LISTENER_CALL_GLOBAL(_callback, _direction, _args...) \
Avi Kivity0e0d36b2012-02-08 16:39:45 +020099 do { \
100 MemoryListener *_listener; \
101 \
102 switch (_direction) { \
103 case Forward: \
104 QTAILQ_FOREACH(_listener, &memory_listeners, link) { \
Avi Kivity975aefe2012-10-02 16:39:57 +0200105 if (_listener->_callback) { \
106 _listener->_callback(_listener, ##_args); \
107 } \
Avi Kivity0e0d36b2012-02-08 16:39:45 +0200108 } \
109 break; \
110 case Reverse: \
111 QTAILQ_FOREACH_REVERSE(_listener, &memory_listeners, \
112 memory_listeners, link) { \
Avi Kivity975aefe2012-10-02 16:39:57 +0200113 if (_listener->_callback) { \
114 _listener->_callback(_listener, ##_args); \
115 } \
Avi Kivity0e0d36b2012-02-08 16:39:45 +0200116 } \
117 break; \
118 default: \
119 abort(); \
120 } \
121 } while (0)
122
Avi Kivity7376e582012-02-08 21:05:17 +0200123#define MEMORY_LISTENER_CALL(_callback, _direction, _section, _args...) \
124 do { \
125 MemoryListener *_listener; \
126 \
127 switch (_direction) { \
128 case Forward: \
129 QTAILQ_FOREACH(_listener, &memory_listeners, link) { \
Avi Kivity975aefe2012-10-02 16:39:57 +0200130 if (_listener->_callback \
131 && memory_listener_match(_listener, _section)) { \
Avi Kivity7376e582012-02-08 21:05:17 +0200132 _listener->_callback(_listener, _section, ##_args); \
133 } \
134 } \
135 break; \
136 case Reverse: \
137 QTAILQ_FOREACH_REVERSE(_listener, &memory_listeners, \
138 memory_listeners, link) { \
Avi Kivity975aefe2012-10-02 16:39:57 +0200139 if (_listener->_callback \
140 && memory_listener_match(_listener, _section)) { \
Avi Kivity7376e582012-02-08 21:05:17 +0200141 _listener->_callback(_listener, _section, ##_args); \
142 } \
143 } \
144 break; \
145 default: \
146 abort(); \
147 } \
148 } while (0)
149
Avi Kivity0e0d36b2012-02-08 16:39:45 +0200150#define MEMORY_LISTENER_UPDATE_REGION(fr, as, dir, callback) \
Avi Kivity7376e582012-02-08 21:05:17 +0200151 MEMORY_LISTENER_CALL(callback, dir, (&(MemoryRegionSection) { \
Avi Kivity0e0d36b2012-02-08 16:39:45 +0200152 .mr = (fr)->mr, \
Avi Kivityf6790af2012-10-02 20:13:51 +0200153 .address_space = (as), \
Avi Kivity0e0d36b2012-02-08 16:39:45 +0200154 .offset_within_region = (fr)->offset_in_region, \
Paolo Bonzini052e87b2013-05-27 10:08:27 +0200155 .size = (fr)->addr.size, \
Avi Kivity0e0d36b2012-02-08 16:39:45 +0200156 .offset_within_address_space = int128_get64((fr)->addr.start), \
Avi Kivity7a8499e2012-02-08 17:01:23 +0200157 .readonly = (fr)->readonly, \
Avi Kivity7376e582012-02-08 21:05:17 +0200158 }))
Avi Kivity0e0d36b2012-02-08 16:39:45 +0200159
Avi Kivity093bc2c2011-07-26 14:26:01 +0300160struct CoalescedMemoryRange {
161 AddrRange addr;
162 QTAILQ_ENTRY(CoalescedMemoryRange) link;
163};
164
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300165struct MemoryRegionIoeventfd {
166 AddrRange addr;
167 bool match_data;
168 uint64_t data;
Paolo Bonzini753d5e12012-07-05 17:16:27 +0200169 EventNotifier *e;
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300170};
171
172static bool memory_region_ioeventfd_before(MemoryRegionIoeventfd a,
173 MemoryRegionIoeventfd b)
174{
Avi Kivity08dafab2011-10-16 13:19:17 +0200175 if (int128_lt(a.addr.start, b.addr.start)) {
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300176 return true;
Avi Kivity08dafab2011-10-16 13:19:17 +0200177 } else if (int128_gt(a.addr.start, b.addr.start)) {
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300178 return false;
Avi Kivity08dafab2011-10-16 13:19:17 +0200179 } else if (int128_lt(a.addr.size, b.addr.size)) {
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300180 return true;
Avi Kivity08dafab2011-10-16 13:19:17 +0200181 } else if (int128_gt(a.addr.size, b.addr.size)) {
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300182 return false;
183 } else if (a.match_data < b.match_data) {
184 return true;
185 } else if (a.match_data > b.match_data) {
186 return false;
187 } else if (a.match_data) {
188 if (a.data < b.data) {
189 return true;
190 } else if (a.data > b.data) {
191 return false;
192 }
193 }
Paolo Bonzini753d5e12012-07-05 17:16:27 +0200194 if (a.e < b.e) {
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300195 return true;
Paolo Bonzini753d5e12012-07-05 17:16:27 +0200196 } else if (a.e > b.e) {
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300197 return false;
198 }
199 return false;
200}
201
202static bool memory_region_ioeventfd_equal(MemoryRegionIoeventfd a,
203 MemoryRegionIoeventfd b)
204{
205 return !memory_region_ioeventfd_before(a, b)
206 && !memory_region_ioeventfd_before(b, a);
207}
208
Avi Kivity093bc2c2011-07-26 14:26:01 +0300209typedef struct FlatRange FlatRange;
210typedef struct FlatView FlatView;
211
212/* Range of memory in the global map. Addresses are absolute. */
213struct FlatRange {
214 MemoryRegion *mr;
Avi Kivitya8170e52012-10-23 12:30:10 +0200215 hwaddr offset_in_region;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300216 AddrRange addr;
Avi Kivity5a583342011-07-26 14:26:02 +0300217 uint8_t dirty_log_mask;
Jan Kiszka5f9a5ea2013-05-07 19:04:25 +0200218 bool romd_mode;
Avi Kivityfb1cd6f2011-09-25 14:48:47 +0300219 bool readonly;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300220};
221
222/* Flattened global view of current active memory hierarchy. Kept in sorted
223 * order.
224 */
225struct FlatView {
226 FlatRange *ranges;
227 unsigned nr;
228 unsigned nr_allocated;
229};
230
Avi Kivitycc31e6e2011-07-26 14:26:05 +0300231typedef struct AddressSpaceOps AddressSpaceOps;
232
Avi Kivity093bc2c2011-07-26 14:26:01 +0300233#define FOR_EACH_FLAT_RANGE(var, view) \
234 for (var = (view)->ranges; var < (view)->ranges + (view)->nr; ++var)
235
Avi Kivity093bc2c2011-07-26 14:26:01 +0300236static bool flatrange_equal(FlatRange *a, FlatRange *b)
237{
238 return a->mr == b->mr
239 && addrrange_equal(a->addr, b->addr)
Avi Kivityd0a9b5b2011-08-08 19:58:49 +0300240 && a->offset_in_region == b->offset_in_region
Jan Kiszka5f9a5ea2013-05-07 19:04:25 +0200241 && a->romd_mode == b->romd_mode
Avi Kivityfb1cd6f2011-09-25 14:48:47 +0300242 && a->readonly == b->readonly;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300243}
244
245static void flatview_init(FlatView *view)
246{
247 view->ranges = NULL;
248 view->nr = 0;
249 view->nr_allocated = 0;
250}
251
252/* Insert a range into a given position. Caller is responsible for maintaining
253 * sorting order.
254 */
255static void flatview_insert(FlatView *view, unsigned pos, FlatRange *range)
256{
257 if (view->nr == view->nr_allocated) {
258 view->nr_allocated = MAX(2 * view->nr, 10);
Anthony Liguori7267c092011-08-20 22:09:37 -0500259 view->ranges = g_realloc(view->ranges,
Avi Kivity093bc2c2011-07-26 14:26:01 +0300260 view->nr_allocated * sizeof(*view->ranges));
261 }
262 memmove(view->ranges + pos + 1, view->ranges + pos,
263 (view->nr - pos) * sizeof(FlatRange));
264 view->ranges[pos] = *range;
265 ++view->nr;
266}
267
268static void flatview_destroy(FlatView *view)
269{
Anthony Liguori7267c092011-08-20 22:09:37 -0500270 g_free(view->ranges);
Avi Kivity093bc2c2011-07-26 14:26:01 +0300271}
272
Avi Kivity3d8e6bf2011-07-26 14:26:03 +0300273static bool can_merge(FlatRange *r1, FlatRange *r2)
274{
Avi Kivity08dafab2011-10-16 13:19:17 +0200275 return int128_eq(addrrange_end(r1->addr), r2->addr.start)
Avi Kivity3d8e6bf2011-07-26 14:26:03 +0300276 && r1->mr == r2->mr
Avi Kivity08dafab2011-10-16 13:19:17 +0200277 && int128_eq(int128_add(int128_make64(r1->offset_in_region),
278 r1->addr.size),
279 int128_make64(r2->offset_in_region))
Avi Kivityd0a9b5b2011-08-08 19:58:49 +0300280 && r1->dirty_log_mask == r2->dirty_log_mask
Jan Kiszka5f9a5ea2013-05-07 19:04:25 +0200281 && r1->romd_mode == r2->romd_mode
Avi Kivityfb1cd6f2011-09-25 14:48:47 +0300282 && r1->readonly == r2->readonly;
Avi Kivity3d8e6bf2011-07-26 14:26:03 +0300283}
284
285/* Attempt to simplify a view by merging ajacent ranges */
286static void flatview_simplify(FlatView *view)
287{
288 unsigned i, j;
289
290 i = 0;
291 while (i < view->nr) {
292 j = i + 1;
293 while (j < view->nr
294 && can_merge(&view->ranges[j-1], &view->ranges[j])) {
Avi Kivity08dafab2011-10-16 13:19:17 +0200295 int128_addto(&view->ranges[i].addr.size, view->ranges[j].addr.size);
Avi Kivity3d8e6bf2011-07-26 14:26:03 +0300296 ++j;
297 }
298 ++i;
299 memmove(&view->ranges[i], &view->ranges[j],
300 (view->nr - j) * sizeof(view->ranges[j]));
301 view->nr -= j - i;
302 }
303}
304
Paolo Bonzinice5d2f32013-05-24 17:45:48 +0200305static void memory_region_oldmmio_read_accessor(void *opaque,
306 hwaddr addr,
307 uint64_t *value,
308 unsigned size,
309 unsigned shift,
310 uint64_t mask)
311{
312 MemoryRegion *mr = opaque;
313 uint64_t tmp;
314
315 tmp = mr->ops->old_mmio.read[ctz32(size)](mr->opaque, addr);
316 *value |= (tmp & mask) << shift;
317}
318
Avi Kivity164a4dc2011-08-11 10:40:25 +0300319static void memory_region_read_accessor(void *opaque,
Avi Kivitya8170e52012-10-23 12:30:10 +0200320 hwaddr addr,
Avi Kivity164a4dc2011-08-11 10:40:25 +0300321 uint64_t *value,
322 unsigned size,
323 unsigned shift,
324 uint64_t mask)
325{
326 MemoryRegion *mr = opaque;
327 uint64_t tmp;
328
Jan Kiszkad4105152012-08-23 13:02:29 +0200329 if (mr->flush_coalesced_mmio) {
330 qemu_flush_coalesced_mmio_buffer();
331 }
Avi Kivity164a4dc2011-08-11 10:40:25 +0300332 tmp = mr->ops->read(mr->opaque, addr, size);
333 *value |= (tmp & mask) << shift;
334}
335
Paolo Bonzinice5d2f32013-05-24 17:45:48 +0200336static void memory_region_oldmmio_write_accessor(void *opaque,
337 hwaddr addr,
338 uint64_t *value,
339 unsigned size,
340 unsigned shift,
341 uint64_t mask)
342{
343 MemoryRegion *mr = opaque;
344 uint64_t tmp;
345
346 tmp = (*value >> shift) & mask;
347 mr->ops->old_mmio.write[ctz32(size)](mr->opaque, addr, tmp);
348}
349
Avi Kivity164a4dc2011-08-11 10:40:25 +0300350static void memory_region_write_accessor(void *opaque,
Avi Kivitya8170e52012-10-23 12:30:10 +0200351 hwaddr addr,
Avi Kivity164a4dc2011-08-11 10:40:25 +0300352 uint64_t *value,
353 unsigned size,
354 unsigned shift,
355 uint64_t mask)
356{
357 MemoryRegion *mr = opaque;
358 uint64_t tmp;
359
Jan Kiszkad4105152012-08-23 13:02:29 +0200360 if (mr->flush_coalesced_mmio) {
361 qemu_flush_coalesced_mmio_buffer();
362 }
Avi Kivity164a4dc2011-08-11 10:40:25 +0300363 tmp = (*value >> shift) & mask;
364 mr->ops->write(mr->opaque, addr, tmp, size);
365}
366
Avi Kivitya8170e52012-10-23 12:30:10 +0200367static void access_with_adjusted_size(hwaddr addr,
Avi Kivity164a4dc2011-08-11 10:40:25 +0300368 uint64_t *value,
369 unsigned size,
370 unsigned access_size_min,
371 unsigned access_size_max,
372 void (*access)(void *opaque,
Avi Kivitya8170e52012-10-23 12:30:10 +0200373 hwaddr addr,
Avi Kivity164a4dc2011-08-11 10:40:25 +0300374 uint64_t *value,
375 unsigned size,
376 unsigned shift,
377 uint64_t mask),
378 void *opaque)
379{
380 uint64_t access_mask;
381 unsigned access_size;
382 unsigned i;
383
384 if (!access_size_min) {
385 access_size_min = 1;
386 }
387 if (!access_size_max) {
388 access_size_max = 4;
389 }
Paolo Bonzinice5d2f32013-05-24 17:45:48 +0200390
391 /* FIXME: support unaligned access? */
Avi Kivity164a4dc2011-08-11 10:40:25 +0300392 access_size = MAX(MIN(size, access_size_max), access_size_min);
393 access_mask = -1ULL >> (64 - access_size * 8);
394 for (i = 0; i < size; i += access_size) {
Paolo Bonzini08521e22013-05-24 12:54:01 +0200395#ifdef TARGET_WORDS_BIGENDIAN
396 access(opaque, addr + i, value, access_size,
397 (size - access_size - i) * 8, access_mask);
398#else
Avi Kivity164a4dc2011-08-11 10:40:25 +0300399 access(opaque, addr + i, value, access_size, i * 8, access_mask);
Paolo Bonzini08521e22013-05-24 12:54:01 +0200400#endif
Avi Kivity164a4dc2011-08-11 10:40:25 +0300401 }
402}
403
Avi Kivity627a0e92011-07-26 14:26:09 +0300404static const MemoryRegionPortio *find_portio(MemoryRegion *mr, uint64_t offset,
405 unsigned width, bool write)
406{
407 const MemoryRegionPortio *mrp;
408
409 for (mrp = mr->ops->old_portio; mrp->size; ++mrp) {
410 if (offset >= mrp->offset && offset < mrp->offset + mrp->len
411 && width == mrp->size
412 && (write ? (bool)mrp->write : (bool)mrp->read)) {
413 return mrp;
414 }
415 }
416 return NULL;
417}
418
Avi Kivity658b2222011-07-26 14:26:08 +0300419static void memory_region_iorange_read(IORange *iorange,
420 uint64_t offset,
421 unsigned width,
422 uint64_t *data)
423{
Avi Kivitya2d33522012-03-05 17:40:12 +0200424 MemoryRegionIORange *mrio
425 = container_of(iorange, MemoryRegionIORange, iorange);
426 MemoryRegion *mr = mrio->mr;
Avi Kivity658b2222011-07-26 14:26:08 +0300427
Avi Kivitya2d33522012-03-05 17:40:12 +0200428 offset += mrio->offset;
Avi Kivity627a0e92011-07-26 14:26:09 +0300429 if (mr->ops->old_portio) {
Avi Kivitya2d33522012-03-05 17:40:12 +0200430 const MemoryRegionPortio *mrp = find_portio(mr, offset - mrio->offset,
431 width, false);
Avi Kivity627a0e92011-07-26 14:26:09 +0300432
433 *data = ((uint64_t)1 << (width * 8)) - 1;
434 if (mrp) {
Avi Kivity2b50aa12012-01-08 19:51:35 +0200435 *data = mrp->read(mr->opaque, offset);
Jan Kiszka03808f52011-09-18 14:51:58 +0200436 } else if (width == 2) {
Avi Kivitya2d33522012-03-05 17:40:12 +0200437 mrp = find_portio(mr, offset - mrio->offset, 1, false);
Jan Kiszka03808f52011-09-18 14:51:58 +0200438 assert(mrp);
Avi Kivity2b50aa12012-01-08 19:51:35 +0200439 *data = mrp->read(mr->opaque, offset) |
440 (mrp->read(mr->opaque, offset + 1) << 8);
Avi Kivity627a0e92011-07-26 14:26:09 +0300441 }
442 return;
443 }
Avi Kivity3a130f42011-08-11 10:40:26 +0300444 *data = 0;
Avi Kivity2b50aa12012-01-08 19:51:35 +0200445 access_with_adjusted_size(offset, data, width,
Avi Kivity3a130f42011-08-11 10:40:26 +0300446 mr->ops->impl.min_access_size,
447 mr->ops->impl.max_access_size,
448 memory_region_read_accessor, mr);
Avi Kivity658b2222011-07-26 14:26:08 +0300449}
450
451static void memory_region_iorange_write(IORange *iorange,
452 uint64_t offset,
453 unsigned width,
454 uint64_t data)
455{
Avi Kivitya2d33522012-03-05 17:40:12 +0200456 MemoryRegionIORange *mrio
457 = container_of(iorange, MemoryRegionIORange, iorange);
458 MemoryRegion *mr = mrio->mr;
Avi Kivity658b2222011-07-26 14:26:08 +0300459
Avi Kivitya2d33522012-03-05 17:40:12 +0200460 offset += mrio->offset;
Avi Kivity627a0e92011-07-26 14:26:09 +0300461 if (mr->ops->old_portio) {
Avi Kivitya2d33522012-03-05 17:40:12 +0200462 const MemoryRegionPortio *mrp = find_portio(mr, offset - mrio->offset,
463 width, true);
Avi Kivity627a0e92011-07-26 14:26:09 +0300464
465 if (mrp) {
Avi Kivity2b50aa12012-01-08 19:51:35 +0200466 mrp->write(mr->opaque, offset, data);
Jan Kiszka03808f52011-09-18 14:51:58 +0200467 } else if (width == 2) {
Jan Kiszka7e2a62d2012-08-26 10:12:47 +0200468 mrp = find_portio(mr, offset - mrio->offset, 1, true);
Jan Kiszka03808f52011-09-18 14:51:58 +0200469 assert(mrp);
Avi Kivity2b50aa12012-01-08 19:51:35 +0200470 mrp->write(mr->opaque, offset, data & 0xff);
471 mrp->write(mr->opaque, offset + 1, data >> 8);
Avi Kivity627a0e92011-07-26 14:26:09 +0300472 }
473 return;
474 }
Avi Kivity2b50aa12012-01-08 19:51:35 +0200475 access_with_adjusted_size(offset, &data, width,
Avi Kivity3a130f42011-08-11 10:40:26 +0300476 mr->ops->impl.min_access_size,
477 mr->ops->impl.max_access_size,
478 memory_region_write_accessor, mr);
Avi Kivity658b2222011-07-26 14:26:08 +0300479}
480
Avi Kivitya2d33522012-03-05 17:40:12 +0200481static void memory_region_iorange_destructor(IORange *iorange)
482{
483 g_free(container_of(iorange, MemoryRegionIORange, iorange));
484}
485
Avi Kivity93632742012-02-08 16:54:16 +0200486const IORangeOps memory_region_iorange_ops = {
Avi Kivity658b2222011-07-26 14:26:08 +0300487 .read = memory_region_iorange_read,
488 .write = memory_region_iorange_write,
Avi Kivitya2d33522012-03-05 17:40:12 +0200489 .destructor = memory_region_iorange_destructor,
Avi Kivity658b2222011-07-26 14:26:08 +0300490};
491
Avi Kivitye2177952011-12-08 15:00:18 +0200492static AddressSpace *memory_region_to_address_space(MemoryRegion *mr)
493{
Avi Kivity0d673e32012-10-02 15:28:50 +0200494 AddressSpace *as;
495
Avi Kivitye2177952011-12-08 15:00:18 +0200496 while (mr->parent) {
497 mr = mr->parent;
498 }
Avi Kivity0d673e32012-10-02 15:28:50 +0200499 QTAILQ_FOREACH(as, &address_spaces, address_spaces_link) {
500 if (mr == as->root) {
501 return as;
502 }
Avi Kivitye2177952011-12-08 15:00:18 +0200503 }
504 abort();
505}
506
Avi Kivity093bc2c2011-07-26 14:26:01 +0300507/* Render a memory region into the global view. Ranges in @view obscure
508 * ranges in @mr.
509 */
510static void render_memory_region(FlatView *view,
511 MemoryRegion *mr,
Avi Kivity08dafab2011-10-16 13:19:17 +0200512 Int128 base,
Avi Kivityfb1cd6f2011-09-25 14:48:47 +0300513 AddrRange clip,
514 bool readonly)
Avi Kivity093bc2c2011-07-26 14:26:01 +0300515{
516 MemoryRegion *subregion;
517 unsigned i;
Avi Kivitya8170e52012-10-23 12:30:10 +0200518 hwaddr offset_in_region;
Avi Kivity08dafab2011-10-16 13:19:17 +0200519 Int128 remain;
520 Int128 now;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300521 FlatRange fr;
522 AddrRange tmp;
523
Avi Kivity6bba19b2011-09-14 11:54:58 +0300524 if (!mr->enabled) {
525 return;
526 }
527
Avi Kivity08dafab2011-10-16 13:19:17 +0200528 int128_addto(&base, int128_make64(mr->addr));
Avi Kivityfb1cd6f2011-09-25 14:48:47 +0300529 readonly |= mr->readonly;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300530
531 tmp = addrrange_make(base, mr->size);
532
533 if (!addrrange_intersects(tmp, clip)) {
534 return;
535 }
536
537 clip = addrrange_intersection(tmp, clip);
538
539 if (mr->alias) {
Avi Kivity08dafab2011-10-16 13:19:17 +0200540 int128_subfrom(&base, int128_make64(mr->alias->addr));
541 int128_subfrom(&base, int128_make64(mr->alias_offset));
Avi Kivityfb1cd6f2011-09-25 14:48:47 +0300542 render_memory_region(view, mr->alias, base, clip, readonly);
Avi Kivity093bc2c2011-07-26 14:26:01 +0300543 return;
544 }
545
546 /* Render subregions in priority order. */
547 QTAILQ_FOREACH(subregion, &mr->subregions, subregions_link) {
Avi Kivityfb1cd6f2011-09-25 14:48:47 +0300548 render_memory_region(view, subregion, base, clip, readonly);
Avi Kivity093bc2c2011-07-26 14:26:01 +0300549 }
550
Avi Kivity14a3c102011-07-26 14:26:06 +0300551 if (!mr->terminates) {
Avi Kivity093bc2c2011-07-26 14:26:01 +0300552 return;
553 }
554
Avi Kivity08dafab2011-10-16 13:19:17 +0200555 offset_in_region = int128_get64(int128_sub(clip.start, base));
Avi Kivity093bc2c2011-07-26 14:26:01 +0300556 base = clip.start;
557 remain = clip.size;
558
559 /* Render the region itself into any gaps left by the current view. */
Avi Kivity08dafab2011-10-16 13:19:17 +0200560 for (i = 0; i < view->nr && int128_nz(remain); ++i) {
561 if (int128_ge(base, addrrange_end(view->ranges[i].addr))) {
Avi Kivity093bc2c2011-07-26 14:26:01 +0300562 continue;
563 }
Avi Kivity08dafab2011-10-16 13:19:17 +0200564 if (int128_lt(base, view->ranges[i].addr.start)) {
565 now = int128_min(remain,
566 int128_sub(view->ranges[i].addr.start, base));
Avi Kivity093bc2c2011-07-26 14:26:01 +0300567 fr.mr = mr;
568 fr.offset_in_region = offset_in_region;
569 fr.addr = addrrange_make(base, now);
Avi Kivity5a583342011-07-26 14:26:02 +0300570 fr.dirty_log_mask = mr->dirty_log_mask;
Jan Kiszka5f9a5ea2013-05-07 19:04:25 +0200571 fr.romd_mode = mr->romd_mode;
Avi Kivityfb1cd6f2011-09-25 14:48:47 +0300572 fr.readonly = readonly;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300573 flatview_insert(view, i, &fr);
574 ++i;
Avi Kivity08dafab2011-10-16 13:19:17 +0200575 int128_addto(&base, now);
576 offset_in_region += int128_get64(now);
577 int128_subfrom(&remain, now);
Avi Kivity093bc2c2011-07-26 14:26:01 +0300578 }
Avi Kivityd26a8ca2012-10-29 18:22:36 +0200579 now = int128_sub(int128_min(int128_add(base, remain),
580 addrrange_end(view->ranges[i].addr)),
581 base);
582 int128_addto(&base, now);
583 offset_in_region += int128_get64(now);
584 int128_subfrom(&remain, now);
Avi Kivity093bc2c2011-07-26 14:26:01 +0300585 }
Avi Kivity08dafab2011-10-16 13:19:17 +0200586 if (int128_nz(remain)) {
Avi Kivity093bc2c2011-07-26 14:26:01 +0300587 fr.mr = mr;
588 fr.offset_in_region = offset_in_region;
589 fr.addr = addrrange_make(base, remain);
Avi Kivity5a583342011-07-26 14:26:02 +0300590 fr.dirty_log_mask = mr->dirty_log_mask;
Jan Kiszka5f9a5ea2013-05-07 19:04:25 +0200591 fr.romd_mode = mr->romd_mode;
Avi Kivityfb1cd6f2011-09-25 14:48:47 +0300592 fr.readonly = readonly;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300593 flatview_insert(view, i, &fr);
594 }
595}
596
597/* Render a memory topology into a list of disjoint absolute ranges. */
598static FlatView generate_memory_topology(MemoryRegion *mr)
599{
600 FlatView view;
601
602 flatview_init(&view);
603
Avi Kivity83f3c252012-10-07 12:59:55 +0200604 if (mr) {
605 render_memory_region(&view, mr, int128_zero(),
606 addrrange_make(int128_zero(), int128_2_64()), false);
607 }
Avi Kivity3d8e6bf2011-07-26 14:26:03 +0300608 flatview_simplify(&view);
Avi Kivity093bc2c2011-07-26 14:26:01 +0300609
610 return view;
611}
612
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300613static void address_space_add_del_ioeventfds(AddressSpace *as,
614 MemoryRegionIoeventfd *fds_new,
615 unsigned fds_new_nb,
616 MemoryRegionIoeventfd *fds_old,
617 unsigned fds_old_nb)
618{
619 unsigned iold, inew;
Avi Kivity80a1ea32012-02-08 16:39:06 +0200620 MemoryRegionIoeventfd *fd;
621 MemoryRegionSection section;
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300622
623 /* Generate a symmetric difference of the old and new fd sets, adding
624 * and deleting as necessary.
625 */
626
627 iold = inew = 0;
628 while (iold < fds_old_nb || inew < fds_new_nb) {
629 if (iold < fds_old_nb
630 && (inew == fds_new_nb
631 || memory_region_ioeventfd_before(fds_old[iold],
632 fds_new[inew]))) {
Avi Kivity80a1ea32012-02-08 16:39:06 +0200633 fd = &fds_old[iold];
634 section = (MemoryRegionSection) {
Avi Kivityf6790af2012-10-02 20:13:51 +0200635 .address_space = as,
Avi Kivity80a1ea32012-02-08 16:39:06 +0200636 .offset_within_address_space = int128_get64(fd->addr.start),
Paolo Bonzini052e87b2013-05-27 10:08:27 +0200637 .size = fd->addr.size,
Avi Kivity80a1ea32012-02-08 16:39:06 +0200638 };
639 MEMORY_LISTENER_CALL(eventfd_del, Forward, &section,
Paolo Bonzini753d5e12012-07-05 17:16:27 +0200640 fd->match_data, fd->data, fd->e);
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300641 ++iold;
642 } else if (inew < fds_new_nb
643 && (iold == fds_old_nb
644 || memory_region_ioeventfd_before(fds_new[inew],
645 fds_old[iold]))) {
Avi Kivity80a1ea32012-02-08 16:39:06 +0200646 fd = &fds_new[inew];
647 section = (MemoryRegionSection) {
Avi Kivityf6790af2012-10-02 20:13:51 +0200648 .address_space = as,
Avi Kivity80a1ea32012-02-08 16:39:06 +0200649 .offset_within_address_space = int128_get64(fd->addr.start),
Paolo Bonzini052e87b2013-05-27 10:08:27 +0200650 .size = fd->addr.size,
Avi Kivity80a1ea32012-02-08 16:39:06 +0200651 };
652 MEMORY_LISTENER_CALL(eventfd_add, Reverse, &section,
Paolo Bonzini753d5e12012-07-05 17:16:27 +0200653 fd->match_data, fd->data, fd->e);
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300654 ++inew;
655 } else {
656 ++iold;
657 ++inew;
658 }
659 }
660}
661
662static void address_space_update_ioeventfds(AddressSpace *as)
663{
664 FlatRange *fr;
665 unsigned ioeventfd_nb = 0;
666 MemoryRegionIoeventfd *ioeventfds = NULL;
667 AddrRange tmp;
668 unsigned i;
669
Avi Kivity8786db72012-10-02 13:53:41 +0200670 FOR_EACH_FLAT_RANGE(fr, as->current_map) {
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300671 for (i = 0; i < fr->mr->ioeventfd_nb; ++i) {
672 tmp = addrrange_shift(fr->mr->ioeventfds[i].addr,
Avi Kivity08dafab2011-10-16 13:19:17 +0200673 int128_sub(fr->addr.start,
674 int128_make64(fr->offset_in_region)));
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300675 if (addrrange_intersects(fr->addr, tmp)) {
676 ++ioeventfd_nb;
Anthony Liguori7267c092011-08-20 22:09:37 -0500677 ioeventfds = g_realloc(ioeventfds,
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300678 ioeventfd_nb * sizeof(*ioeventfds));
679 ioeventfds[ioeventfd_nb-1] = fr->mr->ioeventfds[i];
680 ioeventfds[ioeventfd_nb-1].addr = tmp;
681 }
682 }
683 }
684
685 address_space_add_del_ioeventfds(as, ioeventfds, ioeventfd_nb,
686 as->ioeventfds, as->ioeventfd_nb);
687
Anthony Liguori7267c092011-08-20 22:09:37 -0500688 g_free(as->ioeventfds);
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300689 as->ioeventfds = ioeventfds;
690 as->ioeventfd_nb = ioeventfd_nb;
691}
692
Avi Kivityb8af1af2011-07-26 14:26:12 +0300693static void address_space_update_topology_pass(AddressSpace *as,
694 FlatView old_view,
695 FlatView new_view,
696 bool adding)
Avi Kivity093bc2c2011-07-26 14:26:01 +0300697{
Avi Kivity093bc2c2011-07-26 14:26:01 +0300698 unsigned iold, inew;
699 FlatRange *frold, *frnew;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300700
701 /* Generate a symmetric difference of the old and new memory maps.
702 * Kill ranges in the old map, and instantiate ranges in the new map.
703 */
704 iold = inew = 0;
705 while (iold < old_view.nr || inew < new_view.nr) {
706 if (iold < old_view.nr) {
707 frold = &old_view.ranges[iold];
708 } else {
709 frold = NULL;
710 }
711 if (inew < new_view.nr) {
712 frnew = &new_view.ranges[inew];
713 } else {
714 frnew = NULL;
715 }
716
717 if (frold
718 && (!frnew
Avi Kivity08dafab2011-10-16 13:19:17 +0200719 || int128_lt(frold->addr.start, frnew->addr.start)
720 || (int128_eq(frold->addr.start, frnew->addr.start)
Avi Kivity093bc2c2011-07-26 14:26:01 +0300721 && !flatrange_equal(frold, frnew)))) {
722 /* In old, but (not in new, or in new but attributes changed). */
723
Avi Kivityb8af1af2011-07-26 14:26:12 +0300724 if (!adding) {
Avi Kivity72e22d22012-02-08 15:05:50 +0200725 MEMORY_LISTENER_UPDATE_REGION(frold, as, Reverse, region_del);
Avi Kivityb8af1af2011-07-26 14:26:12 +0300726 }
727
Avi Kivity093bc2c2011-07-26 14:26:01 +0300728 ++iold;
729 } else if (frold && frnew && flatrange_equal(frold, frnew)) {
730 /* In both (logging may have changed) */
731
Avi Kivityb8af1af2011-07-26 14:26:12 +0300732 if (adding) {
Avi Kivity50c1e142012-02-08 21:36:02 +0200733 MEMORY_LISTENER_UPDATE_REGION(frnew, as, Forward, region_nop);
Avi Kivityb8af1af2011-07-26 14:26:12 +0300734 if (frold->dirty_log_mask && !frnew->dirty_log_mask) {
Avi Kivity72e22d22012-02-08 15:05:50 +0200735 MEMORY_LISTENER_UPDATE_REGION(frnew, as, Reverse, log_stop);
Avi Kivityb8af1af2011-07-26 14:26:12 +0300736 } else if (frnew->dirty_log_mask && !frold->dirty_log_mask) {
Avi Kivity72e22d22012-02-08 15:05:50 +0200737 MEMORY_LISTENER_UPDATE_REGION(frnew, as, Forward, log_start);
Avi Kivityb8af1af2011-07-26 14:26:12 +0300738 }
Avi Kivity5a583342011-07-26 14:26:02 +0300739 }
740
Avi Kivity093bc2c2011-07-26 14:26:01 +0300741 ++iold;
742 ++inew;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300743 } else {
744 /* In new */
745
Avi Kivityb8af1af2011-07-26 14:26:12 +0300746 if (adding) {
Avi Kivity72e22d22012-02-08 15:05:50 +0200747 MEMORY_LISTENER_UPDATE_REGION(frnew, as, Forward, region_add);
Avi Kivityb8af1af2011-07-26 14:26:12 +0300748 }
749
Avi Kivity093bc2c2011-07-26 14:26:01 +0300750 ++inew;
751 }
752 }
Avi Kivityb8af1af2011-07-26 14:26:12 +0300753}
754
755
756static void address_space_update_topology(AddressSpace *as)
757{
Avi Kivity8786db72012-10-02 13:53:41 +0200758 FlatView old_view = *as->current_map;
Avi Kivityb8af1af2011-07-26 14:26:12 +0300759 FlatView new_view = generate_memory_topology(as->root);
760
761 address_space_update_topology_pass(as, old_view, new_view, false);
762 address_space_update_topology_pass(as, old_view, new_view, true);
763
Avi Kivity8786db72012-10-02 13:53:41 +0200764 *as->current_map = new_view;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300765 flatview_destroy(&old_view);
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300766 address_space_update_ioeventfds(as);
Avi Kivity093bc2c2011-07-26 14:26:01 +0300767}
768
Avi Kivity4ef4db82011-07-26 14:26:13 +0300769void memory_region_transaction_begin(void)
770{
Jan Kiszkabb880de2012-08-23 13:02:32 +0200771 qemu_flush_coalesced_mmio_buffer();
Avi Kivity4ef4db82011-07-26 14:26:13 +0300772 ++memory_region_transaction_depth;
773}
774
775void memory_region_transaction_commit(void)
776{
Avi Kivity0d673e32012-10-02 15:28:50 +0200777 AddressSpace *as;
778
Avi Kivity4ef4db82011-07-26 14:26:13 +0300779 assert(memory_region_transaction_depth);
780 --memory_region_transaction_depth;
Jan Kiszka22bde712012-11-05 16:45:56 +0100781 if (!memory_region_transaction_depth && memory_region_update_pending) {
782 memory_region_update_pending = false;
Jan Kiszka02e2b952012-08-23 13:02:31 +0200783 MEMORY_LISTENER_CALL_GLOBAL(begin, Forward);
784
Avi Kivity0d673e32012-10-02 15:28:50 +0200785 QTAILQ_FOREACH(as, &address_spaces, address_spaces_link) {
786 address_space_update_topology(as);
Jan Kiszka02e2b952012-08-23 13:02:31 +0200787 }
788
789 MEMORY_LISTENER_CALL_GLOBAL(commit, Forward);
Avi Kivitye87c0992011-09-14 12:16:20 +0300790 }
Avi Kivity4ef4db82011-07-26 14:26:13 +0300791}
792
Avi Kivity545e92e2011-08-08 19:58:48 +0300793static void memory_region_destructor_none(MemoryRegion *mr)
794{
795}
796
797static void memory_region_destructor_ram(MemoryRegion *mr)
798{
799 qemu_ram_free(mr->ram_addr);
800}
801
802static void memory_region_destructor_ram_from_ptr(MemoryRegion *mr)
803{
804 qemu_ram_free_from_ptr(mr->ram_addr);
805}
806
Avi Kivityd0a9b5b2011-08-08 19:58:49 +0300807static void memory_region_destructor_rom_device(MemoryRegion *mr)
808{
809 qemu_ram_free(mr->ram_addr & TARGET_PAGE_MASK);
Avi Kivityd0a9b5b2011-08-08 19:58:49 +0300810}
811
Avi Kivitybe675c92011-11-20 16:22:55 +0200812static bool memory_region_wrong_endianness(MemoryRegion *mr)
813{
Andreas Färber2c3579a2012-01-07 09:45:14 +0100814#ifdef TARGET_WORDS_BIGENDIAN
Avi Kivitybe675c92011-11-20 16:22:55 +0200815 return mr->ops->endianness == DEVICE_LITTLE_ENDIAN;
816#else
817 return mr->ops->endianness == DEVICE_BIG_ENDIAN;
818#endif
819}
820
Avi Kivity093bc2c2011-07-26 14:26:01 +0300821void memory_region_init(MemoryRegion *mr,
822 const char *name,
823 uint64_t size)
824{
Paolo Bonzini2cdfcf22013-05-24 13:55:52 +0200825 mr->ops = &unassigned_mem_ops;
826 mr->opaque = NULL;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300827 mr->parent = NULL;
Avi Kivity08dafab2011-10-16 13:19:17 +0200828 mr->size = int128_make64(size);
829 if (size == UINT64_MAX) {
830 mr->size = int128_2_64();
831 }
Avi Kivity093bc2c2011-07-26 14:26:01 +0300832 mr->addr = 0;
Avi Kivityb3b00c72012-01-02 13:20:11 +0200833 mr->subpage = false;
Avi Kivity6bba19b2011-09-14 11:54:58 +0300834 mr->enabled = true;
Avi Kivity14a3c102011-07-26 14:26:06 +0300835 mr->terminates = false;
Avi Kivity8ea92522011-12-08 15:58:43 +0200836 mr->ram = false;
Jan Kiszka5f9a5ea2013-05-07 19:04:25 +0200837 mr->romd_mode = true;
Avi Kivityfb1cd6f2011-09-25 14:48:47 +0300838 mr->readonly = false;
Avi Kivity75c578d2012-01-02 15:40:52 +0200839 mr->rom_device = false;
Avi Kivity545e92e2011-08-08 19:58:48 +0300840 mr->destructor = memory_region_destructor_none;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300841 mr->priority = 0;
842 mr->may_overlap = false;
843 mr->alias = NULL;
844 QTAILQ_INIT(&mr->subregions);
845 memset(&mr->subregions_link, 0, sizeof mr->subregions_link);
846 QTAILQ_INIT(&mr->coalesced);
Anthony Liguori7267c092011-08-20 22:09:37 -0500847 mr->name = g_strdup(name);
Avi Kivity5a583342011-07-26 14:26:02 +0300848 mr->dirty_log_mask = 0;
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300849 mr->ioeventfd_nb = 0;
850 mr->ioeventfds = NULL;
Jan Kiszkad4105152012-08-23 13:02:29 +0200851 mr->flush_coalesced_mmio = false;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300852}
853
Paolo Bonzinib018ddf2013-05-24 14:48:38 +0200854static uint64_t unassigned_mem_read(void *opaque, hwaddr addr,
855 unsigned size)
856{
857#ifdef DEBUG_UNASSIGNED
858 printf("Unassigned mem read " TARGET_FMT_plx "\n", addr);
859#endif
860#if defined(TARGET_ALPHA) || defined(TARGET_SPARC) || defined(TARGET_MICROBLAZE)
861 cpu_unassigned_access(cpu_single_env, addr, 0, 0, 0, size);
862#endif
863 return 0;
864}
865
866static void unassigned_mem_write(void *opaque, hwaddr addr,
867 uint64_t val, unsigned size)
868{
869#ifdef DEBUG_UNASSIGNED
870 printf("Unassigned mem write " TARGET_FMT_plx " = 0x%"PRIx64"\n", addr, val);
871#endif
872#if defined(TARGET_ALPHA) || defined(TARGET_SPARC) || defined(TARGET_MICROBLAZE)
873 cpu_unassigned_access(cpu_single_env, addr, 1, 0, 0, size);
874#endif
875}
876
Paolo Bonzinid1970632013-05-24 13:23:38 +0200877static bool unassigned_mem_accepts(void *opaque, hwaddr addr,
878 unsigned size, bool is_write)
879{
880 return false;
881}
882
883const MemoryRegionOps unassigned_mem_ops = {
884 .valid.accepts = unassigned_mem_accepts,
885 .endianness = DEVICE_NATIVE_ENDIAN,
886};
887
Paolo Bonzinid2702032013-05-24 11:55:06 +0200888bool memory_region_access_valid(MemoryRegion *mr,
889 hwaddr addr,
890 unsigned size,
891 bool is_write)
Avi Kivity093bc2c2011-07-26 14:26:01 +0300892{
Paolo Bonzinia014ed02013-05-24 17:48:52 +0200893 int access_size_min, access_size_max;
894 int access_size, i;
Avi Kivity897fa7c2011-11-13 13:05:27 +0200895
Avi Kivity093bc2c2011-07-26 14:26:01 +0300896 if (!mr->ops->valid.unaligned && (addr & (size - 1))) {
897 return false;
898 }
899
Paolo Bonzinia014ed02013-05-24 17:48:52 +0200900 if (!mr->ops->valid.accepts) {
Avi Kivity093bc2c2011-07-26 14:26:01 +0300901 return true;
902 }
903
Paolo Bonzinia014ed02013-05-24 17:48:52 +0200904 access_size_min = mr->ops->valid.min_access_size;
905 if (!mr->ops->valid.min_access_size) {
906 access_size_min = 1;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300907 }
Paolo Bonzinia014ed02013-05-24 17:48:52 +0200908
909 access_size_max = mr->ops->valid.max_access_size;
910 if (!mr->ops->valid.max_access_size) {
911 access_size_max = 4;
912 }
913
914 access_size = MAX(MIN(size, access_size_max), access_size_min);
915 for (i = 0; i < size; i += access_size) {
916 if (!mr->ops->valid.accepts(mr->opaque, addr + i, access_size,
917 is_write)) {
918 return false;
919 }
920 }
921
Avi Kivity093bc2c2011-07-26 14:26:01 +0300922 return true;
923}
924
Avi Kivitya621f382012-01-02 13:12:08 +0200925static uint64_t memory_region_dispatch_read1(MemoryRegion *mr,
Avi Kivitya8170e52012-10-23 12:30:10 +0200926 hwaddr addr,
Avi Kivitya621f382012-01-02 13:12:08 +0200927 unsigned size)
Avi Kivity093bc2c2011-07-26 14:26:01 +0300928{
Avi Kivity164a4dc2011-08-11 10:40:25 +0300929 uint64_t data = 0;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300930
Paolo Bonzinice5d2f32013-05-24 17:45:48 +0200931 if (mr->ops->read) {
932 access_with_adjusted_size(addr, &data, size,
933 mr->ops->impl.min_access_size,
934 mr->ops->impl.max_access_size,
935 memory_region_read_accessor, mr);
936 } else {
937 access_with_adjusted_size(addr, &data, size, 1, 4,
938 memory_region_oldmmio_read_accessor, mr);
Avi Kivity74901c32011-07-26 14:26:10 +0300939 }
940
Avi Kivity093bc2c2011-07-26 14:26:01 +0300941 return data;
942}
943
Avi Kivitya621f382012-01-02 13:12:08 +0200944static void adjust_endianness(MemoryRegion *mr, uint64_t *data, unsigned size)
Avi Kivity093bc2c2011-07-26 14:26:01 +0300945{
Avi Kivitya621f382012-01-02 13:12:08 +0200946 if (memory_region_wrong_endianness(mr)) {
947 switch (size) {
948 case 1:
949 break;
950 case 2:
951 *data = bswap16(*data);
952 break;
953 case 4:
954 *data = bswap32(*data);
Andreas Färber1470a0c2012-01-07 09:45:15 +0100955 break;
Paolo Bonzini968a5622013-05-24 17:58:37 +0200956 case 8:
957 *data = bswap64(*data);
958 break;
Avi Kivitya621f382012-01-02 13:12:08 +0200959 default:
960 abort();
961 }
962 }
963}
Avi Kivity093bc2c2011-07-26 14:26:01 +0300964
Paolo Bonzini791af8c2013-05-24 16:10:39 +0200965static bool memory_region_dispatch_read(MemoryRegion *mr,
966 hwaddr addr,
967 uint64_t *pval,
968 unsigned size)
Avi Kivitya621f382012-01-02 13:12:08 +0200969{
Paolo Bonzini791af8c2013-05-24 16:10:39 +0200970 if (!memory_region_access_valid(mr, addr, size, false)) {
971 *pval = unassigned_mem_read(mr, addr, size);
972 return true;
973 }
Avi Kivitya621f382012-01-02 13:12:08 +0200974
Paolo Bonzini791af8c2013-05-24 16:10:39 +0200975 *pval = memory_region_dispatch_read1(mr, addr, size);
976 adjust_endianness(mr, pval, size);
977 return false;
Avi Kivitya621f382012-01-02 13:12:08 +0200978}
979
Paolo Bonzini791af8c2013-05-24 16:10:39 +0200980static bool memory_region_dispatch_write(MemoryRegion *mr,
Avi Kivitya8170e52012-10-23 12:30:10 +0200981 hwaddr addr,
Avi Kivitya621f382012-01-02 13:12:08 +0200982 uint64_t data,
983 unsigned size)
984{
Avi Kivity897fa7c2011-11-13 13:05:27 +0200985 if (!memory_region_access_valid(mr, addr, size, true)) {
Paolo Bonzinib018ddf2013-05-24 14:48:38 +0200986 unassigned_mem_write(mr, addr, data, size);
Paolo Bonzini791af8c2013-05-24 16:10:39 +0200987 return true;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300988 }
989
Avi Kivitya621f382012-01-02 13:12:08 +0200990 adjust_endianness(mr, &data, size);
991
Paolo Bonzinice5d2f32013-05-24 17:45:48 +0200992 if (mr->ops->write) {
993 access_with_adjusted_size(addr, &data, size,
994 mr->ops->impl.min_access_size,
995 mr->ops->impl.max_access_size,
996 memory_region_write_accessor, mr);
997 } else {
998 access_with_adjusted_size(addr, &data, size, 1, 4,
999 memory_region_oldmmio_write_accessor, mr);
Avi Kivity74901c32011-07-26 14:26:10 +03001000 }
Paolo Bonzini791af8c2013-05-24 16:10:39 +02001001 return false;
Avi Kivity093bc2c2011-07-26 14:26:01 +03001002}
1003
Avi Kivity093bc2c2011-07-26 14:26:01 +03001004void memory_region_init_io(MemoryRegion *mr,
1005 const MemoryRegionOps *ops,
1006 void *opaque,
1007 const char *name,
1008 uint64_t size)
1009{
1010 memory_region_init(mr, name, size);
1011 mr->ops = ops;
1012 mr->opaque = opaque;
Avi Kivity14a3c102011-07-26 14:26:06 +03001013 mr->terminates = true;
Avi Kivity97161e12012-03-08 19:16:39 +02001014 mr->ram_addr = ~(ram_addr_t)0;
Avi Kivity093bc2c2011-07-26 14:26:01 +03001015}
1016
1017void memory_region_init_ram(MemoryRegion *mr,
Avi Kivity093bc2c2011-07-26 14:26:01 +03001018 const char *name,
1019 uint64_t size)
1020{
1021 memory_region_init(mr, name, size);
Avi Kivity8ea92522011-12-08 15:58:43 +02001022 mr->ram = true;
Avi Kivity14a3c102011-07-26 14:26:06 +03001023 mr->terminates = true;
Avi Kivity545e92e2011-08-08 19:58:48 +03001024 mr->destructor = memory_region_destructor_ram;
Avi Kivityc5705a72011-12-20 15:59:12 +02001025 mr->ram_addr = qemu_ram_alloc(size, mr);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001026}
1027
1028void memory_region_init_ram_ptr(MemoryRegion *mr,
Avi Kivity093bc2c2011-07-26 14:26:01 +03001029 const char *name,
1030 uint64_t size,
1031 void *ptr)
1032{
1033 memory_region_init(mr, name, size);
Avi Kivity8ea92522011-12-08 15:58:43 +02001034 mr->ram = true;
Avi Kivity14a3c102011-07-26 14:26:06 +03001035 mr->terminates = true;
Avi Kivity545e92e2011-08-08 19:58:48 +03001036 mr->destructor = memory_region_destructor_ram_from_ptr;
Avi Kivityc5705a72011-12-20 15:59:12 +02001037 mr->ram_addr = qemu_ram_alloc_from_ptr(size, ptr, mr);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001038}
1039
1040void memory_region_init_alias(MemoryRegion *mr,
1041 const char *name,
1042 MemoryRegion *orig,
Avi Kivitya8170e52012-10-23 12:30:10 +02001043 hwaddr offset,
Avi Kivity093bc2c2011-07-26 14:26:01 +03001044 uint64_t size)
1045{
1046 memory_region_init(mr, name, size);
1047 mr->alias = orig;
1048 mr->alias_offset = offset;
1049}
1050
Avi Kivityd0a9b5b2011-08-08 19:58:49 +03001051void memory_region_init_rom_device(MemoryRegion *mr,
1052 const MemoryRegionOps *ops,
Avi Kivity75f59412011-08-26 00:35:15 +03001053 void *opaque,
Avi Kivityd0a9b5b2011-08-08 19:58:49 +03001054 const char *name,
1055 uint64_t size)
1056{
1057 memory_region_init(mr, name, size);
Avi Kivity7bc2b9c2011-08-25 14:56:14 +03001058 mr->ops = ops;
Avi Kivity75f59412011-08-26 00:35:15 +03001059 mr->opaque = opaque;
Avi Kivityd0a9b5b2011-08-08 19:58:49 +03001060 mr->terminates = true;
Avi Kivity75c578d2012-01-02 15:40:52 +02001061 mr->rom_device = true;
Avi Kivityd0a9b5b2011-08-08 19:58:49 +03001062 mr->destructor = memory_region_destructor_rom_device;
Avi Kivityc5705a72011-12-20 15:59:12 +02001063 mr->ram_addr = qemu_ram_alloc(size, mr);
Avi Kivityd0a9b5b2011-08-08 19:58:49 +03001064}
1065
Jan Kiszka1660e722011-10-23 16:01:19 +02001066void memory_region_init_reservation(MemoryRegion *mr,
1067 const char *name,
1068 uint64_t size)
1069{
Paolo Bonzinid1970632013-05-24 13:23:38 +02001070 memory_region_init_io(mr, &unassigned_mem_ops, mr, name, size);
Jan Kiszka1660e722011-10-23 16:01:19 +02001071}
1072
Avi Kivity093bc2c2011-07-26 14:26:01 +03001073void memory_region_destroy(MemoryRegion *mr)
1074{
1075 assert(QTAILQ_EMPTY(&mr->subregions));
Avi Kivity2be0e252012-10-17 17:14:41 +02001076 assert(memory_region_transaction_depth == 0);
Avi Kivity545e92e2011-08-08 19:58:48 +03001077 mr->destructor(mr);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001078 memory_region_clear_coalescing(mr);
Anthony Liguori7267c092011-08-20 22:09:37 -05001079 g_free((char *)mr->name);
1080 g_free(mr->ioeventfds);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001081}
1082
1083uint64_t memory_region_size(MemoryRegion *mr)
1084{
Avi Kivity08dafab2011-10-16 13:19:17 +02001085 if (int128_eq(mr->size, int128_2_64())) {
1086 return UINT64_MAX;
1087 }
1088 return int128_get64(mr->size);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001089}
1090
Avi Kivity8991c792011-12-20 15:53:11 +02001091const char *memory_region_name(MemoryRegion *mr)
1092{
1093 return mr->name;
1094}
1095
Avi Kivity8ea92522011-12-08 15:58:43 +02001096bool memory_region_is_ram(MemoryRegion *mr)
1097{
1098 return mr->ram;
1099}
1100
Avi Kivity55043ba2011-12-15 17:20:34 +02001101bool memory_region_is_logging(MemoryRegion *mr)
1102{
1103 return mr->dirty_log_mask;
1104}
1105
Avi Kivityce7923d2011-12-08 16:05:11 +02001106bool memory_region_is_rom(MemoryRegion *mr)
1107{
1108 return mr->ram && mr->readonly;
1109}
1110
Avi Kivity093bc2c2011-07-26 14:26:01 +03001111void memory_region_set_log(MemoryRegion *mr, bool log, unsigned client)
1112{
Avi Kivity5a583342011-07-26 14:26:02 +03001113 uint8_t mask = 1 << client;
1114
Jan Kiszka59023ef2012-08-23 13:02:30 +02001115 memory_region_transaction_begin();
Avi Kivity5a583342011-07-26 14:26:02 +03001116 mr->dirty_log_mask = (mr->dirty_log_mask & ~mask) | (log * mask);
Jan Kiszka22bde712012-11-05 16:45:56 +01001117 memory_region_update_pending |= mr->enabled;
Jan Kiszka59023ef2012-08-23 13:02:30 +02001118 memory_region_transaction_commit();
Avi Kivity093bc2c2011-07-26 14:26:01 +03001119}
1120
Avi Kivitya8170e52012-10-23 12:30:10 +02001121bool memory_region_get_dirty(MemoryRegion *mr, hwaddr addr,
1122 hwaddr size, unsigned client)
Avi Kivity093bc2c2011-07-26 14:26:01 +03001123{
Avi Kivity14a3c102011-07-26 14:26:06 +03001124 assert(mr->terminates);
Blue Swirlcd7a45c2012-01-22 16:38:21 +00001125 return cpu_physical_memory_get_dirty(mr->ram_addr + addr, size,
1126 1 << client);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001127}
1128
Avi Kivitya8170e52012-10-23 12:30:10 +02001129void memory_region_set_dirty(MemoryRegion *mr, hwaddr addr,
1130 hwaddr size)
Avi Kivity093bc2c2011-07-26 14:26:01 +03001131{
Avi Kivity14a3c102011-07-26 14:26:06 +03001132 assert(mr->terminates);
Blue Swirlfd4aa972011-10-16 16:04:59 +00001133 return cpu_physical_memory_set_dirty_range(mr->ram_addr + addr, size, -1);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001134}
1135
Juan Quintela6c279db2012-10-17 20:24:28 +02001136bool memory_region_test_and_clear_dirty(MemoryRegion *mr, hwaddr addr,
1137 hwaddr size, unsigned client)
1138{
1139 bool ret;
1140 assert(mr->terminates);
1141 ret = cpu_physical_memory_get_dirty(mr->ram_addr + addr, size,
1142 1 << client);
1143 if (ret) {
1144 cpu_physical_memory_reset_dirty(mr->ram_addr + addr,
1145 mr->ram_addr + addr + size,
1146 1 << client);
1147 }
1148 return ret;
1149}
1150
1151
Avi Kivity093bc2c2011-07-26 14:26:01 +03001152void memory_region_sync_dirty_bitmap(MemoryRegion *mr)
1153{
Avi Kivity0d673e32012-10-02 15:28:50 +02001154 AddressSpace *as;
Avi Kivity5a583342011-07-26 14:26:02 +03001155 FlatRange *fr;
1156
Avi Kivity0d673e32012-10-02 15:28:50 +02001157 QTAILQ_FOREACH(as, &address_spaces, address_spaces_link) {
1158 FOR_EACH_FLAT_RANGE(fr, as->current_map) {
1159 if (fr->mr == mr) {
1160 MEMORY_LISTENER_UPDATE_REGION(fr, as, Forward, log_sync);
1161 }
Avi Kivity5a583342011-07-26 14:26:02 +03001162 }
1163 }
Avi Kivity093bc2c2011-07-26 14:26:01 +03001164}
1165
1166void memory_region_set_readonly(MemoryRegion *mr, bool readonly)
1167{
Avi Kivityfb1cd6f2011-09-25 14:48:47 +03001168 if (mr->readonly != readonly) {
Jan Kiszka59023ef2012-08-23 13:02:30 +02001169 memory_region_transaction_begin();
Avi Kivityfb1cd6f2011-09-25 14:48:47 +03001170 mr->readonly = readonly;
Jan Kiszka22bde712012-11-05 16:45:56 +01001171 memory_region_update_pending |= mr->enabled;
Jan Kiszka59023ef2012-08-23 13:02:30 +02001172 memory_region_transaction_commit();
Avi Kivityfb1cd6f2011-09-25 14:48:47 +03001173 }
Avi Kivity093bc2c2011-07-26 14:26:01 +03001174}
1175
Jan Kiszka5f9a5ea2013-05-07 19:04:25 +02001176void memory_region_rom_device_set_romd(MemoryRegion *mr, bool romd_mode)
Avi Kivityd0a9b5b2011-08-08 19:58:49 +03001177{
Jan Kiszka5f9a5ea2013-05-07 19:04:25 +02001178 if (mr->romd_mode != romd_mode) {
Jan Kiszka59023ef2012-08-23 13:02:30 +02001179 memory_region_transaction_begin();
Jan Kiszka5f9a5ea2013-05-07 19:04:25 +02001180 mr->romd_mode = romd_mode;
Jan Kiszka22bde712012-11-05 16:45:56 +01001181 memory_region_update_pending |= mr->enabled;
Jan Kiszka59023ef2012-08-23 13:02:30 +02001182 memory_region_transaction_commit();
Avi Kivityd0a9b5b2011-08-08 19:58:49 +03001183 }
1184}
1185
Avi Kivitya8170e52012-10-23 12:30:10 +02001186void memory_region_reset_dirty(MemoryRegion *mr, hwaddr addr,
1187 hwaddr size, unsigned client)
Avi Kivity093bc2c2011-07-26 14:26:01 +03001188{
Avi Kivity14a3c102011-07-26 14:26:06 +03001189 assert(mr->terminates);
Avi Kivity5a583342011-07-26 14:26:02 +03001190 cpu_physical_memory_reset_dirty(mr->ram_addr + addr,
1191 mr->ram_addr + addr + size,
1192 1 << client);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001193}
1194
1195void *memory_region_get_ram_ptr(MemoryRegion *mr)
1196{
1197 if (mr->alias) {
1198 return memory_region_get_ram_ptr(mr->alias) + mr->alias_offset;
1199 }
1200
Avi Kivity14a3c102011-07-26 14:26:06 +03001201 assert(mr->terminates);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001202
Jan Kiszka021d26d2011-08-30 00:38:24 +02001203 return qemu_get_ram_ptr(mr->ram_addr & TARGET_PAGE_MASK);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001204}
1205
Avi Kivity0d673e32012-10-02 15:28:50 +02001206static void memory_region_update_coalesced_range_as(MemoryRegion *mr, AddressSpace *as)
Avi Kivity093bc2c2011-07-26 14:26:01 +03001207{
1208 FlatRange *fr;
1209 CoalescedMemoryRange *cmr;
1210 AddrRange tmp;
Avi Kivity95d29942012-10-02 18:21:54 +02001211 MemoryRegionSection section;
Avi Kivity093bc2c2011-07-26 14:26:01 +03001212
Avi Kivity0d673e32012-10-02 15:28:50 +02001213 FOR_EACH_FLAT_RANGE(fr, as->current_map) {
Avi Kivity093bc2c2011-07-26 14:26:01 +03001214 if (fr->mr == mr) {
Avi Kivity95d29942012-10-02 18:21:54 +02001215 section = (MemoryRegionSection) {
Avi Kivityf6790af2012-10-02 20:13:51 +02001216 .address_space = as,
Avi Kivity95d29942012-10-02 18:21:54 +02001217 .offset_within_address_space = int128_get64(fr->addr.start),
Paolo Bonzini052e87b2013-05-27 10:08:27 +02001218 .size = fr->addr.size,
Avi Kivity95d29942012-10-02 18:21:54 +02001219 };
1220
1221 MEMORY_LISTENER_CALL(coalesced_mmio_del, Reverse, &section,
1222 int128_get64(fr->addr.start),
1223 int128_get64(fr->addr.size));
Avi Kivity093bc2c2011-07-26 14:26:01 +03001224 QTAILQ_FOREACH(cmr, &mr->coalesced, link) {
1225 tmp = addrrange_shift(cmr->addr,
Avi Kivity08dafab2011-10-16 13:19:17 +02001226 int128_sub(fr->addr.start,
1227 int128_make64(fr->offset_in_region)));
Avi Kivity093bc2c2011-07-26 14:26:01 +03001228 if (!addrrange_intersects(tmp, fr->addr)) {
1229 continue;
1230 }
1231 tmp = addrrange_intersection(tmp, fr->addr);
Avi Kivity95d29942012-10-02 18:21:54 +02001232 MEMORY_LISTENER_CALL(coalesced_mmio_add, Forward, &section,
1233 int128_get64(tmp.start),
1234 int128_get64(tmp.size));
Avi Kivity093bc2c2011-07-26 14:26:01 +03001235 }
1236 }
1237 }
1238}
1239
Avi Kivity0d673e32012-10-02 15:28:50 +02001240static void memory_region_update_coalesced_range(MemoryRegion *mr)
1241{
1242 AddressSpace *as;
1243
1244 QTAILQ_FOREACH(as, &address_spaces, address_spaces_link) {
1245 memory_region_update_coalesced_range_as(mr, as);
1246 }
1247}
1248
Avi Kivity093bc2c2011-07-26 14:26:01 +03001249void memory_region_set_coalescing(MemoryRegion *mr)
1250{
1251 memory_region_clear_coalescing(mr);
Avi Kivity08dafab2011-10-16 13:19:17 +02001252 memory_region_add_coalescing(mr, 0, int128_get64(mr->size));
Avi Kivity093bc2c2011-07-26 14:26:01 +03001253}
1254
1255void memory_region_add_coalescing(MemoryRegion *mr,
Avi Kivitya8170e52012-10-23 12:30:10 +02001256 hwaddr offset,
Avi Kivity093bc2c2011-07-26 14:26:01 +03001257 uint64_t size)
1258{
Anthony Liguori7267c092011-08-20 22:09:37 -05001259 CoalescedMemoryRange *cmr = g_malloc(sizeof(*cmr));
Avi Kivity093bc2c2011-07-26 14:26:01 +03001260
Avi Kivity08dafab2011-10-16 13:19:17 +02001261 cmr->addr = addrrange_make(int128_make64(offset), int128_make64(size));
Avi Kivity093bc2c2011-07-26 14:26:01 +03001262 QTAILQ_INSERT_TAIL(&mr->coalesced, cmr, link);
1263 memory_region_update_coalesced_range(mr);
Jan Kiszkad4105152012-08-23 13:02:29 +02001264 memory_region_set_flush_coalesced(mr);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001265}
1266
1267void memory_region_clear_coalescing(MemoryRegion *mr)
1268{
1269 CoalescedMemoryRange *cmr;
1270
Jan Kiszkad4105152012-08-23 13:02:29 +02001271 qemu_flush_coalesced_mmio_buffer();
1272 mr->flush_coalesced_mmio = false;
1273
Avi Kivity093bc2c2011-07-26 14:26:01 +03001274 while (!QTAILQ_EMPTY(&mr->coalesced)) {
1275 cmr = QTAILQ_FIRST(&mr->coalesced);
1276 QTAILQ_REMOVE(&mr->coalesced, cmr, link);
Anthony Liguori7267c092011-08-20 22:09:37 -05001277 g_free(cmr);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001278 }
1279 memory_region_update_coalesced_range(mr);
1280}
1281
Jan Kiszkad4105152012-08-23 13:02:29 +02001282void memory_region_set_flush_coalesced(MemoryRegion *mr)
1283{
1284 mr->flush_coalesced_mmio = true;
1285}
1286
1287void memory_region_clear_flush_coalesced(MemoryRegion *mr)
1288{
1289 qemu_flush_coalesced_mmio_buffer();
1290 if (QTAILQ_EMPTY(&mr->coalesced)) {
1291 mr->flush_coalesced_mmio = false;
1292 }
1293}
1294
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001295void memory_region_add_eventfd(MemoryRegion *mr,
Avi Kivitya8170e52012-10-23 12:30:10 +02001296 hwaddr addr,
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001297 unsigned size,
1298 bool match_data,
1299 uint64_t data,
Paolo Bonzini753d5e12012-07-05 17:16:27 +02001300 EventNotifier *e)
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001301{
1302 MemoryRegionIoeventfd mrfd = {
Avi Kivity08dafab2011-10-16 13:19:17 +02001303 .addr.start = int128_make64(addr),
1304 .addr.size = int128_make64(size),
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001305 .match_data = match_data,
1306 .data = data,
Paolo Bonzini753d5e12012-07-05 17:16:27 +02001307 .e = e,
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001308 };
1309 unsigned i;
1310
Alexander Graf28f362b2012-10-15 20:30:28 +02001311 adjust_endianness(mr, &mrfd.data, size);
Jan Kiszka59023ef2012-08-23 13:02:30 +02001312 memory_region_transaction_begin();
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001313 for (i = 0; i < mr->ioeventfd_nb; ++i) {
1314 if (memory_region_ioeventfd_before(mrfd, mr->ioeventfds[i])) {
1315 break;
1316 }
1317 }
1318 ++mr->ioeventfd_nb;
Anthony Liguori7267c092011-08-20 22:09:37 -05001319 mr->ioeventfds = g_realloc(mr->ioeventfds,
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001320 sizeof(*mr->ioeventfds) * mr->ioeventfd_nb);
1321 memmove(&mr->ioeventfds[i+1], &mr->ioeventfds[i],
1322 sizeof(*mr->ioeventfds) * (mr->ioeventfd_nb-1 - i));
1323 mr->ioeventfds[i] = mrfd;
Jan Kiszka22bde712012-11-05 16:45:56 +01001324 memory_region_update_pending |= mr->enabled;
Jan Kiszka59023ef2012-08-23 13:02:30 +02001325 memory_region_transaction_commit();
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001326}
1327
1328void memory_region_del_eventfd(MemoryRegion *mr,
Avi Kivitya8170e52012-10-23 12:30:10 +02001329 hwaddr addr,
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001330 unsigned size,
1331 bool match_data,
1332 uint64_t data,
Paolo Bonzini753d5e12012-07-05 17:16:27 +02001333 EventNotifier *e)
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001334{
1335 MemoryRegionIoeventfd mrfd = {
Avi Kivity08dafab2011-10-16 13:19:17 +02001336 .addr.start = int128_make64(addr),
1337 .addr.size = int128_make64(size),
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001338 .match_data = match_data,
1339 .data = data,
Paolo Bonzini753d5e12012-07-05 17:16:27 +02001340 .e = e,
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001341 };
1342 unsigned i;
1343
Alexander Graf28f362b2012-10-15 20:30:28 +02001344 adjust_endianness(mr, &mrfd.data, size);
Jan Kiszka59023ef2012-08-23 13:02:30 +02001345 memory_region_transaction_begin();
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001346 for (i = 0; i < mr->ioeventfd_nb; ++i) {
1347 if (memory_region_ioeventfd_equal(mrfd, mr->ioeventfds[i])) {
1348 break;
1349 }
1350 }
1351 assert(i != mr->ioeventfd_nb);
1352 memmove(&mr->ioeventfds[i], &mr->ioeventfds[i+1],
1353 sizeof(*mr->ioeventfds) * (mr->ioeventfd_nb - (i+1)));
1354 --mr->ioeventfd_nb;
Anthony Liguori7267c092011-08-20 22:09:37 -05001355 mr->ioeventfds = g_realloc(mr->ioeventfds,
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001356 sizeof(*mr->ioeventfds)*mr->ioeventfd_nb + 1);
Jan Kiszka22bde712012-11-05 16:45:56 +01001357 memory_region_update_pending |= mr->enabled;
Jan Kiszka59023ef2012-08-23 13:02:30 +02001358 memory_region_transaction_commit();
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001359}
1360
Avi Kivity093bc2c2011-07-26 14:26:01 +03001361static void memory_region_add_subregion_common(MemoryRegion *mr,
Avi Kivitya8170e52012-10-23 12:30:10 +02001362 hwaddr offset,
Avi Kivity093bc2c2011-07-26 14:26:01 +03001363 MemoryRegion *subregion)
1364{
1365 MemoryRegion *other;
1366
Jan Kiszka59023ef2012-08-23 13:02:30 +02001367 memory_region_transaction_begin();
1368
Avi Kivity093bc2c2011-07-26 14:26:01 +03001369 assert(!subregion->parent);
1370 subregion->parent = mr;
1371 subregion->addr = offset;
1372 QTAILQ_FOREACH(other, &mr->subregions, subregions_link) {
1373 if (subregion->may_overlap || other->may_overlap) {
1374 continue;
1375 }
Hu Tao2c7cfd62013-03-15 14:32:01 +08001376 if (int128_ge(int128_make64(offset),
Avi Kivity08dafab2011-10-16 13:19:17 +02001377 int128_add(int128_make64(other->addr), other->size))
1378 || int128_le(int128_add(int128_make64(offset), subregion->size),
1379 int128_make64(other->addr))) {
Avi Kivity093bc2c2011-07-26 14:26:01 +03001380 continue;
1381 }
Anthony Liguoria5e1cbc2011-08-22 11:14:56 -05001382#if 0
Michael Walle860329b2011-09-15 23:16:49 +02001383 printf("warning: subregion collision %llx/%llx (%s) "
1384 "vs %llx/%llx (%s)\n",
Avi Kivity093bc2c2011-07-26 14:26:01 +03001385 (unsigned long long)offset,
Avi Kivity08dafab2011-10-16 13:19:17 +02001386 (unsigned long long)int128_get64(subregion->size),
Michael Walle860329b2011-09-15 23:16:49 +02001387 subregion->name,
1388 (unsigned long long)other->addr,
Avi Kivity08dafab2011-10-16 13:19:17 +02001389 (unsigned long long)int128_get64(other->size),
Michael Walle860329b2011-09-15 23:16:49 +02001390 other->name);
Anthony Liguoria5e1cbc2011-08-22 11:14:56 -05001391#endif
Avi Kivity093bc2c2011-07-26 14:26:01 +03001392 }
1393 QTAILQ_FOREACH(other, &mr->subregions, subregions_link) {
1394 if (subregion->priority >= other->priority) {
1395 QTAILQ_INSERT_BEFORE(other, subregion, subregions_link);
1396 goto done;
1397 }
1398 }
1399 QTAILQ_INSERT_TAIL(&mr->subregions, subregion, subregions_link);
1400done:
Jan Kiszka22bde712012-11-05 16:45:56 +01001401 memory_region_update_pending |= mr->enabled && subregion->enabled;
Jan Kiszka59023ef2012-08-23 13:02:30 +02001402 memory_region_transaction_commit();
Avi Kivity093bc2c2011-07-26 14:26:01 +03001403}
1404
1405
1406void memory_region_add_subregion(MemoryRegion *mr,
Avi Kivitya8170e52012-10-23 12:30:10 +02001407 hwaddr offset,
Avi Kivity093bc2c2011-07-26 14:26:01 +03001408 MemoryRegion *subregion)
1409{
1410 subregion->may_overlap = false;
1411 subregion->priority = 0;
1412 memory_region_add_subregion_common(mr, offset, subregion);
1413}
1414
1415void memory_region_add_subregion_overlap(MemoryRegion *mr,
Avi Kivitya8170e52012-10-23 12:30:10 +02001416 hwaddr offset,
Avi Kivity093bc2c2011-07-26 14:26:01 +03001417 MemoryRegion *subregion,
1418 unsigned priority)
1419{
1420 subregion->may_overlap = true;
1421 subregion->priority = priority;
1422 memory_region_add_subregion_common(mr, offset, subregion);
1423}
1424
1425void memory_region_del_subregion(MemoryRegion *mr,
1426 MemoryRegion *subregion)
1427{
Jan Kiszka59023ef2012-08-23 13:02:30 +02001428 memory_region_transaction_begin();
Avi Kivity093bc2c2011-07-26 14:26:01 +03001429 assert(subregion->parent == mr);
1430 subregion->parent = NULL;
1431 QTAILQ_REMOVE(&mr->subregions, subregion, subregions_link);
Jan Kiszka22bde712012-11-05 16:45:56 +01001432 memory_region_update_pending |= mr->enabled && subregion->enabled;
Jan Kiszka59023ef2012-08-23 13:02:30 +02001433 memory_region_transaction_commit();
Avi Kivity6bba19b2011-09-14 11:54:58 +03001434}
1435
1436void memory_region_set_enabled(MemoryRegion *mr, bool enabled)
1437{
1438 if (enabled == mr->enabled) {
1439 return;
1440 }
Jan Kiszka59023ef2012-08-23 13:02:30 +02001441 memory_region_transaction_begin();
Avi Kivity6bba19b2011-09-14 11:54:58 +03001442 mr->enabled = enabled;
Jan Kiszka22bde712012-11-05 16:45:56 +01001443 memory_region_update_pending = true;
Jan Kiszka59023ef2012-08-23 13:02:30 +02001444 memory_region_transaction_commit();
Avi Kivity093bc2c2011-07-26 14:26:01 +03001445}
Avi Kivity1c0ffa52011-07-26 14:26:04 +03001446
Avi Kivitya8170e52012-10-23 12:30:10 +02001447void memory_region_set_address(MemoryRegion *mr, hwaddr addr)
Avi Kivity2282e1a2011-09-14 12:10:12 +03001448{
1449 MemoryRegion *parent = mr->parent;
1450 unsigned priority = mr->priority;
1451 bool may_overlap = mr->may_overlap;
1452
1453 if (addr == mr->addr || !parent) {
1454 mr->addr = addr;
1455 return;
1456 }
1457
1458 memory_region_transaction_begin();
1459 memory_region_del_subregion(parent, mr);
1460 if (may_overlap) {
1461 memory_region_add_subregion_overlap(parent, addr, mr, priority);
1462 } else {
1463 memory_region_add_subregion(parent, addr, mr);
1464 }
1465 memory_region_transaction_commit();
1466}
1467
Avi Kivitya8170e52012-10-23 12:30:10 +02001468void memory_region_set_alias_offset(MemoryRegion *mr, hwaddr offset)
Avi Kivity47033592011-12-04 19:16:50 +02001469{
Avi Kivity47033592011-12-04 19:16:50 +02001470 assert(mr->alias);
Avi Kivity47033592011-12-04 19:16:50 +02001471
Jan Kiszka59023ef2012-08-23 13:02:30 +02001472 if (offset == mr->alias_offset) {
Avi Kivity47033592011-12-04 19:16:50 +02001473 return;
1474 }
1475
Jan Kiszka59023ef2012-08-23 13:02:30 +02001476 memory_region_transaction_begin();
1477 mr->alias_offset = offset;
Jan Kiszka22bde712012-11-05 16:45:56 +01001478 memory_region_update_pending |= mr->enabled;
Jan Kiszka59023ef2012-08-23 13:02:30 +02001479 memory_region_transaction_commit();
Avi Kivity47033592011-12-04 19:16:50 +02001480}
1481
Avi Kivitye34911c2011-12-19 12:06:23 +02001482ram_addr_t memory_region_get_ram_addr(MemoryRegion *mr)
1483{
Avi Kivitye34911c2011-12-19 12:06:23 +02001484 return mr->ram_addr;
1485}
1486
Avi Kivitye2177952011-12-08 15:00:18 +02001487static int cmp_flatrange_addr(const void *addr_, const void *fr_)
1488{
1489 const AddrRange *addr = addr_;
1490 const FlatRange *fr = fr_;
1491
1492 if (int128_le(addrrange_end(*addr), fr->addr.start)) {
1493 return -1;
1494 } else if (int128_ge(addr->start, addrrange_end(fr->addr))) {
1495 return 1;
1496 }
1497 return 0;
1498}
1499
1500static FlatRange *address_space_lookup(AddressSpace *as, AddrRange addr)
1501{
Avi Kivity8786db72012-10-02 13:53:41 +02001502 return bsearch(&addr, as->current_map->ranges, as->current_map->nr,
Avi Kivitye2177952011-12-08 15:00:18 +02001503 sizeof(FlatRange), cmp_flatrange_addr);
1504}
1505
Paolo Bonzini73034e92013-05-07 15:48:28 +02001506MemoryRegionSection memory_region_find(MemoryRegion *mr,
Avi Kivitya8170e52012-10-23 12:30:10 +02001507 hwaddr addr, uint64_t size)
Avi Kivitye2177952011-12-08 15:00:18 +02001508{
Paolo Bonzini052e87b2013-05-27 10:08:27 +02001509 MemoryRegionSection ret = { .mr = NULL };
Paolo Bonzini73034e92013-05-07 15:48:28 +02001510 MemoryRegion *root;
1511 AddressSpace *as;
1512 AddrRange range;
1513 FlatRange *fr;
Avi Kivitye2177952011-12-08 15:00:18 +02001514
Paolo Bonzini73034e92013-05-07 15:48:28 +02001515 addr += mr->addr;
1516 for (root = mr; root->parent; ) {
1517 root = root->parent;
1518 addr += root->addr;
1519 }
1520
1521 as = memory_region_to_address_space(root);
1522 range = addrrange_make(int128_make64(addr), int128_make64(size));
1523 fr = address_space_lookup(as, range);
Avi Kivitye2177952011-12-08 15:00:18 +02001524 if (!fr) {
1525 return ret;
1526 }
1527
Avi Kivity8786db72012-10-02 13:53:41 +02001528 while (fr > as->current_map->ranges
Avi Kivitye2177952011-12-08 15:00:18 +02001529 && addrrange_intersects(fr[-1].addr, range)) {
1530 --fr;
1531 }
1532
1533 ret.mr = fr->mr;
Paolo Bonzini73034e92013-05-07 15:48:28 +02001534 ret.address_space = as;
Avi Kivitye2177952011-12-08 15:00:18 +02001535 range = addrrange_intersection(range, fr->addr);
1536 ret.offset_within_region = fr->offset_in_region;
1537 ret.offset_within_region += int128_get64(int128_sub(range.start,
1538 fr->addr.start));
Paolo Bonzini052e87b2013-05-27 10:08:27 +02001539 ret.size = range.size;
Avi Kivitye2177952011-12-08 15:00:18 +02001540 ret.offset_within_address_space = int128_get64(range.start);
Avi Kivity7a8499e2012-02-08 17:01:23 +02001541 ret.readonly = fr->readonly;
Avi Kivitye2177952011-12-08 15:00:18 +02001542 return ret;
1543}
1544
Paolo Bonzini1d671362013-04-24 10:46:55 +02001545void address_space_sync_dirty_bitmap(AddressSpace *as)
Avi Kivity86e775c2011-12-15 16:24:49 +02001546{
Avi Kivity7664e802011-12-11 14:47:25 +02001547 FlatRange *fr;
1548
Avi Kivity8786db72012-10-02 13:53:41 +02001549 FOR_EACH_FLAT_RANGE(fr, as->current_map) {
Avi Kivity72e22d22012-02-08 15:05:50 +02001550 MEMORY_LISTENER_UPDATE_REGION(fr, as, Forward, log_sync);
Avi Kivity7664e802011-12-11 14:47:25 +02001551 }
1552}
1553
1554void memory_global_dirty_log_start(void)
1555{
Avi Kivity7664e802011-12-11 14:47:25 +02001556 global_dirty_log = true;
Avi Kivity7376e582012-02-08 21:05:17 +02001557 MEMORY_LISTENER_CALL_GLOBAL(log_global_start, Forward);
Avi Kivity7664e802011-12-11 14:47:25 +02001558}
1559
1560void memory_global_dirty_log_stop(void)
1561{
Avi Kivity7664e802011-12-11 14:47:25 +02001562 global_dirty_log = false;
Avi Kivity7376e582012-02-08 21:05:17 +02001563 MEMORY_LISTENER_CALL_GLOBAL(log_global_stop, Reverse);
Avi Kivity7664e802011-12-11 14:47:25 +02001564}
1565
1566static void listener_add_address_space(MemoryListener *listener,
1567 AddressSpace *as)
1568{
1569 FlatRange *fr;
1570
Julien Grall221b3a32012-04-04 15:15:41 +01001571 if (listener->address_space_filter
Avi Kivityf6790af2012-10-02 20:13:51 +02001572 && listener->address_space_filter != as) {
Julien Grall221b3a32012-04-04 15:15:41 +01001573 return;
1574 }
1575
Avi Kivity7664e802011-12-11 14:47:25 +02001576 if (global_dirty_log) {
Avi Kivity975aefe2012-10-02 16:39:57 +02001577 if (listener->log_global_start) {
1578 listener->log_global_start(listener);
1579 }
Avi Kivity7664e802011-12-11 14:47:25 +02001580 }
Avi Kivity975aefe2012-10-02 16:39:57 +02001581
Avi Kivity8786db72012-10-02 13:53:41 +02001582 FOR_EACH_FLAT_RANGE(fr, as->current_map) {
Avi Kivity7664e802011-12-11 14:47:25 +02001583 MemoryRegionSection section = {
1584 .mr = fr->mr,
Avi Kivityf6790af2012-10-02 20:13:51 +02001585 .address_space = as,
Avi Kivity7664e802011-12-11 14:47:25 +02001586 .offset_within_region = fr->offset_in_region,
Paolo Bonzini052e87b2013-05-27 10:08:27 +02001587 .size = fr->addr.size,
Avi Kivity7664e802011-12-11 14:47:25 +02001588 .offset_within_address_space = int128_get64(fr->addr.start),
Avi Kivity7a8499e2012-02-08 17:01:23 +02001589 .readonly = fr->readonly,
Avi Kivity7664e802011-12-11 14:47:25 +02001590 };
Avi Kivity975aefe2012-10-02 16:39:57 +02001591 if (listener->region_add) {
1592 listener->region_add(listener, &section);
1593 }
Avi Kivity7664e802011-12-11 14:47:25 +02001594 }
1595}
1596
Avi Kivityf6790af2012-10-02 20:13:51 +02001597void memory_listener_register(MemoryListener *listener, AddressSpace *filter)
Avi Kivity7664e802011-12-11 14:47:25 +02001598{
Avi Kivity72e22d22012-02-08 15:05:50 +02001599 MemoryListener *other = NULL;
Avi Kivity0d673e32012-10-02 15:28:50 +02001600 AddressSpace *as;
Avi Kivity72e22d22012-02-08 15:05:50 +02001601
Avi Kivity7376e582012-02-08 21:05:17 +02001602 listener->address_space_filter = filter;
Avi Kivity72e22d22012-02-08 15:05:50 +02001603 if (QTAILQ_EMPTY(&memory_listeners)
1604 || listener->priority >= QTAILQ_LAST(&memory_listeners,
1605 memory_listeners)->priority) {
1606 QTAILQ_INSERT_TAIL(&memory_listeners, listener, link);
1607 } else {
1608 QTAILQ_FOREACH(other, &memory_listeners, link) {
1609 if (listener->priority < other->priority) {
1610 break;
1611 }
1612 }
1613 QTAILQ_INSERT_BEFORE(other, listener, link);
1614 }
Avi Kivity0d673e32012-10-02 15:28:50 +02001615
1616 QTAILQ_FOREACH(as, &address_spaces, address_spaces_link) {
1617 listener_add_address_space(listener, as);
1618 }
Avi Kivity7664e802011-12-11 14:47:25 +02001619}
1620
1621void memory_listener_unregister(MemoryListener *listener)
1622{
Avi Kivity72e22d22012-02-08 15:05:50 +02001623 QTAILQ_REMOVE(&memory_listeners, listener, link);
Avi Kivity86e775c2011-12-15 16:24:49 +02001624}
Avi Kivitye2177952011-12-08 15:00:18 +02001625
Avi Kivity9ad2bbc2012-10-02 14:59:23 +02001626void address_space_init(AddressSpace *as, MemoryRegion *root)
Avi Kivity1c0ffa52011-07-26 14:26:04 +03001627{
Jan Kiszka59023ef2012-08-23 13:02:30 +02001628 memory_region_transaction_begin();
Avi Kivity8786db72012-10-02 13:53:41 +02001629 as->root = root;
1630 as->current_map = g_new(FlatView, 1);
1631 flatview_init(as->current_map);
Avi Kivity4c19eb72012-10-30 13:47:44 +02001632 as->ioeventfd_nb = 0;
1633 as->ioeventfds = NULL;
Avi Kivity0d673e32012-10-02 15:28:50 +02001634 QTAILQ_INSERT_TAIL(&address_spaces, as, address_spaces_link);
1635 as->name = NULL;
Avi Kivityac1970f2012-10-03 16:22:53 +02001636 address_space_init_dispatch(as);
Paolo Bonzinif43793c2013-04-16 15:39:51 +02001637 memory_region_update_pending |= root->enabled;
1638 memory_region_transaction_commit();
Avi Kivity1c0ffa52011-07-26 14:26:04 +03001639}
Avi Kivity658b2222011-07-26 14:26:08 +03001640
Avi Kivity83f3c252012-10-07 12:59:55 +02001641void address_space_destroy(AddressSpace *as)
1642{
1643 /* Flush out anything from MemoryListeners listening in on this */
1644 memory_region_transaction_begin();
1645 as->root = NULL;
1646 memory_region_transaction_commit();
1647 QTAILQ_REMOVE(&address_spaces, as, address_spaces_link);
1648 address_space_destroy_dispatch(as);
1649 flatview_destroy(as->current_map);
1650 g_free(as->current_map);
Avi Kivity4c19eb72012-10-30 13:47:44 +02001651 g_free(as->ioeventfds);
Avi Kivity83f3c252012-10-07 12:59:55 +02001652}
1653
Paolo Bonzini791af8c2013-05-24 16:10:39 +02001654bool io_mem_read(MemoryRegion *mr, hwaddr addr, uint64_t *pval, unsigned size)
Avi Kivityacbbec52011-11-21 12:27:03 +02001655{
Paolo Bonzini791af8c2013-05-24 16:10:39 +02001656 return memory_region_dispatch_read(mr, addr, pval, size);
Avi Kivityacbbec52011-11-21 12:27:03 +02001657}
1658
Paolo Bonzini791af8c2013-05-24 16:10:39 +02001659bool io_mem_write(MemoryRegion *mr, hwaddr addr,
Avi Kivityacbbec52011-11-21 12:27:03 +02001660 uint64_t val, unsigned size)
1661{
Paolo Bonzini791af8c2013-05-24 16:10:39 +02001662 return memory_region_dispatch_write(mr, addr, val, size);
Avi Kivityacbbec52011-11-21 12:27:03 +02001663}
1664
Blue Swirl314e2982011-09-11 20:22:05 +00001665typedef struct MemoryRegionList MemoryRegionList;
1666
1667struct MemoryRegionList {
1668 const MemoryRegion *mr;
1669 bool printed;
1670 QTAILQ_ENTRY(MemoryRegionList) queue;
1671};
1672
1673typedef QTAILQ_HEAD(queue, MemoryRegionList) MemoryRegionListHead;
1674
1675static void mtree_print_mr(fprintf_function mon_printf, void *f,
1676 const MemoryRegion *mr, unsigned int level,
Avi Kivitya8170e52012-10-23 12:30:10 +02001677 hwaddr base,
Jan Kiszka9479c572011-09-27 15:00:41 +02001678 MemoryRegionListHead *alias_print_queue)
Blue Swirl314e2982011-09-11 20:22:05 +00001679{
Jan Kiszka9479c572011-09-27 15:00:41 +02001680 MemoryRegionList *new_ml, *ml, *next_ml;
1681 MemoryRegionListHead submr_print_queue;
Blue Swirl314e2982011-09-11 20:22:05 +00001682 const MemoryRegion *submr;
1683 unsigned int i;
1684
Jan Kiszka7ea692b2012-10-31 10:49:02 +01001685 if (!mr || !mr->enabled) {
Blue Swirl314e2982011-09-11 20:22:05 +00001686 return;
1687 }
1688
1689 for (i = 0; i < level; i++) {
1690 mon_printf(f, " ");
1691 }
1692
1693 if (mr->alias) {
1694 MemoryRegionList *ml;
1695 bool found = false;
1696
1697 /* check if the alias is already in the queue */
Jan Kiszka9479c572011-09-27 15:00:41 +02001698 QTAILQ_FOREACH(ml, alias_print_queue, queue) {
Blue Swirl314e2982011-09-11 20:22:05 +00001699 if (ml->mr == mr->alias && !ml->printed) {
1700 found = true;
1701 }
1702 }
1703
1704 if (!found) {
1705 ml = g_new(MemoryRegionList, 1);
1706 ml->mr = mr->alias;
1707 ml->printed = false;
Jan Kiszka9479c572011-09-27 15:00:41 +02001708 QTAILQ_INSERT_TAIL(alias_print_queue, ml, queue);
Blue Swirl314e2982011-09-11 20:22:05 +00001709 }
Jan Kiszka4896d742012-02-04 16:25:42 +01001710 mon_printf(f, TARGET_FMT_plx "-" TARGET_FMT_plx
1711 " (prio %d, %c%c): alias %s @%s " TARGET_FMT_plx
1712 "-" TARGET_FMT_plx "\n",
Blue Swirl314e2982011-09-11 20:22:05 +00001713 base + mr->addr,
Avi Kivity08dafab2011-10-16 13:19:17 +02001714 base + mr->addr
Paolo Bonzini052e87b2013-05-27 10:08:27 +02001715 + (hwaddr)int128_get64(int128_sub(mr->size, int128_make64(1))),
Jan Kiszka4b474ba2011-09-27 15:00:31 +02001716 mr->priority,
Jan Kiszka5f9a5ea2013-05-07 19:04:25 +02001717 mr->romd_mode ? 'R' : '-',
1718 !mr->readonly && !(mr->rom_device && mr->romd_mode) ? 'W'
1719 : '-',
Blue Swirl314e2982011-09-11 20:22:05 +00001720 mr->name,
1721 mr->alias->name,
1722 mr->alias_offset,
Avi Kivity08dafab2011-10-16 13:19:17 +02001723 mr->alias_offset
Avi Kivitya8170e52012-10-23 12:30:10 +02001724 + (hwaddr)int128_get64(mr->size) - 1);
Blue Swirl314e2982011-09-11 20:22:05 +00001725 } else {
Jan Kiszka4896d742012-02-04 16:25:42 +01001726 mon_printf(f,
1727 TARGET_FMT_plx "-" TARGET_FMT_plx " (prio %d, %c%c): %s\n",
Blue Swirl314e2982011-09-11 20:22:05 +00001728 base + mr->addr,
Avi Kivity08dafab2011-10-16 13:19:17 +02001729 base + mr->addr
Paolo Bonzini052e87b2013-05-27 10:08:27 +02001730 + (hwaddr)int128_get64(int128_sub(mr->size, int128_make64(1))),
Jan Kiszka4b474ba2011-09-27 15:00:31 +02001731 mr->priority,
Jan Kiszka5f9a5ea2013-05-07 19:04:25 +02001732 mr->romd_mode ? 'R' : '-',
1733 !mr->readonly && !(mr->rom_device && mr->romd_mode) ? 'W'
1734 : '-',
Blue Swirl314e2982011-09-11 20:22:05 +00001735 mr->name);
1736 }
Jan Kiszka9479c572011-09-27 15:00:41 +02001737
1738 QTAILQ_INIT(&submr_print_queue);
1739
Blue Swirl314e2982011-09-11 20:22:05 +00001740 QTAILQ_FOREACH(submr, &mr->subregions, subregions_link) {
Jan Kiszka9479c572011-09-27 15:00:41 +02001741 new_ml = g_new(MemoryRegionList, 1);
1742 new_ml->mr = submr;
1743 QTAILQ_FOREACH(ml, &submr_print_queue, queue) {
1744 if (new_ml->mr->addr < ml->mr->addr ||
1745 (new_ml->mr->addr == ml->mr->addr &&
1746 new_ml->mr->priority > ml->mr->priority)) {
1747 QTAILQ_INSERT_BEFORE(ml, new_ml, queue);
1748 new_ml = NULL;
1749 break;
1750 }
1751 }
1752 if (new_ml) {
1753 QTAILQ_INSERT_TAIL(&submr_print_queue, new_ml, queue);
1754 }
1755 }
1756
1757 QTAILQ_FOREACH(ml, &submr_print_queue, queue) {
1758 mtree_print_mr(mon_printf, f, ml->mr, level + 1, base + mr->addr,
1759 alias_print_queue);
1760 }
1761
Avi Kivity88365e42011-11-13 12:00:55 +02001762 QTAILQ_FOREACH_SAFE(ml, &submr_print_queue, queue, next_ml) {
Jan Kiszka9479c572011-09-27 15:00:41 +02001763 g_free(ml);
Blue Swirl314e2982011-09-11 20:22:05 +00001764 }
1765}
1766
1767void mtree_info(fprintf_function mon_printf, void *f)
1768{
1769 MemoryRegionListHead ml_head;
1770 MemoryRegionList *ml, *ml2;
Avi Kivity0d673e32012-10-02 15:28:50 +02001771 AddressSpace *as;
Blue Swirl314e2982011-09-11 20:22:05 +00001772
1773 QTAILQ_INIT(&ml_head);
1774
Avi Kivity0d673e32012-10-02 15:28:50 +02001775 QTAILQ_FOREACH(as, &address_spaces, address_spaces_link) {
1776 if (!as->name) {
1777 continue;
1778 }
1779 mon_printf(f, "%s\n", as->name);
1780 mtree_print_mr(mon_printf, f, as->root, 0, 0, &ml_head);
Blue Swirlb9f9be82012-03-10 16:58:35 +00001781 }
1782
1783 mon_printf(f, "aliases\n");
Blue Swirl314e2982011-09-11 20:22:05 +00001784 /* print aliased regions */
1785 QTAILQ_FOREACH(ml, &ml_head, queue) {
1786 if (!ml->printed) {
1787 mon_printf(f, "%s\n", ml->mr->name);
1788 mtree_print_mr(mon_printf, f, ml->mr, 0, 0, &ml_head);
1789 }
1790 }
1791
1792 QTAILQ_FOREACH_SAFE(ml, &ml_head, queue, ml2) {
Avi Kivity88365e42011-11-13 12:00:55 +02001793 g_free(ml);
Blue Swirl314e2982011-09-11 20:22:05 +00001794 }
Blue Swirl314e2982011-09-11 20:22:05 +00001795}