1.1 --- a/mapping/flexpage.h Sun Apr 11 19:34:07 2021 +0200
1.2 +++ b/mapping/flexpage.h Mon Apr 12 00:12:51 2021 +0200
1.3 @@ -19,12 +19,14 @@
1.4
1.5 /* General flexpage characteristics. */
1.6
1.7 - offset_t base_addr, size;
1.8 + address_t base_addr;
1.9 + length_t size;
1.10 offset_t base_offset;
1.11
1.12 /* Transient debugging information. */
1.13
1.14 - offset_t page_addr, page_offset;
1.15 + address_t page_addr;
1.16 + length_t page_offset;
1.17
1.18 /* Associate a flexpage with a memory 'region'. */
1.19
1.20 @@ -46,7 +48,7 @@
1.21
1.22 void upgrade(flags_t flags);
1.23
1.24 - SendFlexpage to_send(offset_t offset, offset_t hot_spot, flags_t flags,
1.25 + SendFlexpage to_send(offset_t offset, address_t hot_spot, flags_t flags,
1.26 offset_t max_offset=0);
1.27
1.28 SendFlexpage to_unmap();