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