| Sandrine Bailleux | 3cd87d7 | 2018-10-09 11:12:55 +0200 | [diff] [blame] | 1 | /* |
| 2 | * Copyright (c) 2017, Arm Limited. All rights reserved. |
| 3 | * |
| 4 | * SPDX-License-Identifier: BSD-3-Clause |
| 5 | */ |
| 6 | |
| 7 | #ifndef __CACTUS_H__ |
| 8 | #define __CACTUS_H__ |
| 9 | |
| Ambroise Vincent | 602b7f5 | 2019-02-11 14:13:43 +0000 | [diff] [blame^] | 10 | #include <stdint.h> |
| Sandrine Bailleux | 3cd87d7 | 2018-10-09 11:12:55 +0200 | [diff] [blame] | 11 | |
| 12 | /* Linker symbols used to figure out the memory layout of Cactus. */ |
| 13 | extern uintptr_t __TEXT_START__, __TEXT_END__; |
| 14 | #define CACTUS_TEXT_START ((uintptr_t)&__TEXT_START__) |
| 15 | #define CACTUS_TEXT_END ((uintptr_t)&__TEXT_END__) |
| 16 | |
| 17 | extern uintptr_t __RODATA_START__, __RODATA_END__; |
| 18 | #define CACTUS_RODATA_START ((uintptr_t)&__RODATA_START__) |
| 19 | #define CACTUS_RODATA_END ((uintptr_t)&__RODATA_END__) |
| 20 | |
| Antonio Nino Diaz | 54287c8 | 2018-12-05 15:37:33 +0000 | [diff] [blame] | 21 | extern uintptr_t __DATA_START__, __DATA_END__; |
| 22 | #define CACTUS_DATA_START ((uintptr_t)&__DATA_START__) |
| 23 | #define CACTUS_DATA_END ((uintptr_t)&__DATA_END__) |
| Sandrine Bailleux | 3cd87d7 | 2018-10-09 11:12:55 +0200 | [diff] [blame] | 24 | |
| 25 | extern uintptr_t __BSS_START__, __BSS_END__; |
| 26 | #define CACTUS_BSS_START ((uintptr_t)&__BSS_START__) |
| 27 | #define CACTUS_BSS_END ((uintptr_t)&__BSS_END__) |
| 28 | |
| Sandrine Bailleux | 3cd87d7 | 2018-10-09 11:12:55 +0200 | [diff] [blame] | 29 | #endif /* __CACTUS_H__ */ |