Antonio Nino Diaz | 7e1e5e8 | 2018-12-05 14:38:15 +0000 | [diff] [blame] | 1 | /* |
Olivier Deprez | 231115d | 2020-02-03 11:27:01 +0100 | [diff] [blame] | 2 | * Copyright (c) 2018-2020, Arm Limited. All rights reserved. |
Antonio Nino Diaz | 7e1e5e8 | 2018-12-05 14:38:15 +0000 | [diff] [blame] | 3 | * |
| 4 | * SPDX-License-Identifier: BSD-3-Clause |
| 5 | */ |
| 6 | |
| 7 | #ifndef CACTUS_DEF_H |
| 8 | #define CACTUS_DEF_H |
| 9 | |
| 10 | #include <utils_def.h> |
| 11 | |
| 12 | /* |
| 13 | * Layout of the Secure Partition image. |
| 14 | */ |
| 15 | |
| 16 | /* Up to 2 MiB at an arbitrary address that doesn't overlap the devices. */ |
Olivier Deprez | 231115d | 2020-02-03 11:27:01 +0100 | [diff] [blame] | 17 | #define CACTUS_IMAGE_BASE ULL(0x1000) |
Antonio Nino Diaz | 7e1e5e8 | 2018-12-05 14:38:15 +0000 | [diff] [blame] | 18 | #define CACTUS_IMAGE_SIZE ULL(0x200000) |
| 19 | |
Antonio Nino Diaz | 54287c8 | 2018-12-05 15:37:33 +0000 | [diff] [blame] | 20 | /* Memory reserved for stacks */ |
| 21 | #define CACTUS_STACKS_SIZE ULL(0x1000) |
| 22 | |
Manish Pandey | 26c6f81 | 2020-04-30 11:43:00 +0100 | [diff] [blame] | 23 | /* |
| 24 | * RX/TX buffer used by VM's in SPM for memory sharing |
| 25 | * Each VM allocated 2 pages, one for RX and one for TX buffer. |
| 26 | */ |
Ruari Phipps | d75596a | 2020-07-17 16:41:34 +0100 | [diff] [blame] | 27 | #define CACTUS_RX_BASE ULL(0x7300000) |
Manish Pandey | 26c6f81 | 2020-04-30 11:43:00 +0100 | [diff] [blame] | 28 | #define CACTUS_TX_BASE CACTUS_RX_BASE + PAGE_SIZE |
| 29 | #define CACTUS_RX_TX_SIZE PAGE_SIZE * 2 |
Antonio Nino Diaz | 7e1e5e8 | 2018-12-05 14:38:15 +0000 | [diff] [blame] | 30 | |
Max Shvetsov | c32f478 | 2020-06-23 09:41:15 +0100 | [diff] [blame] | 31 | /* |
| 32 | * RX/TX buffer helpers. |
| 33 | */ |
Olivier Deprez | 0be4abe | 2020-08-04 11:26:13 +0200 | [diff] [blame] | 34 | #define get_sp_rx_start(sp_id) (CACTUS_RX_BASE + (((sp_id & 0x7FFFU) - 1U) * CACTUS_RX_TX_SIZE)) |
| 35 | #define get_sp_rx_end(sp_id) (CACTUS_RX_BASE + (((sp_id & 0x7FFFU) - 1U) * CACTUS_RX_TX_SIZE) + PAGE_SIZE) |
| 36 | #define get_sp_tx_start(sp_id) (CACTUS_TX_BASE + (((sp_id & 0x7FFFU) - 1U) * CACTUS_RX_TX_SIZE)) |
| 37 | #define get_sp_tx_end(sp_id) (CACTUS_TX_BASE + (((sp_id & 0x7FFFU) - 1U) * CACTUS_RX_TX_SIZE) + PAGE_SIZE) |
Max Shvetsov | c32f478 | 2020-06-23 09:41:15 +0100 | [diff] [blame] | 38 | |
| 39 | /* |
| 40 | * UUID of secure partition as defined in the respective manifests. |
| 41 | */ |
| 42 | #define PRIMARY_UUID {0xb4b5671e, 0x4a904fe1, 0xb81ffb13, 0xdae1dacb} |
| 43 | #define SECONDARY_UUID {0xd1582309, 0xf02347b9, 0x827c4464, 0xf5578fc8} |
Ruari Phipps | d75596a | 2020-07-17 16:41:34 +0100 | [diff] [blame] | 44 | #define TERTIARY_UUID {0x79b55c73, 0x1d8c44b9, 0x859361e1, 0x770ad8d2} |
| 45 | |
Max Shvetsov | c32f478 | 2020-06-23 09:41:15 +0100 | [diff] [blame] | 46 | |
Antonio Nino Diaz | 7e1e5e8 | 2018-12-05 14:38:15 +0000 | [diff] [blame] | 47 | #endif /* CACTUS_DEF_H */ |