1.1 --- a/pkg/devices/util/src/memory.cc Tue Oct 24 17:18:36 2023 +0200
1.2 +++ b/pkg/devices/util/src/memory.cc Tue Oct 24 17:20:58 2023 +0200
1.3 @@ -76,6 +76,14 @@
1.4
1.5 int get_memory(char const *hid, l4_addr_t *start, l4_addr_t *end)
1.6 {
1.7 + l4_addr_t phys_start, phys_end;
1.8 +
1.9 + return get_memory_complete(hid, start, end, &phys_start, &phys_end);
1.10 +}
1.11 +
1.12 +int get_memory_complete(char const *hid, l4_addr_t *start, l4_addr_t *end,
1.13 + l4_addr_t *phys_start, l4_addr_t *phys_end)
1.14 +{
1.15 l4io_device_handle_t dh;
1.16 l4io_resource_handle_t rh;
1.17 l4io_resource_t res;
1.18 @@ -98,6 +106,8 @@
1.19 return result;
1.20
1.21 *end = *start + (res.end - res.start + 1);
1.22 + *phys_start = res.start;
1.23 + *phys_end = res.end;
1.24
1.25 return 0;
1.26 }