1.1 --- a/pkg/devices/util/include/memory.h Tue Sep 27 23:21:50 2022 +0200
1.2 +++ b/pkg/devices/util/include/memory.h Sun May 28 22:35:09 2023 +0200
1.3 @@ -1,7 +1,7 @@
1.4 /*
1.5 * Memory and resource allocation utility functions.
1.6 *
1.7 - * Copyright (C) 2018, 2019 Paul Boddie <paul@boddie.org.uk>
1.8 + * Copyright (C) 2018, 2019, 2023 Paul Boddie <paul@boddie.org.uk>
1.9 *
1.10 * This program is free software; you can redistribute it and/or
1.11 * modify it under the terms of the GNU General Public License as
1.12 @@ -27,13 +27,16 @@
1.13
1.14 EXTERN_C_BEGIN
1.15
1.16 +int find_resource(l4vbus_device_handle_t *device, l4vbus_resource_t *resource,
1.17 + enum l4vbus_resource_type_t type);
1.18 +
1.19 int get_device(char const *hid, l4io_device_handle_t *dh,
1.20 l4io_resource_handle_t *rh);
1.21
1.22 int get_irq(char const *hid, l4_uint32_t *start, l4_uint32_t *end);
1.23
1.24 int get_resource(l4io_device_handle_t dh, l4io_resource_t *res,
1.25 - enum l4io_resource_types_t type);
1.26 + enum l4vbus_resource_type_t type);
1.27
1.28 int get_memory(char const *hid, l4_addr_t *start, l4_addr_t *end);
1.29