1 /* 2 * Memory allocation utility functions. 3 * 4 * Copyright (C) 2018 Paul Boddie <paul@boddie.org.uk> 5 * Subject to other copyrights, being derived from the existing L4Re 6 * LCD driver implementations. 7 * 8 * This file is part of TUD:OS and distributed under the terms of the 9 * GNU General Public License 2. 10 * Please see the COPYING-GPL-2 file for details. 11 */ 12 13 #ifndef __DRIVERS_LCD_ARCH_JZ4740_MEMORY_H__ 14 #define __DRIVERS_LCD_ARCH_JZ4740_MEMORY_H__ 15 16 #include <l4/io/io.h> 17 #include <l4/re/env.h> 18 #include <l4/util/util.h> 19 20 int get_device(char const *hid, l4io_device_handle_t *dh, 21 l4io_resource_handle_t *rh); 22 23 int get_resource(l4io_device_handle_t dh, l4io_resource_t *res, 24 enum l4io_resource_types_t type); 25 26 int get_memory(char const *hid, l4_addr_t *start, l4_addr_t *end); 27 28 #endif /* __DRIVERS_LCD_ARCH_JZ4740_MEMORY_H__ */
