blob: 714ec43ec001c8514e43501e403714633f351bd1 [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
16#include "memory.h"
Avi Kivity1c0ffa52011-07-26 14:26:04 +030017#include "exec-memory.h"
Avi Kivity658b2222011-07-26 14:26:08 +030018#include "ioport.h"
Avi Kivity74901c32011-07-26 14:26:10 +030019#include "bitops.h"
Avi Kivity3e9d69e2011-07-26 14:26:11 +030020#include "kvm.h"
Avi Kivity093bc2c2011-07-26 14:26:01 +030021#include <assert.h>
22
Avi Kivity7762c2c2012-09-20 16:02:51 +030023#include "memory-internal.h"
Avi Kivity67d95c12011-12-15 15:25:22 +020024
Avi Kivity4ef4db82011-07-26 14:26:13 +030025unsigned memory_region_transaction_depth = 0;
Avi Kivity7664e802011-12-11 14:47:25 +020026static bool global_dirty_log = false;
27
Avi Kivity72e22d22012-02-08 15:05:50 +020028static QTAILQ_HEAD(memory_listeners, MemoryListener) memory_listeners
29 = QTAILQ_HEAD_INITIALIZER(memory_listeners);
Avi Kivity4ef4db82011-07-26 14:26:13 +030030
Avi Kivity0d673e32012-10-02 15:28:50 +020031static QTAILQ_HEAD(, AddressSpace) address_spaces
32 = QTAILQ_HEAD_INITIALIZER(address_spaces);
33
Avi Kivity093bc2c2011-07-26 14:26:01 +030034typedef struct AddrRange AddrRange;
35
Avi Kivity8417ceb2011-08-03 11:56:14 +030036/*
37 * Note using signed integers limits us to physical addresses at most
38 * 63 bits wide. They are needed for negative offsetting in aliases
39 * (large MemoryRegion::alias_offset).
40 */
Avi Kivity093bc2c2011-07-26 14:26:01 +030041struct AddrRange {
Avi Kivity08dafab2011-10-16 13:19:17 +020042 Int128 start;
43 Int128 size;
Avi Kivity093bc2c2011-07-26 14:26:01 +030044};
45
Avi Kivity08dafab2011-10-16 13:19:17 +020046static AddrRange addrrange_make(Int128 start, Int128 size)
Avi Kivity093bc2c2011-07-26 14:26:01 +030047{
48 return (AddrRange) { start, size };
49}
50
51static bool addrrange_equal(AddrRange r1, AddrRange r2)
52{
Avi Kivity08dafab2011-10-16 13:19:17 +020053 return int128_eq(r1.start, r2.start) && int128_eq(r1.size, r2.size);
Avi Kivity093bc2c2011-07-26 14:26:01 +030054}
55
Avi Kivity08dafab2011-10-16 13:19:17 +020056static Int128 addrrange_end(AddrRange r)
Avi Kivity093bc2c2011-07-26 14:26:01 +030057{
Avi Kivity08dafab2011-10-16 13:19:17 +020058 return int128_add(r.start, r.size);
Avi Kivity093bc2c2011-07-26 14:26:01 +030059}
60
Avi Kivity08dafab2011-10-16 13:19:17 +020061static AddrRange addrrange_shift(AddrRange range, Int128 delta)
Avi Kivity093bc2c2011-07-26 14:26:01 +030062{
Avi Kivity08dafab2011-10-16 13:19:17 +020063 int128_addto(&range.start, delta);
Avi Kivity093bc2c2011-07-26 14:26:01 +030064 return range;
65}
66
Avi Kivity08dafab2011-10-16 13:19:17 +020067static bool addrrange_contains(AddrRange range, Int128 addr)
68{
69 return int128_ge(addr, range.start)
70 && int128_lt(addr, addrrange_end(range));
71}
72
Avi Kivity093bc2c2011-07-26 14:26:01 +030073static bool addrrange_intersects(AddrRange r1, AddrRange r2)
74{
Avi Kivity08dafab2011-10-16 13:19:17 +020075 return addrrange_contains(r1, r2.start)
76 || addrrange_contains(r2, r1.start);
Avi Kivity093bc2c2011-07-26 14:26:01 +030077}
78
79static AddrRange addrrange_intersection(AddrRange r1, AddrRange r2)
80{
Avi Kivity08dafab2011-10-16 13:19:17 +020081 Int128 start = int128_max(r1.start, r2.start);
82 Int128 end = int128_min(addrrange_end(r1), addrrange_end(r2));
83 return addrrange_make(start, int128_sub(end, start));
Avi Kivity093bc2c2011-07-26 14:26:01 +030084}
85
Avi Kivity0e0d36b2012-02-08 16:39:45 +020086enum ListenerDirection { Forward, Reverse };
87
Avi Kivity7376e582012-02-08 21:05:17 +020088static bool memory_listener_match(MemoryListener *listener,
89 MemoryRegionSection *section)
90{
91 return !listener->address_space_filter
92 || listener->address_space_filter == section->address_space;
93}
94
95#define MEMORY_LISTENER_CALL_GLOBAL(_callback, _direction, _args...) \
Avi Kivity0e0d36b2012-02-08 16:39:45 +020096 do { \
97 MemoryListener *_listener; \
98 \
99 switch (_direction) { \
100 case Forward: \
101 QTAILQ_FOREACH(_listener, &memory_listeners, link) { \
Avi Kivity975aefe2012-10-02 16:39:57 +0200102 if (_listener->_callback) { \
103 _listener->_callback(_listener, ##_args); \
104 } \
Avi Kivity0e0d36b2012-02-08 16:39:45 +0200105 } \
106 break; \
107 case Reverse: \
108 QTAILQ_FOREACH_REVERSE(_listener, &memory_listeners, \
109 memory_listeners, link) { \
Avi Kivity975aefe2012-10-02 16:39:57 +0200110 if (_listener->_callback) { \
111 _listener->_callback(_listener, ##_args); \
112 } \
Avi Kivity0e0d36b2012-02-08 16:39:45 +0200113 } \
114 break; \
115 default: \
116 abort(); \
117 } \
118 } while (0)
119
Avi Kivity7376e582012-02-08 21:05:17 +0200120#define MEMORY_LISTENER_CALL(_callback, _direction, _section, _args...) \
121 do { \
122 MemoryListener *_listener; \
123 \
124 switch (_direction) { \
125 case Forward: \
126 QTAILQ_FOREACH(_listener, &memory_listeners, link) { \
Avi Kivity975aefe2012-10-02 16:39:57 +0200127 if (_listener->_callback \
128 && memory_listener_match(_listener, _section)) { \
Avi Kivity7376e582012-02-08 21:05:17 +0200129 _listener->_callback(_listener, _section, ##_args); \
130 } \
131 } \
132 break; \
133 case Reverse: \
134 QTAILQ_FOREACH_REVERSE(_listener, &memory_listeners, \
135 memory_listeners, link) { \
Avi Kivity975aefe2012-10-02 16:39:57 +0200136 if (_listener->_callback \
137 && memory_listener_match(_listener, _section)) { \
Avi Kivity7376e582012-02-08 21:05:17 +0200138 _listener->_callback(_listener, _section, ##_args); \
139 } \
140 } \
141 break; \
142 default: \
143 abort(); \
144 } \
145 } while (0)
146
Avi Kivity0e0d36b2012-02-08 16:39:45 +0200147#define MEMORY_LISTENER_UPDATE_REGION(fr, as, dir, callback) \
Avi Kivity7376e582012-02-08 21:05:17 +0200148 MEMORY_LISTENER_CALL(callback, dir, (&(MemoryRegionSection) { \
Avi Kivity0e0d36b2012-02-08 16:39:45 +0200149 .mr = (fr)->mr, \
Avi Kivityf6790af2012-10-02 20:13:51 +0200150 .address_space = (as), \
Avi Kivity0e0d36b2012-02-08 16:39:45 +0200151 .offset_within_region = (fr)->offset_in_region, \
152 .size = int128_get64((fr)->addr.size), \
153 .offset_within_address_space = int128_get64((fr)->addr.start), \
Avi Kivity7a8499e2012-02-08 17:01:23 +0200154 .readonly = (fr)->readonly, \
Avi Kivity7376e582012-02-08 21:05:17 +0200155 }))
Avi Kivity0e0d36b2012-02-08 16:39:45 +0200156
Avi Kivity093bc2c2011-07-26 14:26:01 +0300157struct CoalescedMemoryRange {
158 AddrRange addr;
159 QTAILQ_ENTRY(CoalescedMemoryRange) link;
160};
161
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300162struct MemoryRegionIoeventfd {
163 AddrRange addr;
164 bool match_data;
165 uint64_t data;
Paolo Bonzini753d5e12012-07-05 17:16:27 +0200166 EventNotifier *e;
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300167};
168
169static bool memory_region_ioeventfd_before(MemoryRegionIoeventfd a,
170 MemoryRegionIoeventfd b)
171{
Avi Kivity08dafab2011-10-16 13:19:17 +0200172 if (int128_lt(a.addr.start, b.addr.start)) {
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300173 return true;
Avi Kivity08dafab2011-10-16 13:19:17 +0200174 } else if (int128_gt(a.addr.start, b.addr.start)) {
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300175 return false;
Avi Kivity08dafab2011-10-16 13:19:17 +0200176 } else if (int128_lt(a.addr.size, b.addr.size)) {
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300177 return true;
Avi Kivity08dafab2011-10-16 13:19:17 +0200178 } else if (int128_gt(a.addr.size, b.addr.size)) {
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300179 return false;
180 } else if (a.match_data < b.match_data) {
181 return true;
182 } else if (a.match_data > b.match_data) {
183 return false;
184 } else if (a.match_data) {
185 if (a.data < b.data) {
186 return true;
187 } else if (a.data > b.data) {
188 return false;
189 }
190 }
Paolo Bonzini753d5e12012-07-05 17:16:27 +0200191 if (a.e < b.e) {
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300192 return true;
Paolo Bonzini753d5e12012-07-05 17:16:27 +0200193 } else if (a.e > b.e) {
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300194 return false;
195 }
196 return false;
197}
198
199static bool memory_region_ioeventfd_equal(MemoryRegionIoeventfd a,
200 MemoryRegionIoeventfd b)
201{
202 return !memory_region_ioeventfd_before(a, b)
203 && !memory_region_ioeventfd_before(b, a);
204}
205
Avi Kivity093bc2c2011-07-26 14:26:01 +0300206typedef struct FlatRange FlatRange;
207typedef struct FlatView FlatView;
208
209/* Range of memory in the global map. Addresses are absolute. */
210struct FlatRange {
211 MemoryRegion *mr;
212 target_phys_addr_t offset_in_region;
213 AddrRange addr;
Avi Kivity5a583342011-07-26 14:26:02 +0300214 uint8_t dirty_log_mask;
Avi Kivityd0a9b5b2011-08-08 19:58:49 +0300215 bool readable;
Avi Kivityfb1cd6f2011-09-25 14:48:47 +0300216 bool readonly;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300217};
218
219/* Flattened global view of current active memory hierarchy. Kept in sorted
220 * order.
221 */
222struct FlatView {
223 FlatRange *ranges;
224 unsigned nr;
225 unsigned nr_allocated;
226};
227
Avi Kivitycc31e6e2011-07-26 14:26:05 +0300228typedef struct AddressSpaceOps AddressSpaceOps;
229
Avi Kivity093bc2c2011-07-26 14:26:01 +0300230#define FOR_EACH_FLAT_RANGE(var, view) \
231 for (var = (view)->ranges; var < (view)->ranges + (view)->nr; ++var)
232
Avi Kivity093bc2c2011-07-26 14:26:01 +0300233static bool flatrange_equal(FlatRange *a, FlatRange *b)
234{
235 return a->mr == b->mr
236 && addrrange_equal(a->addr, b->addr)
Avi Kivityd0a9b5b2011-08-08 19:58:49 +0300237 && a->offset_in_region == b->offset_in_region
Avi Kivityfb1cd6f2011-09-25 14:48:47 +0300238 && a->readable == b->readable
239 && a->readonly == b->readonly;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300240}
241
242static void flatview_init(FlatView *view)
243{
244 view->ranges = NULL;
245 view->nr = 0;
246 view->nr_allocated = 0;
247}
248
249/* Insert a range into a given position. Caller is responsible for maintaining
250 * sorting order.
251 */
252static void flatview_insert(FlatView *view, unsigned pos, FlatRange *range)
253{
254 if (view->nr == view->nr_allocated) {
255 view->nr_allocated = MAX(2 * view->nr, 10);
Anthony Liguori7267c092011-08-20 22:09:37 -0500256 view->ranges = g_realloc(view->ranges,
Avi Kivity093bc2c2011-07-26 14:26:01 +0300257 view->nr_allocated * sizeof(*view->ranges));
258 }
259 memmove(view->ranges + pos + 1, view->ranges + pos,
260 (view->nr - pos) * sizeof(FlatRange));
261 view->ranges[pos] = *range;
262 ++view->nr;
263}
264
265static void flatview_destroy(FlatView *view)
266{
Anthony Liguori7267c092011-08-20 22:09:37 -0500267 g_free(view->ranges);
Avi Kivity093bc2c2011-07-26 14:26:01 +0300268}
269
Avi Kivity3d8e6bf2011-07-26 14:26:03 +0300270static bool can_merge(FlatRange *r1, FlatRange *r2)
271{
Avi Kivity08dafab2011-10-16 13:19:17 +0200272 return int128_eq(addrrange_end(r1->addr), r2->addr.start)
Avi Kivity3d8e6bf2011-07-26 14:26:03 +0300273 && r1->mr == r2->mr
Avi Kivity08dafab2011-10-16 13:19:17 +0200274 && int128_eq(int128_add(int128_make64(r1->offset_in_region),
275 r1->addr.size),
276 int128_make64(r2->offset_in_region))
Avi Kivityd0a9b5b2011-08-08 19:58:49 +0300277 && r1->dirty_log_mask == r2->dirty_log_mask
Avi Kivityfb1cd6f2011-09-25 14:48:47 +0300278 && r1->readable == r2->readable
279 && r1->readonly == r2->readonly;
Avi Kivity3d8e6bf2011-07-26 14:26:03 +0300280}
281
282/* Attempt to simplify a view by merging ajacent ranges */
283static void flatview_simplify(FlatView *view)
284{
285 unsigned i, j;
286
287 i = 0;
288 while (i < view->nr) {
289 j = i + 1;
290 while (j < view->nr
291 && can_merge(&view->ranges[j-1], &view->ranges[j])) {
Avi Kivity08dafab2011-10-16 13:19:17 +0200292 int128_addto(&view->ranges[i].addr.size, view->ranges[j].addr.size);
Avi Kivity3d8e6bf2011-07-26 14:26:03 +0300293 ++j;
294 }
295 ++i;
296 memmove(&view->ranges[i], &view->ranges[j],
297 (view->nr - j) * sizeof(view->ranges[j]));
298 view->nr -= j - i;
299 }
300}
301
Avi Kivity164a4dc2011-08-11 10:40:25 +0300302static void memory_region_read_accessor(void *opaque,
303 target_phys_addr_t addr,
304 uint64_t *value,
305 unsigned size,
306 unsigned shift,
307 uint64_t mask)
308{
309 MemoryRegion *mr = opaque;
310 uint64_t tmp;
311
Jan Kiszkad4105152012-08-23 13:02:29 +0200312 if (mr->flush_coalesced_mmio) {
313 qemu_flush_coalesced_mmio_buffer();
314 }
Avi Kivity164a4dc2011-08-11 10:40:25 +0300315 tmp = mr->ops->read(mr->opaque, addr, size);
316 *value |= (tmp & mask) << shift;
317}
318
319static void memory_region_write_accessor(void *opaque,
320 target_phys_addr_t addr,
321 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 = (*value >> shift) & mask;
333 mr->ops->write(mr->opaque, addr, tmp, size);
334}
335
336static void access_with_adjusted_size(target_phys_addr_t addr,
337 uint64_t *value,
338 unsigned size,
339 unsigned access_size_min,
340 unsigned access_size_max,
341 void (*access)(void *opaque,
342 target_phys_addr_t addr,
343 uint64_t *value,
344 unsigned size,
345 unsigned shift,
346 uint64_t mask),
347 void *opaque)
348{
349 uint64_t access_mask;
350 unsigned access_size;
351 unsigned i;
352
353 if (!access_size_min) {
354 access_size_min = 1;
355 }
356 if (!access_size_max) {
357 access_size_max = 4;
358 }
359 access_size = MAX(MIN(size, access_size_max), access_size_min);
360 access_mask = -1ULL >> (64 - access_size * 8);
361 for (i = 0; i < size; i += access_size) {
362 /* FIXME: big-endian support */
363 access(opaque, addr + i, value, access_size, i * 8, access_mask);
364 }
365}
366
Avi Kivity627a0e92011-07-26 14:26:09 +0300367static const MemoryRegionPortio *find_portio(MemoryRegion *mr, uint64_t offset,
368 unsigned width, bool write)
369{
370 const MemoryRegionPortio *mrp;
371
372 for (mrp = mr->ops->old_portio; mrp->size; ++mrp) {
373 if (offset >= mrp->offset && offset < mrp->offset + mrp->len
374 && width == mrp->size
375 && (write ? (bool)mrp->write : (bool)mrp->read)) {
376 return mrp;
377 }
378 }
379 return NULL;
380}
381
Avi Kivity658b2222011-07-26 14:26:08 +0300382static void memory_region_iorange_read(IORange *iorange,
383 uint64_t offset,
384 unsigned width,
385 uint64_t *data)
386{
Avi Kivitya2d33522012-03-05 17:40:12 +0200387 MemoryRegionIORange *mrio
388 = container_of(iorange, MemoryRegionIORange, iorange);
389 MemoryRegion *mr = mrio->mr;
Avi Kivity658b2222011-07-26 14:26:08 +0300390
Avi Kivitya2d33522012-03-05 17:40:12 +0200391 offset += mrio->offset;
Avi Kivity627a0e92011-07-26 14:26:09 +0300392 if (mr->ops->old_portio) {
Avi Kivitya2d33522012-03-05 17:40:12 +0200393 const MemoryRegionPortio *mrp = find_portio(mr, offset - mrio->offset,
394 width, false);
Avi Kivity627a0e92011-07-26 14:26:09 +0300395
396 *data = ((uint64_t)1 << (width * 8)) - 1;
397 if (mrp) {
Avi Kivity2b50aa12012-01-08 19:51:35 +0200398 *data = mrp->read(mr->opaque, offset);
Jan Kiszka03808f52011-09-18 14:51:58 +0200399 } else if (width == 2) {
Avi Kivitya2d33522012-03-05 17:40:12 +0200400 mrp = find_portio(mr, offset - mrio->offset, 1, false);
Jan Kiszka03808f52011-09-18 14:51:58 +0200401 assert(mrp);
Avi Kivity2b50aa12012-01-08 19:51:35 +0200402 *data = mrp->read(mr->opaque, offset) |
403 (mrp->read(mr->opaque, offset + 1) << 8);
Avi Kivity627a0e92011-07-26 14:26:09 +0300404 }
405 return;
406 }
Avi Kivity3a130f42011-08-11 10:40:26 +0300407 *data = 0;
Avi Kivity2b50aa12012-01-08 19:51:35 +0200408 access_with_adjusted_size(offset, data, width,
Avi Kivity3a130f42011-08-11 10:40:26 +0300409 mr->ops->impl.min_access_size,
410 mr->ops->impl.max_access_size,
411 memory_region_read_accessor, mr);
Avi Kivity658b2222011-07-26 14:26:08 +0300412}
413
414static void memory_region_iorange_write(IORange *iorange,
415 uint64_t offset,
416 unsigned width,
417 uint64_t data)
418{
Avi Kivitya2d33522012-03-05 17:40:12 +0200419 MemoryRegionIORange *mrio
420 = container_of(iorange, MemoryRegionIORange, iorange);
421 MemoryRegion *mr = mrio->mr;
Avi Kivity658b2222011-07-26 14:26:08 +0300422
Avi Kivitya2d33522012-03-05 17:40:12 +0200423 offset += mrio->offset;
Avi Kivity627a0e92011-07-26 14:26:09 +0300424 if (mr->ops->old_portio) {
Avi Kivitya2d33522012-03-05 17:40:12 +0200425 const MemoryRegionPortio *mrp = find_portio(mr, offset - mrio->offset,
426 width, true);
Avi Kivity627a0e92011-07-26 14:26:09 +0300427
428 if (mrp) {
Avi Kivity2b50aa12012-01-08 19:51:35 +0200429 mrp->write(mr->opaque, offset, data);
Jan Kiszka03808f52011-09-18 14:51:58 +0200430 } else if (width == 2) {
Jan Kiszka7e2a62d2012-08-26 10:12:47 +0200431 mrp = find_portio(mr, offset - mrio->offset, 1, true);
Jan Kiszka03808f52011-09-18 14:51:58 +0200432 assert(mrp);
Avi Kivity2b50aa12012-01-08 19:51:35 +0200433 mrp->write(mr->opaque, offset, data & 0xff);
434 mrp->write(mr->opaque, offset + 1, data >> 8);
Avi Kivity627a0e92011-07-26 14:26:09 +0300435 }
436 return;
437 }
Avi Kivity2b50aa12012-01-08 19:51:35 +0200438 access_with_adjusted_size(offset, &data, width,
Avi Kivity3a130f42011-08-11 10:40:26 +0300439 mr->ops->impl.min_access_size,
440 mr->ops->impl.max_access_size,
441 memory_region_write_accessor, mr);
Avi Kivity658b2222011-07-26 14:26:08 +0300442}
443
Avi Kivitya2d33522012-03-05 17:40:12 +0200444static void memory_region_iorange_destructor(IORange *iorange)
445{
446 g_free(container_of(iorange, MemoryRegionIORange, iorange));
447}
448
Avi Kivity93632742012-02-08 16:54:16 +0200449const IORangeOps memory_region_iorange_ops = {
Avi Kivity658b2222011-07-26 14:26:08 +0300450 .read = memory_region_iorange_read,
451 .write = memory_region_iorange_write,
Avi Kivitya2d33522012-03-05 17:40:12 +0200452 .destructor = memory_region_iorange_destructor,
Avi Kivity658b2222011-07-26 14:26:08 +0300453};
454
Avi Kivitye2177952011-12-08 15:00:18 +0200455static AddressSpace *memory_region_to_address_space(MemoryRegion *mr)
456{
Avi Kivity0d673e32012-10-02 15:28:50 +0200457 AddressSpace *as;
458
Avi Kivitye2177952011-12-08 15:00:18 +0200459 while (mr->parent) {
460 mr = mr->parent;
461 }
Avi Kivity0d673e32012-10-02 15:28:50 +0200462 QTAILQ_FOREACH(as, &address_spaces, address_spaces_link) {
463 if (mr == as->root) {
464 return as;
465 }
Avi Kivitye2177952011-12-08 15:00:18 +0200466 }
467 abort();
468}
469
Avi Kivity093bc2c2011-07-26 14:26:01 +0300470/* Render a memory region into the global view. Ranges in @view obscure
471 * ranges in @mr.
472 */
473static void render_memory_region(FlatView *view,
474 MemoryRegion *mr,
Avi Kivity08dafab2011-10-16 13:19:17 +0200475 Int128 base,
Avi Kivityfb1cd6f2011-09-25 14:48:47 +0300476 AddrRange clip,
477 bool readonly)
Avi Kivity093bc2c2011-07-26 14:26:01 +0300478{
479 MemoryRegion *subregion;
480 unsigned i;
481 target_phys_addr_t offset_in_region;
Avi Kivity08dafab2011-10-16 13:19:17 +0200482 Int128 remain;
483 Int128 now;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300484 FlatRange fr;
485 AddrRange tmp;
486
Avi Kivity6bba19b2011-09-14 11:54:58 +0300487 if (!mr->enabled) {
488 return;
489 }
490
Avi Kivity08dafab2011-10-16 13:19:17 +0200491 int128_addto(&base, int128_make64(mr->addr));
Avi Kivityfb1cd6f2011-09-25 14:48:47 +0300492 readonly |= mr->readonly;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300493
494 tmp = addrrange_make(base, mr->size);
495
496 if (!addrrange_intersects(tmp, clip)) {
497 return;
498 }
499
500 clip = addrrange_intersection(tmp, clip);
501
502 if (mr->alias) {
Avi Kivity08dafab2011-10-16 13:19:17 +0200503 int128_subfrom(&base, int128_make64(mr->alias->addr));
504 int128_subfrom(&base, int128_make64(mr->alias_offset));
Avi Kivityfb1cd6f2011-09-25 14:48:47 +0300505 render_memory_region(view, mr->alias, base, clip, readonly);
Avi Kivity093bc2c2011-07-26 14:26:01 +0300506 return;
507 }
508
509 /* Render subregions in priority order. */
510 QTAILQ_FOREACH(subregion, &mr->subregions, subregions_link) {
Avi Kivityfb1cd6f2011-09-25 14:48:47 +0300511 render_memory_region(view, subregion, base, clip, readonly);
Avi Kivity093bc2c2011-07-26 14:26:01 +0300512 }
513
Avi Kivity14a3c102011-07-26 14:26:06 +0300514 if (!mr->terminates) {
Avi Kivity093bc2c2011-07-26 14:26:01 +0300515 return;
516 }
517
Avi Kivity08dafab2011-10-16 13:19:17 +0200518 offset_in_region = int128_get64(int128_sub(clip.start, base));
Avi Kivity093bc2c2011-07-26 14:26:01 +0300519 base = clip.start;
520 remain = clip.size;
521
522 /* Render the region itself into any gaps left by the current view. */
Avi Kivity08dafab2011-10-16 13:19:17 +0200523 for (i = 0; i < view->nr && int128_nz(remain); ++i) {
524 if (int128_ge(base, addrrange_end(view->ranges[i].addr))) {
Avi Kivity093bc2c2011-07-26 14:26:01 +0300525 continue;
526 }
Avi Kivity08dafab2011-10-16 13:19:17 +0200527 if (int128_lt(base, view->ranges[i].addr.start)) {
528 now = int128_min(remain,
529 int128_sub(view->ranges[i].addr.start, base));
Avi Kivity093bc2c2011-07-26 14:26:01 +0300530 fr.mr = mr;
531 fr.offset_in_region = offset_in_region;
532 fr.addr = addrrange_make(base, now);
Avi Kivity5a583342011-07-26 14:26:02 +0300533 fr.dirty_log_mask = mr->dirty_log_mask;
Avi Kivityd0a9b5b2011-08-08 19:58:49 +0300534 fr.readable = mr->readable;
Avi Kivityfb1cd6f2011-09-25 14:48:47 +0300535 fr.readonly = readonly;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300536 flatview_insert(view, i, &fr);
537 ++i;
Avi Kivity08dafab2011-10-16 13:19:17 +0200538 int128_addto(&base, now);
539 offset_in_region += int128_get64(now);
540 int128_subfrom(&remain, now);
Avi Kivity093bc2c2011-07-26 14:26:01 +0300541 }
Avi Kivity08dafab2011-10-16 13:19:17 +0200542 if (int128_eq(base, view->ranges[i].addr.start)) {
543 now = int128_min(remain, view->ranges[i].addr.size);
544 int128_addto(&base, now);
545 offset_in_region += int128_get64(now);
546 int128_subfrom(&remain, now);
Avi Kivity093bc2c2011-07-26 14:26:01 +0300547 }
548 }
Avi Kivity08dafab2011-10-16 13:19:17 +0200549 if (int128_nz(remain)) {
Avi Kivity093bc2c2011-07-26 14:26:01 +0300550 fr.mr = mr;
551 fr.offset_in_region = offset_in_region;
552 fr.addr = addrrange_make(base, remain);
Avi Kivity5a583342011-07-26 14:26:02 +0300553 fr.dirty_log_mask = mr->dirty_log_mask;
Avi Kivityd0a9b5b2011-08-08 19:58:49 +0300554 fr.readable = mr->readable;
Avi Kivityfb1cd6f2011-09-25 14:48:47 +0300555 fr.readonly = readonly;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300556 flatview_insert(view, i, &fr);
557 }
558}
559
560/* Render a memory topology into a list of disjoint absolute ranges. */
561static FlatView generate_memory_topology(MemoryRegion *mr)
562{
563 FlatView view;
564
565 flatview_init(&view);
566
Avi Kivity83f3c252012-10-07 12:59:55 +0200567 if (mr) {
568 render_memory_region(&view, mr, int128_zero(),
569 addrrange_make(int128_zero(), int128_2_64()), false);
570 }
Avi Kivity3d8e6bf2011-07-26 14:26:03 +0300571 flatview_simplify(&view);
Avi Kivity093bc2c2011-07-26 14:26:01 +0300572
573 return view;
574}
575
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300576static void address_space_add_del_ioeventfds(AddressSpace *as,
577 MemoryRegionIoeventfd *fds_new,
578 unsigned fds_new_nb,
579 MemoryRegionIoeventfd *fds_old,
580 unsigned fds_old_nb)
581{
582 unsigned iold, inew;
Avi Kivity80a1ea32012-02-08 16:39:06 +0200583 MemoryRegionIoeventfd *fd;
584 MemoryRegionSection section;
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300585
586 /* Generate a symmetric difference of the old and new fd sets, adding
587 * and deleting as necessary.
588 */
589
590 iold = inew = 0;
591 while (iold < fds_old_nb || inew < fds_new_nb) {
592 if (iold < fds_old_nb
593 && (inew == fds_new_nb
594 || memory_region_ioeventfd_before(fds_old[iold],
595 fds_new[inew]))) {
Avi Kivity80a1ea32012-02-08 16:39:06 +0200596 fd = &fds_old[iold];
597 section = (MemoryRegionSection) {
Avi Kivityf6790af2012-10-02 20:13:51 +0200598 .address_space = as,
Avi Kivity80a1ea32012-02-08 16:39:06 +0200599 .offset_within_address_space = int128_get64(fd->addr.start),
600 .size = int128_get64(fd->addr.size),
601 };
602 MEMORY_LISTENER_CALL(eventfd_del, Forward, &section,
Paolo Bonzini753d5e12012-07-05 17:16:27 +0200603 fd->match_data, fd->data, fd->e);
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300604 ++iold;
605 } else if (inew < fds_new_nb
606 && (iold == fds_old_nb
607 || memory_region_ioeventfd_before(fds_new[inew],
608 fds_old[iold]))) {
Avi Kivity80a1ea32012-02-08 16:39:06 +0200609 fd = &fds_new[inew];
610 section = (MemoryRegionSection) {
Avi Kivityf6790af2012-10-02 20:13:51 +0200611 .address_space = as,
Avi Kivity80a1ea32012-02-08 16:39:06 +0200612 .offset_within_address_space = int128_get64(fd->addr.start),
613 .size = int128_get64(fd->addr.size),
614 };
615 MEMORY_LISTENER_CALL(eventfd_add, Reverse, &section,
Paolo Bonzini753d5e12012-07-05 17:16:27 +0200616 fd->match_data, fd->data, fd->e);
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300617 ++inew;
618 } else {
619 ++iold;
620 ++inew;
621 }
622 }
623}
624
625static void address_space_update_ioeventfds(AddressSpace *as)
626{
627 FlatRange *fr;
628 unsigned ioeventfd_nb = 0;
629 MemoryRegionIoeventfd *ioeventfds = NULL;
630 AddrRange tmp;
631 unsigned i;
632
Avi Kivity8786db72012-10-02 13:53:41 +0200633 FOR_EACH_FLAT_RANGE(fr, as->current_map) {
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300634 for (i = 0; i < fr->mr->ioeventfd_nb; ++i) {
635 tmp = addrrange_shift(fr->mr->ioeventfds[i].addr,
Avi Kivity08dafab2011-10-16 13:19:17 +0200636 int128_sub(fr->addr.start,
637 int128_make64(fr->offset_in_region)));
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300638 if (addrrange_intersects(fr->addr, tmp)) {
639 ++ioeventfd_nb;
Anthony Liguori7267c092011-08-20 22:09:37 -0500640 ioeventfds = g_realloc(ioeventfds,
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300641 ioeventfd_nb * sizeof(*ioeventfds));
642 ioeventfds[ioeventfd_nb-1] = fr->mr->ioeventfds[i];
643 ioeventfds[ioeventfd_nb-1].addr = tmp;
644 }
645 }
646 }
647
648 address_space_add_del_ioeventfds(as, ioeventfds, ioeventfd_nb,
649 as->ioeventfds, as->ioeventfd_nb);
650
Anthony Liguori7267c092011-08-20 22:09:37 -0500651 g_free(as->ioeventfds);
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300652 as->ioeventfds = ioeventfds;
653 as->ioeventfd_nb = ioeventfd_nb;
654}
655
Avi Kivityb8af1af2011-07-26 14:26:12 +0300656static void address_space_update_topology_pass(AddressSpace *as,
657 FlatView old_view,
658 FlatView new_view,
659 bool adding)
Avi Kivity093bc2c2011-07-26 14:26:01 +0300660{
Avi Kivity093bc2c2011-07-26 14:26:01 +0300661 unsigned iold, inew;
662 FlatRange *frold, *frnew;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300663
664 /* Generate a symmetric difference of the old and new memory maps.
665 * Kill ranges in the old map, and instantiate ranges in the new map.
666 */
667 iold = inew = 0;
668 while (iold < old_view.nr || inew < new_view.nr) {
669 if (iold < old_view.nr) {
670 frold = &old_view.ranges[iold];
671 } else {
672 frold = NULL;
673 }
674 if (inew < new_view.nr) {
675 frnew = &new_view.ranges[inew];
676 } else {
677 frnew = NULL;
678 }
679
680 if (frold
681 && (!frnew
Avi Kivity08dafab2011-10-16 13:19:17 +0200682 || int128_lt(frold->addr.start, frnew->addr.start)
683 || (int128_eq(frold->addr.start, frnew->addr.start)
Avi Kivity093bc2c2011-07-26 14:26:01 +0300684 && !flatrange_equal(frold, frnew)))) {
685 /* In old, but (not in new, or in new but attributes changed). */
686
Avi Kivityb8af1af2011-07-26 14:26:12 +0300687 if (!adding) {
Avi Kivity72e22d22012-02-08 15:05:50 +0200688 MEMORY_LISTENER_UPDATE_REGION(frold, as, Reverse, region_del);
Avi Kivityb8af1af2011-07-26 14:26:12 +0300689 }
690
Avi Kivity093bc2c2011-07-26 14:26:01 +0300691 ++iold;
692 } else if (frold && frnew && flatrange_equal(frold, frnew)) {
693 /* In both (logging may have changed) */
694
Avi Kivityb8af1af2011-07-26 14:26:12 +0300695 if (adding) {
Avi Kivity50c1e142012-02-08 21:36:02 +0200696 MEMORY_LISTENER_UPDATE_REGION(frnew, as, Forward, region_nop);
Avi Kivityb8af1af2011-07-26 14:26:12 +0300697 if (frold->dirty_log_mask && !frnew->dirty_log_mask) {
Avi Kivity72e22d22012-02-08 15:05:50 +0200698 MEMORY_LISTENER_UPDATE_REGION(frnew, as, Reverse, log_stop);
Avi Kivityb8af1af2011-07-26 14:26:12 +0300699 } else if (frnew->dirty_log_mask && !frold->dirty_log_mask) {
Avi Kivity72e22d22012-02-08 15:05:50 +0200700 MEMORY_LISTENER_UPDATE_REGION(frnew, as, Forward, log_start);
Avi Kivityb8af1af2011-07-26 14:26:12 +0300701 }
Avi Kivity5a583342011-07-26 14:26:02 +0300702 }
703
Avi Kivity093bc2c2011-07-26 14:26:01 +0300704 ++iold;
705 ++inew;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300706 } else {
707 /* In new */
708
Avi Kivityb8af1af2011-07-26 14:26:12 +0300709 if (adding) {
Avi Kivity72e22d22012-02-08 15:05:50 +0200710 MEMORY_LISTENER_UPDATE_REGION(frnew, as, Forward, region_add);
Avi Kivityb8af1af2011-07-26 14:26:12 +0300711 }
712
Avi Kivity093bc2c2011-07-26 14:26:01 +0300713 ++inew;
714 }
715 }
Avi Kivityb8af1af2011-07-26 14:26:12 +0300716}
717
718
719static void address_space_update_topology(AddressSpace *as)
720{
Avi Kivity8786db72012-10-02 13:53:41 +0200721 FlatView old_view = *as->current_map;
Avi Kivityb8af1af2011-07-26 14:26:12 +0300722 FlatView new_view = generate_memory_topology(as->root);
723
724 address_space_update_topology_pass(as, old_view, new_view, false);
725 address_space_update_topology_pass(as, old_view, new_view, true);
726
Avi Kivity8786db72012-10-02 13:53:41 +0200727 *as->current_map = new_view;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300728 flatview_destroy(&old_view);
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300729 address_space_update_ioeventfds(as);
Avi Kivity093bc2c2011-07-26 14:26:01 +0300730}
731
Avi Kivity4ef4db82011-07-26 14:26:13 +0300732void memory_region_transaction_begin(void)
733{
Jan Kiszkabb880de2012-08-23 13:02:32 +0200734 qemu_flush_coalesced_mmio_buffer();
Avi Kivity4ef4db82011-07-26 14:26:13 +0300735 ++memory_region_transaction_depth;
736}
737
738void memory_region_transaction_commit(void)
739{
Avi Kivity0d673e32012-10-02 15:28:50 +0200740 AddressSpace *as;
741
Avi Kivity4ef4db82011-07-26 14:26:13 +0300742 assert(memory_region_transaction_depth);
743 --memory_region_transaction_depth;
Jan Kiszka02e2b952012-08-23 13:02:31 +0200744 if (!memory_region_transaction_depth) {
745 MEMORY_LISTENER_CALL_GLOBAL(begin, Forward);
746
Avi Kivity0d673e32012-10-02 15:28:50 +0200747 QTAILQ_FOREACH(as, &address_spaces, address_spaces_link) {
748 address_space_update_topology(as);
Jan Kiszka02e2b952012-08-23 13:02:31 +0200749 }
750
751 MEMORY_LISTENER_CALL_GLOBAL(commit, Forward);
Avi Kivitye87c0992011-09-14 12:16:20 +0300752 }
Avi Kivity4ef4db82011-07-26 14:26:13 +0300753}
754
Avi Kivity545e92e2011-08-08 19:58:48 +0300755static void memory_region_destructor_none(MemoryRegion *mr)
756{
757}
758
759static void memory_region_destructor_ram(MemoryRegion *mr)
760{
761 qemu_ram_free(mr->ram_addr);
762}
763
764static void memory_region_destructor_ram_from_ptr(MemoryRegion *mr)
765{
766 qemu_ram_free_from_ptr(mr->ram_addr);
767}
768
769static void memory_region_destructor_iomem(MemoryRegion *mr)
770{
Avi Kivity545e92e2011-08-08 19:58:48 +0300771}
772
Avi Kivityd0a9b5b2011-08-08 19:58:49 +0300773static void memory_region_destructor_rom_device(MemoryRegion *mr)
774{
775 qemu_ram_free(mr->ram_addr & TARGET_PAGE_MASK);
Avi Kivityd0a9b5b2011-08-08 19:58:49 +0300776}
777
Avi Kivitybe675c92011-11-20 16:22:55 +0200778static bool memory_region_wrong_endianness(MemoryRegion *mr)
779{
Andreas Färber2c3579a2012-01-07 09:45:14 +0100780#ifdef TARGET_WORDS_BIGENDIAN
Avi Kivitybe675c92011-11-20 16:22:55 +0200781 return mr->ops->endianness == DEVICE_LITTLE_ENDIAN;
782#else
783 return mr->ops->endianness == DEVICE_BIG_ENDIAN;
784#endif
785}
786
Avi Kivity093bc2c2011-07-26 14:26:01 +0300787void memory_region_init(MemoryRegion *mr,
788 const char *name,
789 uint64_t size)
790{
791 mr->ops = NULL;
792 mr->parent = NULL;
Avi Kivity08dafab2011-10-16 13:19:17 +0200793 mr->size = int128_make64(size);
794 if (size == UINT64_MAX) {
795 mr->size = int128_2_64();
796 }
Avi Kivity093bc2c2011-07-26 14:26:01 +0300797 mr->addr = 0;
Avi Kivityb3b00c72012-01-02 13:20:11 +0200798 mr->subpage = false;
Avi Kivity6bba19b2011-09-14 11:54:58 +0300799 mr->enabled = true;
Avi Kivity14a3c102011-07-26 14:26:06 +0300800 mr->terminates = false;
Avi Kivity8ea92522011-12-08 15:58:43 +0200801 mr->ram = false;
Avi Kivityd0a9b5b2011-08-08 19:58:49 +0300802 mr->readable = true;
Avi Kivityfb1cd6f2011-09-25 14:48:47 +0300803 mr->readonly = false;
Avi Kivity75c578d2012-01-02 15:40:52 +0200804 mr->rom_device = false;
Avi Kivity545e92e2011-08-08 19:58:48 +0300805 mr->destructor = memory_region_destructor_none;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300806 mr->priority = 0;
807 mr->may_overlap = false;
808 mr->alias = NULL;
809 QTAILQ_INIT(&mr->subregions);
810 memset(&mr->subregions_link, 0, sizeof mr->subregions_link);
811 QTAILQ_INIT(&mr->coalesced);
Anthony Liguori7267c092011-08-20 22:09:37 -0500812 mr->name = g_strdup(name);
Avi Kivity5a583342011-07-26 14:26:02 +0300813 mr->dirty_log_mask = 0;
Avi Kivity3e9d69e2011-07-26 14:26:11 +0300814 mr->ioeventfd_nb = 0;
815 mr->ioeventfds = NULL;
Jan Kiszkad4105152012-08-23 13:02:29 +0200816 mr->flush_coalesced_mmio = false;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300817}
818
819static bool memory_region_access_valid(MemoryRegion *mr,
820 target_phys_addr_t addr,
Avi Kivity897fa7c2011-11-13 13:05:27 +0200821 unsigned size,
822 bool is_write)
Avi Kivity093bc2c2011-07-26 14:26:01 +0300823{
Avi Kivity897fa7c2011-11-13 13:05:27 +0200824 if (mr->ops->valid.accepts
825 && !mr->ops->valid.accepts(mr->opaque, addr, size, is_write)) {
826 return false;
827 }
828
Avi Kivity093bc2c2011-07-26 14:26:01 +0300829 if (!mr->ops->valid.unaligned && (addr & (size - 1))) {
830 return false;
831 }
832
833 /* Treat zero as compatibility all valid */
834 if (!mr->ops->valid.max_access_size) {
835 return true;
836 }
837
838 if (size > mr->ops->valid.max_access_size
839 || size < mr->ops->valid.min_access_size) {
840 return false;
841 }
842 return true;
843}
844
Avi Kivitya621f382012-01-02 13:12:08 +0200845static uint64_t memory_region_dispatch_read1(MemoryRegion *mr,
846 target_phys_addr_t addr,
847 unsigned size)
Avi Kivity093bc2c2011-07-26 14:26:01 +0300848{
Avi Kivity164a4dc2011-08-11 10:40:25 +0300849 uint64_t data = 0;
Avi Kivity093bc2c2011-07-26 14:26:01 +0300850
Avi Kivity897fa7c2011-11-13 13:05:27 +0200851 if (!memory_region_access_valid(mr, addr, size, false)) {
Avi Kivity093bc2c2011-07-26 14:26:01 +0300852 return -1U; /* FIXME: better signalling */
853 }
854
Avi Kivity74901c32011-07-26 14:26:10 +0300855 if (!mr->ops->read) {
856 return mr->ops->old_mmio.read[bitops_ffsl(size)](mr->opaque, addr);
857 }
858
Avi Kivity093bc2c2011-07-26 14:26:01 +0300859 /* FIXME: support unaligned access */
Avi Kivity2b50aa12012-01-08 19:51:35 +0200860 access_with_adjusted_size(addr, &data, size,
Avi Kivity164a4dc2011-08-11 10:40:25 +0300861 mr->ops->impl.min_access_size,
862 mr->ops->impl.max_access_size,
863 memory_region_read_accessor, mr);
Avi Kivity093bc2c2011-07-26 14:26:01 +0300864
865 return data;
866}
867
Avi Kivitya621f382012-01-02 13:12:08 +0200868static void adjust_endianness(MemoryRegion *mr, uint64_t *data, unsigned size)
Avi Kivity093bc2c2011-07-26 14:26:01 +0300869{
Avi Kivitya621f382012-01-02 13:12:08 +0200870 if (memory_region_wrong_endianness(mr)) {
871 switch (size) {
872 case 1:
873 break;
874 case 2:
875 *data = bswap16(*data);
876 break;
877 case 4:
878 *data = bswap32(*data);
Andreas Färber1470a0c2012-01-07 09:45:15 +0100879 break;
Avi Kivitya621f382012-01-02 13:12:08 +0200880 default:
881 abort();
882 }
883 }
884}
Avi Kivity093bc2c2011-07-26 14:26:01 +0300885
Avi Kivitya621f382012-01-02 13:12:08 +0200886static uint64_t memory_region_dispatch_read(MemoryRegion *mr,
887 target_phys_addr_t addr,
888 unsigned size)
889{
890 uint64_t ret;
891
892 ret = memory_region_dispatch_read1(mr, addr, size);
893 adjust_endianness(mr, &ret, size);
894 return ret;
895}
896
897static void memory_region_dispatch_write(MemoryRegion *mr,
898 target_phys_addr_t addr,
899 uint64_t data,
900 unsigned size)
901{
Avi Kivity897fa7c2011-11-13 13:05:27 +0200902 if (!memory_region_access_valid(mr, addr, size, true)) {
Avi Kivity093bc2c2011-07-26 14:26:01 +0300903 return; /* FIXME: better signalling */
904 }
905
Avi Kivitya621f382012-01-02 13:12:08 +0200906 adjust_endianness(mr, &data, size);
907
Avi Kivity74901c32011-07-26 14:26:10 +0300908 if (!mr->ops->write) {
909 mr->ops->old_mmio.write[bitops_ffsl(size)](mr->opaque, addr, data);
910 return;
911 }
912
Avi Kivity093bc2c2011-07-26 14:26:01 +0300913 /* FIXME: support unaligned access */
Avi Kivity2b50aa12012-01-08 19:51:35 +0200914 access_with_adjusted_size(addr, &data, size,
Avi Kivity164a4dc2011-08-11 10:40:25 +0300915 mr->ops->impl.min_access_size,
916 mr->ops->impl.max_access_size,
917 memory_region_write_accessor, mr);
Avi Kivity093bc2c2011-07-26 14:26:01 +0300918}
919
Avi Kivity093bc2c2011-07-26 14:26:01 +0300920void memory_region_init_io(MemoryRegion *mr,
921 const MemoryRegionOps *ops,
922 void *opaque,
923 const char *name,
924 uint64_t size)
925{
926 memory_region_init(mr, name, size);
927 mr->ops = ops;
928 mr->opaque = opaque;
Avi Kivity14a3c102011-07-26 14:26:06 +0300929 mr->terminates = true;
Avi Kivity26a83ad2012-01-01 18:02:31 +0200930 mr->destructor = memory_region_destructor_iomem;
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,
Avi Kivity093bc2c2011-07-26 14:26:01 +0300935 const char *name,
936 uint64_t size)
937{
938 memory_region_init(mr, name, size);
Avi Kivity8ea92522011-12-08 15:58:43 +0200939 mr->ram = true;
Avi Kivity14a3c102011-07-26 14:26:06 +0300940 mr->terminates = true;
Avi Kivity545e92e2011-08-08 19:58:48 +0300941 mr->destructor = memory_region_destructor_ram;
Avi Kivityc5705a72011-12-20 15:59:12 +0200942 mr->ram_addr = qemu_ram_alloc(size, mr);
Avi Kivity093bc2c2011-07-26 14:26:01 +0300943}
944
945void memory_region_init_ram_ptr(MemoryRegion *mr,
Avi Kivity093bc2c2011-07-26 14:26:01 +0300946 const char *name,
947 uint64_t size,
948 void *ptr)
949{
950 memory_region_init(mr, name, size);
Avi Kivity8ea92522011-12-08 15:58:43 +0200951 mr->ram = true;
Avi Kivity14a3c102011-07-26 14:26:06 +0300952 mr->terminates = true;
Avi Kivity545e92e2011-08-08 19:58:48 +0300953 mr->destructor = memory_region_destructor_ram_from_ptr;
Avi Kivityc5705a72011-12-20 15:59:12 +0200954 mr->ram_addr = qemu_ram_alloc_from_ptr(size, ptr, mr);
Avi Kivity093bc2c2011-07-26 14:26:01 +0300955}
956
957void memory_region_init_alias(MemoryRegion *mr,
958 const char *name,
959 MemoryRegion *orig,
960 target_phys_addr_t offset,
961 uint64_t size)
962{
963 memory_region_init(mr, name, size);
964 mr->alias = orig;
965 mr->alias_offset = offset;
966}
967
Avi Kivityd0a9b5b2011-08-08 19:58:49 +0300968void memory_region_init_rom_device(MemoryRegion *mr,
969 const MemoryRegionOps *ops,
Avi Kivity75f59412011-08-26 00:35:15 +0300970 void *opaque,
Avi Kivityd0a9b5b2011-08-08 19:58:49 +0300971 const char *name,
972 uint64_t size)
973{
974 memory_region_init(mr, name, size);
Avi Kivity7bc2b9c2011-08-25 14:56:14 +0300975 mr->ops = ops;
Avi Kivity75f59412011-08-26 00:35:15 +0300976 mr->opaque = opaque;
Avi Kivityd0a9b5b2011-08-08 19:58:49 +0300977 mr->terminates = true;
Avi Kivity75c578d2012-01-02 15:40:52 +0200978 mr->rom_device = true;
Avi Kivityd0a9b5b2011-08-08 19:58:49 +0300979 mr->destructor = memory_region_destructor_rom_device;
Avi Kivityc5705a72011-12-20 15:59:12 +0200980 mr->ram_addr = qemu_ram_alloc(size, mr);
Avi Kivityd0a9b5b2011-08-08 19:58:49 +0300981}
982
Jan Kiszka1660e722011-10-23 16:01:19 +0200983static uint64_t invalid_read(void *opaque, target_phys_addr_t addr,
984 unsigned size)
985{
986 MemoryRegion *mr = opaque;
987
988 if (!mr->warning_printed) {
989 fprintf(stderr, "Invalid read from memory region %s\n", mr->name);
990 mr->warning_printed = true;
991 }
992 return -1U;
993}
994
995static void invalid_write(void *opaque, target_phys_addr_t addr, uint64_t data,
996 unsigned size)
997{
998 MemoryRegion *mr = opaque;
999
1000 if (!mr->warning_printed) {
1001 fprintf(stderr, "Invalid write to memory region %s\n", mr->name);
1002 mr->warning_printed = true;
1003 }
1004}
1005
1006static const MemoryRegionOps reservation_ops = {
1007 .read = invalid_read,
1008 .write = invalid_write,
1009 .endianness = DEVICE_NATIVE_ENDIAN,
1010};
1011
1012void memory_region_init_reservation(MemoryRegion *mr,
1013 const char *name,
1014 uint64_t size)
1015{
1016 memory_region_init_io(mr, &reservation_ops, mr, name, size);
1017}
1018
Avi Kivity093bc2c2011-07-26 14:26:01 +03001019void memory_region_destroy(MemoryRegion *mr)
1020{
1021 assert(QTAILQ_EMPTY(&mr->subregions));
Avi Kivity2be0e252012-10-17 17:14:41 +02001022 assert(memory_region_transaction_depth == 0);
Avi Kivity545e92e2011-08-08 19:58:48 +03001023 mr->destructor(mr);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001024 memory_region_clear_coalescing(mr);
Anthony Liguori7267c092011-08-20 22:09:37 -05001025 g_free((char *)mr->name);
1026 g_free(mr->ioeventfds);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001027}
1028
1029uint64_t memory_region_size(MemoryRegion *mr)
1030{
Avi Kivity08dafab2011-10-16 13:19:17 +02001031 if (int128_eq(mr->size, int128_2_64())) {
1032 return UINT64_MAX;
1033 }
1034 return int128_get64(mr->size);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001035}
1036
Avi Kivity8991c792011-12-20 15:53:11 +02001037const char *memory_region_name(MemoryRegion *mr)
1038{
1039 return mr->name;
1040}
1041
Avi Kivity8ea92522011-12-08 15:58:43 +02001042bool memory_region_is_ram(MemoryRegion *mr)
1043{
1044 return mr->ram;
1045}
1046
Avi Kivity55043ba2011-12-15 17:20:34 +02001047bool memory_region_is_logging(MemoryRegion *mr)
1048{
1049 return mr->dirty_log_mask;
1050}
1051
Avi Kivityce7923d2011-12-08 16:05:11 +02001052bool memory_region_is_rom(MemoryRegion *mr)
1053{
1054 return mr->ram && mr->readonly;
1055}
1056
Avi Kivity093bc2c2011-07-26 14:26:01 +03001057void memory_region_set_log(MemoryRegion *mr, bool log, unsigned client)
1058{
Avi Kivity5a583342011-07-26 14:26:02 +03001059 uint8_t mask = 1 << client;
1060
Jan Kiszka59023ef2012-08-23 13:02:30 +02001061 memory_region_transaction_begin();
Avi Kivity5a583342011-07-26 14:26:02 +03001062 mr->dirty_log_mask = (mr->dirty_log_mask & ~mask) | (log * mask);
Jan Kiszka59023ef2012-08-23 13:02:30 +02001063 memory_region_transaction_commit();
Avi Kivity093bc2c2011-07-26 14:26:01 +03001064}
1065
1066bool memory_region_get_dirty(MemoryRegion *mr, target_phys_addr_t addr,
Blue Swirlcd7a45c2012-01-22 16:38:21 +00001067 target_phys_addr_t size, unsigned client)
Avi Kivity093bc2c2011-07-26 14:26:01 +03001068{
Avi Kivity14a3c102011-07-26 14:26:06 +03001069 assert(mr->terminates);
Blue Swirlcd7a45c2012-01-22 16:38:21 +00001070 return cpu_physical_memory_get_dirty(mr->ram_addr + addr, size,
1071 1 << client);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001072}
1073
Blue Swirlfd4aa972011-10-16 16:04:59 +00001074void memory_region_set_dirty(MemoryRegion *mr, target_phys_addr_t addr,
1075 target_phys_addr_t size)
Avi Kivity093bc2c2011-07-26 14:26:01 +03001076{
Avi Kivity14a3c102011-07-26 14:26:06 +03001077 assert(mr->terminates);
Blue Swirlfd4aa972011-10-16 16:04:59 +00001078 return cpu_physical_memory_set_dirty_range(mr->ram_addr + addr, size, -1);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001079}
1080
1081void memory_region_sync_dirty_bitmap(MemoryRegion *mr)
1082{
Avi Kivity0d673e32012-10-02 15:28:50 +02001083 AddressSpace *as;
Avi Kivity5a583342011-07-26 14:26:02 +03001084 FlatRange *fr;
1085
Avi Kivity0d673e32012-10-02 15:28:50 +02001086 QTAILQ_FOREACH(as, &address_spaces, address_spaces_link) {
1087 FOR_EACH_FLAT_RANGE(fr, as->current_map) {
1088 if (fr->mr == mr) {
1089 MEMORY_LISTENER_UPDATE_REGION(fr, as, Forward, log_sync);
1090 }
Avi Kivity5a583342011-07-26 14:26:02 +03001091 }
1092 }
Avi Kivity093bc2c2011-07-26 14:26:01 +03001093}
1094
1095void memory_region_set_readonly(MemoryRegion *mr, bool readonly)
1096{
Avi Kivityfb1cd6f2011-09-25 14:48:47 +03001097 if (mr->readonly != readonly) {
Jan Kiszka59023ef2012-08-23 13:02:30 +02001098 memory_region_transaction_begin();
Avi Kivityfb1cd6f2011-09-25 14:48:47 +03001099 mr->readonly = readonly;
Jan Kiszka59023ef2012-08-23 13:02:30 +02001100 memory_region_transaction_commit();
Avi Kivityfb1cd6f2011-09-25 14:48:47 +03001101 }
Avi Kivity093bc2c2011-07-26 14:26:01 +03001102}
1103
Avi Kivityd0a9b5b2011-08-08 19:58:49 +03001104void memory_region_rom_device_set_readable(MemoryRegion *mr, bool readable)
1105{
1106 if (mr->readable != readable) {
Jan Kiszka59023ef2012-08-23 13:02:30 +02001107 memory_region_transaction_begin();
Avi Kivityd0a9b5b2011-08-08 19:58:49 +03001108 mr->readable = readable;
Jan Kiszka59023ef2012-08-23 13:02:30 +02001109 memory_region_transaction_commit();
Avi Kivityd0a9b5b2011-08-08 19:58:49 +03001110 }
1111}
1112
Avi Kivity093bc2c2011-07-26 14:26:01 +03001113void memory_region_reset_dirty(MemoryRegion *mr, target_phys_addr_t addr,
1114 target_phys_addr_t size, unsigned client)
1115{
Avi Kivity14a3c102011-07-26 14:26:06 +03001116 assert(mr->terminates);
Avi Kivity5a583342011-07-26 14:26:02 +03001117 cpu_physical_memory_reset_dirty(mr->ram_addr + addr,
1118 mr->ram_addr + addr + size,
1119 1 << client);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001120}
1121
1122void *memory_region_get_ram_ptr(MemoryRegion *mr)
1123{
1124 if (mr->alias) {
1125 return memory_region_get_ram_ptr(mr->alias) + mr->alias_offset;
1126 }
1127
Avi Kivity14a3c102011-07-26 14:26:06 +03001128 assert(mr->terminates);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001129
Jan Kiszka021d26d2011-08-30 00:38:24 +02001130 return qemu_get_ram_ptr(mr->ram_addr & TARGET_PAGE_MASK);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001131}
1132
Avi Kivity0d673e32012-10-02 15:28:50 +02001133static void memory_region_update_coalesced_range_as(MemoryRegion *mr, AddressSpace *as)
Avi Kivity093bc2c2011-07-26 14:26:01 +03001134{
1135 FlatRange *fr;
1136 CoalescedMemoryRange *cmr;
1137 AddrRange tmp;
Avi Kivity95d29942012-10-02 18:21:54 +02001138 MemoryRegionSection section;
Avi Kivity093bc2c2011-07-26 14:26:01 +03001139
Avi Kivity0d673e32012-10-02 15:28:50 +02001140 FOR_EACH_FLAT_RANGE(fr, as->current_map) {
Avi Kivity093bc2c2011-07-26 14:26:01 +03001141 if (fr->mr == mr) {
Avi Kivity95d29942012-10-02 18:21:54 +02001142 section = (MemoryRegionSection) {
Avi Kivityf6790af2012-10-02 20:13:51 +02001143 .address_space = as,
Avi Kivity95d29942012-10-02 18:21:54 +02001144 .offset_within_address_space = int128_get64(fr->addr.start),
1145 .size = int128_get64(fr->addr.size),
1146 };
1147
1148 MEMORY_LISTENER_CALL(coalesced_mmio_del, Reverse, &section,
1149 int128_get64(fr->addr.start),
1150 int128_get64(fr->addr.size));
Avi Kivity093bc2c2011-07-26 14:26:01 +03001151 QTAILQ_FOREACH(cmr, &mr->coalesced, link) {
1152 tmp = addrrange_shift(cmr->addr,
Avi Kivity08dafab2011-10-16 13:19:17 +02001153 int128_sub(fr->addr.start,
1154 int128_make64(fr->offset_in_region)));
Avi Kivity093bc2c2011-07-26 14:26:01 +03001155 if (!addrrange_intersects(tmp, fr->addr)) {
1156 continue;
1157 }
1158 tmp = addrrange_intersection(tmp, fr->addr);
Avi Kivity95d29942012-10-02 18:21:54 +02001159 MEMORY_LISTENER_CALL(coalesced_mmio_add, Forward, &section,
1160 int128_get64(tmp.start),
1161 int128_get64(tmp.size));
Avi Kivity093bc2c2011-07-26 14:26:01 +03001162 }
1163 }
1164 }
1165}
1166
Avi Kivity0d673e32012-10-02 15:28:50 +02001167static void memory_region_update_coalesced_range(MemoryRegion *mr)
1168{
1169 AddressSpace *as;
1170
1171 QTAILQ_FOREACH(as, &address_spaces, address_spaces_link) {
1172 memory_region_update_coalesced_range_as(mr, as);
1173 }
1174}
1175
Avi Kivity093bc2c2011-07-26 14:26:01 +03001176void memory_region_set_coalescing(MemoryRegion *mr)
1177{
1178 memory_region_clear_coalescing(mr);
Avi Kivity08dafab2011-10-16 13:19:17 +02001179 memory_region_add_coalescing(mr, 0, int128_get64(mr->size));
Avi Kivity093bc2c2011-07-26 14:26:01 +03001180}
1181
1182void memory_region_add_coalescing(MemoryRegion *mr,
1183 target_phys_addr_t offset,
1184 uint64_t size)
1185{
Anthony Liguori7267c092011-08-20 22:09:37 -05001186 CoalescedMemoryRange *cmr = g_malloc(sizeof(*cmr));
Avi Kivity093bc2c2011-07-26 14:26:01 +03001187
Avi Kivity08dafab2011-10-16 13:19:17 +02001188 cmr->addr = addrrange_make(int128_make64(offset), int128_make64(size));
Avi Kivity093bc2c2011-07-26 14:26:01 +03001189 QTAILQ_INSERT_TAIL(&mr->coalesced, cmr, link);
1190 memory_region_update_coalesced_range(mr);
Jan Kiszkad4105152012-08-23 13:02:29 +02001191 memory_region_set_flush_coalesced(mr);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001192}
1193
1194void memory_region_clear_coalescing(MemoryRegion *mr)
1195{
1196 CoalescedMemoryRange *cmr;
1197
Jan Kiszkad4105152012-08-23 13:02:29 +02001198 qemu_flush_coalesced_mmio_buffer();
1199 mr->flush_coalesced_mmio = false;
1200
Avi Kivity093bc2c2011-07-26 14:26:01 +03001201 while (!QTAILQ_EMPTY(&mr->coalesced)) {
1202 cmr = QTAILQ_FIRST(&mr->coalesced);
1203 QTAILQ_REMOVE(&mr->coalesced, cmr, link);
Anthony Liguori7267c092011-08-20 22:09:37 -05001204 g_free(cmr);
Avi Kivity093bc2c2011-07-26 14:26:01 +03001205 }
1206 memory_region_update_coalesced_range(mr);
1207}
1208
Jan Kiszkad4105152012-08-23 13:02:29 +02001209void memory_region_set_flush_coalesced(MemoryRegion *mr)
1210{
1211 mr->flush_coalesced_mmio = true;
1212}
1213
1214void memory_region_clear_flush_coalesced(MemoryRegion *mr)
1215{
1216 qemu_flush_coalesced_mmio_buffer();
1217 if (QTAILQ_EMPTY(&mr->coalesced)) {
1218 mr->flush_coalesced_mmio = false;
1219 }
1220}
1221
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001222void memory_region_add_eventfd(MemoryRegion *mr,
1223 target_phys_addr_t addr,
1224 unsigned size,
1225 bool match_data,
1226 uint64_t data,
Paolo Bonzini753d5e12012-07-05 17:16:27 +02001227 EventNotifier *e)
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001228{
1229 MemoryRegionIoeventfd mrfd = {
Avi Kivity08dafab2011-10-16 13:19:17 +02001230 .addr.start = int128_make64(addr),
1231 .addr.size = int128_make64(size),
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001232 .match_data = match_data,
1233 .data = data,
Paolo Bonzini753d5e12012-07-05 17:16:27 +02001234 .e = e,
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001235 };
1236 unsigned i;
1237
Alexander Graf28f362b2012-10-15 20:30:28 +02001238 adjust_endianness(mr, &mrfd.data, size);
Jan Kiszka59023ef2012-08-23 13:02:30 +02001239 memory_region_transaction_begin();
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001240 for (i = 0; i < mr->ioeventfd_nb; ++i) {
1241 if (memory_region_ioeventfd_before(mrfd, mr->ioeventfds[i])) {
1242 break;
1243 }
1244 }
1245 ++mr->ioeventfd_nb;
Anthony Liguori7267c092011-08-20 22:09:37 -05001246 mr->ioeventfds = g_realloc(mr->ioeventfds,
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001247 sizeof(*mr->ioeventfds) * mr->ioeventfd_nb);
1248 memmove(&mr->ioeventfds[i+1], &mr->ioeventfds[i],
1249 sizeof(*mr->ioeventfds) * (mr->ioeventfd_nb-1 - i));
1250 mr->ioeventfds[i] = mrfd;
Jan Kiszka59023ef2012-08-23 13:02:30 +02001251 memory_region_transaction_commit();
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001252}
1253
1254void memory_region_del_eventfd(MemoryRegion *mr,
1255 target_phys_addr_t addr,
1256 unsigned size,
1257 bool match_data,
1258 uint64_t data,
Paolo Bonzini753d5e12012-07-05 17:16:27 +02001259 EventNotifier *e)
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001260{
1261 MemoryRegionIoeventfd mrfd = {
Avi Kivity08dafab2011-10-16 13:19:17 +02001262 .addr.start = int128_make64(addr),
1263 .addr.size = int128_make64(size),
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001264 .match_data = match_data,
1265 .data = data,
Paolo Bonzini753d5e12012-07-05 17:16:27 +02001266 .e = e,
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001267 };
1268 unsigned i;
1269
Alexander Graf28f362b2012-10-15 20:30:28 +02001270 adjust_endianness(mr, &mrfd.data, size);
Jan Kiszka59023ef2012-08-23 13:02:30 +02001271 memory_region_transaction_begin();
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001272 for (i = 0; i < mr->ioeventfd_nb; ++i) {
1273 if (memory_region_ioeventfd_equal(mrfd, mr->ioeventfds[i])) {
1274 break;
1275 }
1276 }
1277 assert(i != mr->ioeventfd_nb);
1278 memmove(&mr->ioeventfds[i], &mr->ioeventfds[i+1],
1279 sizeof(*mr->ioeventfds) * (mr->ioeventfd_nb - (i+1)));
1280 --mr->ioeventfd_nb;
Anthony Liguori7267c092011-08-20 22:09:37 -05001281 mr->ioeventfds = g_realloc(mr->ioeventfds,
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001282 sizeof(*mr->ioeventfds)*mr->ioeventfd_nb + 1);
Jan Kiszka59023ef2012-08-23 13:02:30 +02001283 memory_region_transaction_commit();
Avi Kivity3e9d69e2011-07-26 14:26:11 +03001284}
1285
Avi Kivity093bc2c2011-07-26 14:26:01 +03001286static void memory_region_add_subregion_common(MemoryRegion *mr,
1287 target_phys_addr_t offset,
1288 MemoryRegion *subregion)
1289{
1290 MemoryRegion *other;
1291
Jan Kiszka59023ef2012-08-23 13:02:30 +02001292 memory_region_transaction_begin();
1293
Avi Kivity093bc2c2011-07-26 14:26:01 +03001294 assert(!subregion->parent);
1295 subregion->parent = mr;
1296 subregion->addr = offset;
1297 QTAILQ_FOREACH(other, &mr->subregions, subregions_link) {
1298 if (subregion->may_overlap || other->may_overlap) {
1299 continue;
1300 }
Avi Kivity08dafab2011-10-16 13:19:17 +02001301 if (int128_gt(int128_make64(offset),
1302 int128_add(int128_make64(other->addr), other->size))
1303 || int128_le(int128_add(int128_make64(offset), subregion->size),
1304 int128_make64(other->addr))) {
Avi Kivity093bc2c2011-07-26 14:26:01 +03001305 continue;
1306 }
Anthony Liguoria5e1cbc2011-08-22 11:14:56 -05001307#if 0
Michael Walle860329b2011-09-15 23:16:49 +02001308 printf("warning: subregion collision %llx/%llx (%s) "
1309 "vs %llx/%llx (%s)\n",
Avi Kivity093bc2c2011-07-26 14:26:01 +03001310 (unsigned long long)offset,
Avi Kivity08dafab2011-10-16 13:19:17 +02001311 (unsigned long long)int128_get64(subregion->size),
Michael Walle860329b2011-09-15 23:16:49 +02001312 subregion->name,
1313 (unsigned long long)other->addr,
Avi Kivity08dafab2011-10-16 13:19:17 +02001314 (unsigned long long)int128_get64(other->size),
Michael Walle860329b2011-09-15 23:16:49 +02001315 other->name);
Anthony Liguoria5e1cbc2011-08-22 11:14:56 -05001316#endif
Avi Kivity093bc2c2011-07-26 14:26:01 +03001317 }
1318 QTAILQ_FOREACH(other, &mr->subregions, subregions_link) {
1319 if (subregion->priority >= other->priority) {
1320 QTAILQ_INSERT_BEFORE(other, subregion, subregions_link);
1321 goto done;
1322 }
1323 }
1324 QTAILQ_INSERT_TAIL(&mr->subregions, subregion, subregions_link);
1325done:
Jan Kiszka59023ef2012-08-23 13:02:30 +02001326 memory_region_transaction_commit();
Avi Kivity093bc2c2011-07-26 14:26:01 +03001327}
1328
1329
1330void memory_region_add_subregion(MemoryRegion *mr,
1331 target_phys_addr_t offset,
1332 MemoryRegion *subregion)
1333{
1334 subregion->may_overlap = false;
1335 subregion->priority = 0;
1336 memory_region_add_subregion_common(mr, offset, subregion);
1337}
1338
1339void memory_region_add_subregion_overlap(MemoryRegion *mr,
1340 target_phys_addr_t offset,
1341 MemoryRegion *subregion,
1342 unsigned priority)
1343{
1344 subregion->may_overlap = true;
1345 subregion->priority = priority;
1346 memory_region_add_subregion_common(mr, offset, subregion);
1347}
1348
1349void memory_region_del_subregion(MemoryRegion *mr,
1350 MemoryRegion *subregion)
1351{
Jan Kiszka59023ef2012-08-23 13:02:30 +02001352 memory_region_transaction_begin();
Avi Kivity093bc2c2011-07-26 14:26:01 +03001353 assert(subregion->parent == mr);
1354 subregion->parent = NULL;
1355 QTAILQ_REMOVE(&mr->subregions, subregion, subregions_link);
Jan Kiszka59023ef2012-08-23 13:02:30 +02001356 memory_region_transaction_commit();
Avi Kivity6bba19b2011-09-14 11:54:58 +03001357}
1358
1359void memory_region_set_enabled(MemoryRegion *mr, bool enabled)
1360{
1361 if (enabled == mr->enabled) {
1362 return;
1363 }
Jan Kiszka59023ef2012-08-23 13:02:30 +02001364 memory_region_transaction_begin();
Avi Kivity6bba19b2011-09-14 11:54:58 +03001365 mr->enabled = enabled;
Jan Kiszka59023ef2012-08-23 13:02:30 +02001366 memory_region_transaction_commit();
Avi Kivity093bc2c2011-07-26 14:26:01 +03001367}
Avi Kivity1c0ffa52011-07-26 14:26:04 +03001368
Avi Kivity2282e1a2011-09-14 12:10:12 +03001369void memory_region_set_address(MemoryRegion *mr, target_phys_addr_t addr)
1370{
1371 MemoryRegion *parent = mr->parent;
1372 unsigned priority = mr->priority;
1373 bool may_overlap = mr->may_overlap;
1374
1375 if (addr == mr->addr || !parent) {
1376 mr->addr = addr;
1377 return;
1378 }
1379
1380 memory_region_transaction_begin();
1381 memory_region_del_subregion(parent, mr);
1382 if (may_overlap) {
1383 memory_region_add_subregion_overlap(parent, addr, mr, priority);
1384 } else {
1385 memory_region_add_subregion(parent, addr, mr);
1386 }
1387 memory_region_transaction_commit();
1388}
1389
Avi Kivity47033592011-12-04 19:16:50 +02001390void memory_region_set_alias_offset(MemoryRegion *mr, target_phys_addr_t offset)
1391{
Avi Kivity47033592011-12-04 19:16:50 +02001392 assert(mr->alias);
Avi Kivity47033592011-12-04 19:16:50 +02001393
Jan Kiszka59023ef2012-08-23 13:02:30 +02001394 if (offset == mr->alias_offset) {
Avi Kivity47033592011-12-04 19:16:50 +02001395 return;
1396 }
1397
Jan Kiszka59023ef2012-08-23 13:02:30 +02001398 memory_region_transaction_begin();
1399 mr->alias_offset = offset;
1400 memory_region_transaction_commit();
Avi Kivity47033592011-12-04 19:16:50 +02001401}
1402
Avi Kivitye34911c2011-12-19 12:06:23 +02001403ram_addr_t memory_region_get_ram_addr(MemoryRegion *mr)
1404{
Avi Kivitye34911c2011-12-19 12:06:23 +02001405 return mr->ram_addr;
1406}
1407
Avi Kivitye2177952011-12-08 15:00:18 +02001408static int cmp_flatrange_addr(const void *addr_, const void *fr_)
1409{
1410 const AddrRange *addr = addr_;
1411 const FlatRange *fr = fr_;
1412
1413 if (int128_le(addrrange_end(*addr), fr->addr.start)) {
1414 return -1;
1415 } else if (int128_ge(addr->start, addrrange_end(fr->addr))) {
1416 return 1;
1417 }
1418 return 0;
1419}
1420
1421static FlatRange *address_space_lookup(AddressSpace *as, AddrRange addr)
1422{
Avi Kivity8786db72012-10-02 13:53:41 +02001423 return bsearch(&addr, as->current_map->ranges, as->current_map->nr,
Avi Kivitye2177952011-12-08 15:00:18 +02001424 sizeof(FlatRange), cmp_flatrange_addr);
1425}
1426
1427MemoryRegionSection memory_region_find(MemoryRegion *address_space,
1428 target_phys_addr_t addr, uint64_t size)
1429{
1430 AddressSpace *as = memory_region_to_address_space(address_space);
1431 AddrRange range = addrrange_make(int128_make64(addr),
1432 int128_make64(size));
1433 FlatRange *fr = address_space_lookup(as, range);
1434 MemoryRegionSection ret = { .mr = NULL, .size = 0 };
1435
1436 if (!fr) {
1437 return ret;
1438 }
1439
Avi Kivity8786db72012-10-02 13:53:41 +02001440 while (fr > as->current_map->ranges
Avi Kivitye2177952011-12-08 15:00:18 +02001441 && addrrange_intersects(fr[-1].addr, range)) {
1442 --fr;
1443 }
1444
1445 ret.mr = fr->mr;
1446 range = addrrange_intersection(range, fr->addr);
1447 ret.offset_within_region = fr->offset_in_region;
1448 ret.offset_within_region += int128_get64(int128_sub(range.start,
1449 fr->addr.start));
1450 ret.size = int128_get64(range.size);
1451 ret.offset_within_address_space = int128_get64(range.start);
Avi Kivity7a8499e2012-02-08 17:01:23 +02001452 ret.readonly = fr->readonly;
Avi Kivitye2177952011-12-08 15:00:18 +02001453 return ret;
1454}
1455
Avi Kivity86e775c2011-12-15 16:24:49 +02001456void memory_global_sync_dirty_bitmap(MemoryRegion *address_space)
1457{
Avi Kivity7664e802011-12-11 14:47:25 +02001458 AddressSpace *as = memory_region_to_address_space(address_space);
1459 FlatRange *fr;
1460
Avi Kivity8786db72012-10-02 13:53:41 +02001461 FOR_EACH_FLAT_RANGE(fr, as->current_map) {
Avi Kivity72e22d22012-02-08 15:05:50 +02001462 MEMORY_LISTENER_UPDATE_REGION(fr, as, Forward, log_sync);
Avi Kivity7664e802011-12-11 14:47:25 +02001463 }
1464}
1465
1466void memory_global_dirty_log_start(void)
1467{
Avi Kivity7664e802011-12-11 14:47:25 +02001468 global_dirty_log = true;
Avi Kivity7376e582012-02-08 21:05:17 +02001469 MEMORY_LISTENER_CALL_GLOBAL(log_global_start, Forward);
Avi Kivity7664e802011-12-11 14:47:25 +02001470}
1471
1472void memory_global_dirty_log_stop(void)
1473{
Avi Kivity7664e802011-12-11 14:47:25 +02001474 global_dirty_log = false;
Avi Kivity7376e582012-02-08 21:05:17 +02001475 MEMORY_LISTENER_CALL_GLOBAL(log_global_stop, Reverse);
Avi Kivity7664e802011-12-11 14:47:25 +02001476}
1477
1478static void listener_add_address_space(MemoryListener *listener,
1479 AddressSpace *as)
1480{
1481 FlatRange *fr;
1482
Julien Grall221b3a32012-04-04 15:15:41 +01001483 if (listener->address_space_filter
Avi Kivityf6790af2012-10-02 20:13:51 +02001484 && listener->address_space_filter != as) {
Julien Grall221b3a32012-04-04 15:15:41 +01001485 return;
1486 }
1487
Avi Kivity7664e802011-12-11 14:47:25 +02001488 if (global_dirty_log) {
Avi Kivity975aefe2012-10-02 16:39:57 +02001489 if (listener->log_global_start) {
1490 listener->log_global_start(listener);
1491 }
Avi Kivity7664e802011-12-11 14:47:25 +02001492 }
Avi Kivity975aefe2012-10-02 16:39:57 +02001493
Avi Kivity8786db72012-10-02 13:53:41 +02001494 FOR_EACH_FLAT_RANGE(fr, as->current_map) {
Avi Kivity7664e802011-12-11 14:47:25 +02001495 MemoryRegionSection section = {
1496 .mr = fr->mr,
Avi Kivityf6790af2012-10-02 20:13:51 +02001497 .address_space = as,
Avi Kivity7664e802011-12-11 14:47:25 +02001498 .offset_within_region = fr->offset_in_region,
1499 .size = int128_get64(fr->addr.size),
1500 .offset_within_address_space = int128_get64(fr->addr.start),
Avi Kivity7a8499e2012-02-08 17:01:23 +02001501 .readonly = fr->readonly,
Avi Kivity7664e802011-12-11 14:47:25 +02001502 };
Avi Kivity975aefe2012-10-02 16:39:57 +02001503 if (listener->region_add) {
1504 listener->region_add(listener, &section);
1505 }
Avi Kivity7664e802011-12-11 14:47:25 +02001506 }
1507}
1508
Avi Kivityf6790af2012-10-02 20:13:51 +02001509void memory_listener_register(MemoryListener *listener, AddressSpace *filter)
Avi Kivity7664e802011-12-11 14:47:25 +02001510{
Avi Kivity72e22d22012-02-08 15:05:50 +02001511 MemoryListener *other = NULL;
Avi Kivity0d673e32012-10-02 15:28:50 +02001512 AddressSpace *as;
Avi Kivity72e22d22012-02-08 15:05:50 +02001513
Avi Kivity7376e582012-02-08 21:05:17 +02001514 listener->address_space_filter = filter;
Avi Kivity72e22d22012-02-08 15:05:50 +02001515 if (QTAILQ_EMPTY(&memory_listeners)
1516 || listener->priority >= QTAILQ_LAST(&memory_listeners,
1517 memory_listeners)->priority) {
1518 QTAILQ_INSERT_TAIL(&memory_listeners, listener, link);
1519 } else {
1520 QTAILQ_FOREACH(other, &memory_listeners, link) {
1521 if (listener->priority < other->priority) {
1522 break;
1523 }
1524 }
1525 QTAILQ_INSERT_BEFORE(other, listener, link);
1526 }
Avi Kivity0d673e32012-10-02 15:28:50 +02001527
1528 QTAILQ_FOREACH(as, &address_spaces, address_spaces_link) {
1529 listener_add_address_space(listener, as);
1530 }
Avi Kivity7664e802011-12-11 14:47:25 +02001531}
1532
1533void memory_listener_unregister(MemoryListener *listener)
1534{
Avi Kivity72e22d22012-02-08 15:05:50 +02001535 QTAILQ_REMOVE(&memory_listeners, listener, link);
Avi Kivity86e775c2011-12-15 16:24:49 +02001536}
Avi Kivitye2177952011-12-08 15:00:18 +02001537
Avi Kivity9ad2bbc2012-10-02 14:59:23 +02001538void address_space_init(AddressSpace *as, MemoryRegion *root)
Avi Kivity1c0ffa52011-07-26 14:26:04 +03001539{
Jan Kiszka59023ef2012-08-23 13:02:30 +02001540 memory_region_transaction_begin();
Avi Kivity8786db72012-10-02 13:53:41 +02001541 as->root = root;
1542 as->current_map = g_new(FlatView, 1);
1543 flatview_init(as->current_map);
Avi Kivity0d673e32012-10-02 15:28:50 +02001544 QTAILQ_INSERT_TAIL(&address_spaces, as, address_spaces_link);
1545 as->name = NULL;
Jan Kiszka59023ef2012-08-23 13:02:30 +02001546 memory_region_transaction_commit();
Avi Kivityac1970f2012-10-03 16:22:53 +02001547 address_space_init_dispatch(as);
Avi Kivity1c0ffa52011-07-26 14:26:04 +03001548}
Avi Kivity658b2222011-07-26 14:26:08 +03001549
Avi Kivity83f3c252012-10-07 12:59:55 +02001550void address_space_destroy(AddressSpace *as)
1551{
1552 /* Flush out anything from MemoryListeners listening in on this */
1553 memory_region_transaction_begin();
1554 as->root = NULL;
1555 memory_region_transaction_commit();
1556 QTAILQ_REMOVE(&address_spaces, as, address_spaces_link);
1557 address_space_destroy_dispatch(as);
1558 flatview_destroy(as->current_map);
1559 g_free(as->current_map);
1560}
1561
Avi Kivity37ec01d2012-03-08 18:08:35 +02001562uint64_t io_mem_read(MemoryRegion *mr, target_phys_addr_t addr, unsigned size)
Avi Kivityacbbec52011-11-21 12:27:03 +02001563{
Avi Kivity37ec01d2012-03-08 18:08:35 +02001564 return memory_region_dispatch_read(mr, addr, size);
Avi Kivityacbbec52011-11-21 12:27:03 +02001565}
1566
Avi Kivity37ec01d2012-03-08 18:08:35 +02001567void io_mem_write(MemoryRegion *mr, target_phys_addr_t addr,
Avi Kivityacbbec52011-11-21 12:27:03 +02001568 uint64_t val, unsigned size)
1569{
Avi Kivity37ec01d2012-03-08 18:08:35 +02001570 memory_region_dispatch_write(mr, addr, val, size);
Avi Kivityacbbec52011-11-21 12:27:03 +02001571}
1572
Blue Swirl314e2982011-09-11 20:22:05 +00001573typedef struct MemoryRegionList MemoryRegionList;
1574
1575struct MemoryRegionList {
1576 const MemoryRegion *mr;
1577 bool printed;
1578 QTAILQ_ENTRY(MemoryRegionList) queue;
1579};
1580
1581typedef QTAILQ_HEAD(queue, MemoryRegionList) MemoryRegionListHead;
1582
1583static void mtree_print_mr(fprintf_function mon_printf, void *f,
1584 const MemoryRegion *mr, unsigned int level,
1585 target_phys_addr_t base,
Jan Kiszka9479c572011-09-27 15:00:41 +02001586 MemoryRegionListHead *alias_print_queue)
Blue Swirl314e2982011-09-11 20:22:05 +00001587{
Jan Kiszka9479c572011-09-27 15:00:41 +02001588 MemoryRegionList *new_ml, *ml, *next_ml;
1589 MemoryRegionListHead submr_print_queue;
Blue Swirl314e2982011-09-11 20:22:05 +00001590 const MemoryRegion *submr;
1591 unsigned int i;
1592
Blue Swirl314e2982011-09-11 20:22:05 +00001593 if (!mr) {
1594 return;
1595 }
1596
1597 for (i = 0; i < level; i++) {
1598 mon_printf(f, " ");
1599 }
1600
1601 if (mr->alias) {
1602 MemoryRegionList *ml;
1603 bool found = false;
1604
1605 /* check if the alias is already in the queue */
Jan Kiszka9479c572011-09-27 15:00:41 +02001606 QTAILQ_FOREACH(ml, alias_print_queue, queue) {
Blue Swirl314e2982011-09-11 20:22:05 +00001607 if (ml->mr == mr->alias && !ml->printed) {
1608 found = true;
1609 }
1610 }
1611
1612 if (!found) {
1613 ml = g_new(MemoryRegionList, 1);
1614 ml->mr = mr->alias;
1615 ml->printed = false;
Jan Kiszka9479c572011-09-27 15:00:41 +02001616 QTAILQ_INSERT_TAIL(alias_print_queue, ml, queue);
Blue Swirl314e2982011-09-11 20:22:05 +00001617 }
Jan Kiszka4896d742012-02-04 16:25:42 +01001618 mon_printf(f, TARGET_FMT_plx "-" TARGET_FMT_plx
1619 " (prio %d, %c%c): alias %s @%s " TARGET_FMT_plx
1620 "-" TARGET_FMT_plx "\n",
Blue Swirl314e2982011-09-11 20:22:05 +00001621 base + mr->addr,
Avi Kivity08dafab2011-10-16 13:19:17 +02001622 base + mr->addr
1623 + (target_phys_addr_t)int128_get64(mr->size) - 1,
Jan Kiszka4b474ba2011-09-27 15:00:31 +02001624 mr->priority,
Jan Kiszka4896d742012-02-04 16:25:42 +01001625 mr->readable ? 'R' : '-',
1626 !mr->readonly && !(mr->rom_device && mr->readable) ? 'W'
1627 : '-',
Blue Swirl314e2982011-09-11 20:22:05 +00001628 mr->name,
1629 mr->alias->name,
1630 mr->alias_offset,
Avi Kivity08dafab2011-10-16 13:19:17 +02001631 mr->alias_offset
1632 + (target_phys_addr_t)int128_get64(mr->size) - 1);
Blue Swirl314e2982011-09-11 20:22:05 +00001633 } else {
Jan Kiszka4896d742012-02-04 16:25:42 +01001634 mon_printf(f,
1635 TARGET_FMT_plx "-" TARGET_FMT_plx " (prio %d, %c%c): %s\n",
Blue Swirl314e2982011-09-11 20:22:05 +00001636 base + mr->addr,
Avi Kivity08dafab2011-10-16 13:19:17 +02001637 base + mr->addr
1638 + (target_phys_addr_t)int128_get64(mr->size) - 1,
Jan Kiszka4b474ba2011-09-27 15:00:31 +02001639 mr->priority,
Jan Kiszka4896d742012-02-04 16:25:42 +01001640 mr->readable ? 'R' : '-',
1641 !mr->readonly && !(mr->rom_device && mr->readable) ? 'W'
1642 : '-',
Blue Swirl314e2982011-09-11 20:22:05 +00001643 mr->name);
1644 }
Jan Kiszka9479c572011-09-27 15:00:41 +02001645
1646 QTAILQ_INIT(&submr_print_queue);
1647
Blue Swirl314e2982011-09-11 20:22:05 +00001648 QTAILQ_FOREACH(submr, &mr->subregions, subregions_link) {
Jan Kiszka9479c572011-09-27 15:00:41 +02001649 new_ml = g_new(MemoryRegionList, 1);
1650 new_ml->mr = submr;
1651 QTAILQ_FOREACH(ml, &submr_print_queue, queue) {
1652 if (new_ml->mr->addr < ml->mr->addr ||
1653 (new_ml->mr->addr == ml->mr->addr &&
1654 new_ml->mr->priority > ml->mr->priority)) {
1655 QTAILQ_INSERT_BEFORE(ml, new_ml, queue);
1656 new_ml = NULL;
1657 break;
1658 }
1659 }
1660 if (new_ml) {
1661 QTAILQ_INSERT_TAIL(&submr_print_queue, new_ml, queue);
1662 }
1663 }
1664
1665 QTAILQ_FOREACH(ml, &submr_print_queue, queue) {
1666 mtree_print_mr(mon_printf, f, ml->mr, level + 1, base + mr->addr,
1667 alias_print_queue);
1668 }
1669
Avi Kivity88365e42011-11-13 12:00:55 +02001670 QTAILQ_FOREACH_SAFE(ml, &submr_print_queue, queue, next_ml) {
Jan Kiszka9479c572011-09-27 15:00:41 +02001671 g_free(ml);
Blue Swirl314e2982011-09-11 20:22:05 +00001672 }
1673}
1674
1675void mtree_info(fprintf_function mon_printf, void *f)
1676{
1677 MemoryRegionListHead ml_head;
1678 MemoryRegionList *ml, *ml2;
Avi Kivity0d673e32012-10-02 15:28:50 +02001679 AddressSpace *as;
Blue Swirl314e2982011-09-11 20:22:05 +00001680
1681 QTAILQ_INIT(&ml_head);
1682
Avi Kivity0d673e32012-10-02 15:28:50 +02001683 QTAILQ_FOREACH(as, &address_spaces, address_spaces_link) {
1684 if (!as->name) {
1685 continue;
1686 }
1687 mon_printf(f, "%s\n", as->name);
1688 mtree_print_mr(mon_printf, f, as->root, 0, 0, &ml_head);
Blue Swirlb9f9be82012-03-10 16:58:35 +00001689 }
1690
1691 mon_printf(f, "aliases\n");
Blue Swirl314e2982011-09-11 20:22:05 +00001692 /* print aliased regions */
1693 QTAILQ_FOREACH(ml, &ml_head, queue) {
1694 if (!ml->printed) {
1695 mon_printf(f, "%s\n", ml->mr->name);
1696 mtree_print_mr(mon_printf, f, ml->mr, 0, 0, &ml_head);
1697 }
1698 }
1699
1700 QTAILQ_FOREACH_SAFE(ml, &ml_head, queue, ml2) {
Avi Kivity88365e42011-11-13 12:00:55 +02001701 g_free(ml);
Blue Swirl314e2982011-09-11 20:22:05 +00001702 }
Blue Swirl314e2982011-09-11 20:22:05 +00001703}