Sandrine Bailleux | 3cd87d7 | 2018-10-09 11:12:55 +0200 | [diff] [blame] | 1 | /* |
Max Shvetsov | 103e056 | 2021-02-04 16:58:31 +0000 | [diff] [blame^] | 2 | * Copyright (c) 2018-2021, Arm Limited. All rights reserved. |
Sandrine Bailleux | 3cd87d7 | 2018-10-09 11:12:55 +0200 | [diff] [blame] | 3 | * |
| 4 | * SPDX-License-Identifier: BSD-3-Clause |
| 5 | */ |
| 6 | |
| 7 | #include <assert.h> |
Antonio Nino Diaz | 43ef393 | 2018-07-03 14:39:47 +0100 | [diff] [blame] | 8 | #include <errno.h> |
J-Alves | 9f6f014 | 2020-06-17 15:37:59 +0100 | [diff] [blame] | 9 | #include <debug.h> |
Max Shvetsov | 103e056 | 2021-02-04 16:58:31 +0000 | [diff] [blame^] | 10 | |
| 11 | #include <cactus_platform_def.h> |
| 12 | #include <cactus_test_cmds.h> |
J-Alves | 9f6f014 | 2020-06-17 15:37:59 +0100 | [diff] [blame] | 13 | #include <drivers/arm/pl011.h> |
| 14 | #include <drivers/console.h> |
J-Alves | 9f6f014 | 2020-06-17 15:37:59 +0100 | [diff] [blame] | 15 | #include <lib/aarch64/arch_helpers.h> |
| 16 | #include <lib/xlat_tables/xlat_mmu_helpers.h> |
| 17 | #include <lib/xlat_tables/xlat_tables_v2.h> |
Max Shvetsov | 103e056 | 2021-02-04 16:58:31 +0000 | [diff] [blame^] | 18 | #include <plat_arm.h> |
| 19 | #include <plat/common/platform.h> |
| 20 | #include <platform_def.h> |
J-Alves | 5aecd98 | 2020-06-11 10:25:33 +0100 | [diff] [blame] | 21 | #include <sp_helpers.h> |
J-Alves | 9f6f014 | 2020-06-17 15:37:59 +0100 | [diff] [blame] | 22 | #include <std_svc.h> |
Olivier Deprez | afcdb7c | 2019-11-29 14:21:48 +0100 | [diff] [blame] | 23 | |
Max Shvetsov | 103e056 | 2021-02-04 16:58:31 +0000 | [diff] [blame^] | 24 | #include "cactus_def.h" |
| 25 | #include "cactus_tests.h" |
| 26 | #include "cactus.h" |
J-Alves | 63cdaa7 | 2020-10-08 17:22:45 +0100 | [diff] [blame] | 27 | |
Sandrine Bailleux | 3cd87d7 | 2018-10-09 11:12:55 +0200 | [diff] [blame] | 28 | /* Host machine information injected by the build system in the ELF file. */ |
| 29 | extern const char build_message[]; |
| 30 | extern const char version_string[]; |
| 31 | |
J-Alves | d8edeed | 2020-11-18 10:48:12 +0000 | [diff] [blame] | 32 | /* Memory section to be used for memory share operations */ |
| 33 | static __aligned(PAGE_SIZE) uint8_t share_page[PAGE_SIZE]; |
| 34 | |
Olivier Deprez | afcdb7c | 2019-11-29 14:21:48 +0100 | [diff] [blame] | 35 | /* |
| 36 | * |
| 37 | * Message loop function |
| 38 | * Notice we cannot use regular print functions because this serves to both |
| 39 | * "primary" and "secondary" VMs. Secondary VM cannot access UART directly |
| 40 | * but rather through Hafnium print hypercall. |
| 41 | * |
| 42 | */ |
J-Alves | 63cdaa7 | 2020-10-08 17:22:45 +0100 | [diff] [blame] | 43 | static void __dead2 message_loop(ffa_vm_id_t vm_id, struct mailbox_buffers *mb) |
Olivier Deprez | afcdb7c | 2019-11-29 14:21:48 +0100 | [diff] [blame] | 44 | { |
J-Alves | 7581c38 | 2020-05-07 18:34:20 +0100 | [diff] [blame] | 45 | smc_ret_values ffa_ret; |
Olivier Deprez | afcdb7c | 2019-11-29 14:21:48 +0100 | [diff] [blame] | 46 | uint32_t sp_response; |
J-Alves | 63cdaa7 | 2020-10-08 17:22:45 +0100 | [diff] [blame] | 47 | ffa_vm_id_t source; |
J-Alves | da6ac32 | 2020-11-09 15:45:30 +0000 | [diff] [blame] | 48 | ffa_vm_id_t destination; |
J-Alves | 1d203f1 | 2020-11-11 11:38:49 +0000 | [diff] [blame] | 49 | uint64_t cactus_cmd; |
| 50 | |
Olivier Deprez | afcdb7c | 2019-11-29 14:21:48 +0100 | [diff] [blame] | 51 | /* |
J-Alves | 63cdaa7 | 2020-10-08 17:22:45 +0100 | [diff] [blame] | 52 | * This initial wait call is necessary to inform SPMD that |
| 53 | * SP initialization has completed. It blocks until receiving |
| 54 | * a direct message request. |
| 55 | */ |
| 56 | |
J-Alves | 7581c38 | 2020-05-07 18:34:20 +0100 | [diff] [blame] | 57 | ffa_ret = ffa_msg_wait(); |
Olivier Deprez | afcdb7c | 2019-11-29 14:21:48 +0100 | [diff] [blame] | 58 | |
| 59 | for (;;) { |
J-Alves | 63cdaa7 | 2020-10-08 17:22:45 +0100 | [diff] [blame] | 60 | VERBOSE("Woke up with func id: %lx\n", ffa_ret.ret0); |
Olivier Deprez | afcdb7c | 2019-11-29 14:21:48 +0100 | [diff] [blame] | 61 | |
J-Alves | da6ac32 | 2020-11-09 15:45:30 +0000 | [diff] [blame] | 62 | if (ffa_ret.ret0 == FFA_ERROR) { |
| 63 | ERROR("Error: %lx\n", ffa_ret.ret2); |
| 64 | break; |
| 65 | } |
| 66 | |
J-Alves | 63cdaa7 | 2020-10-08 17:22:45 +0100 | [diff] [blame] | 67 | if (ffa_ret.ret0 != FFA_MSG_SEND_DIRECT_REQ_SMC32 && |
| 68 | ffa_ret.ret0 != FFA_MSG_SEND_DIRECT_REQ_SMC64) { |
Olivier Deprez | 73d81cf | 2020-09-15 16:57:00 +0200 | [diff] [blame] | 69 | ERROR("%s(%u) unknown func id 0x%lx\n", |
| 70 | __func__, vm_id, ffa_ret.ret0); |
| 71 | break; |
Olivier Deprez | afcdb7c | 2019-11-29 14:21:48 +0100 | [diff] [blame] | 72 | } |
| 73 | |
J-Alves | da6ac32 | 2020-11-09 15:45:30 +0000 | [diff] [blame] | 74 | destination = ffa_ret.ret1 & U(0xFFFF); |
| 75 | |
| 76 | source = ffa_ret.ret1 >> 16; |
| 77 | |
| 78 | if (destination != vm_id) { |
Olivier Deprez | 73d81cf | 2020-09-15 16:57:00 +0200 | [diff] [blame] | 79 | ERROR("%s(%u) invalid vm id 0x%lx\n", |
| 80 | __func__, vm_id, ffa_ret.ret1); |
| 81 | break; |
Olivier Deprez | afcdb7c | 2019-11-29 14:21:48 +0100 | [diff] [blame] | 82 | } |
Olivier Deprez | afcdb7c | 2019-11-29 14:21:48 +0100 | [diff] [blame] | 83 | |
J-Alves | 63cdaa7 | 2020-10-08 17:22:45 +0100 | [diff] [blame] | 84 | PRINT_CMD(ffa_ret); |
Olivier Deprez | afcdb7c | 2019-11-29 14:21:48 +0100 | [diff] [blame] | 85 | |
J-Alves | 5339201 | 2020-11-18 14:51:57 +0000 | [diff] [blame] | 86 | cactus_cmd = cactus_get_cmd(ffa_ret); |
J-Alves | 1d203f1 | 2020-11-11 11:38:49 +0000 | [diff] [blame] | 87 | |
| 88 | switch (cactus_cmd) { |
J-Alves | b9085f8 | 2020-12-07 10:57:28 +0000 | [diff] [blame] | 89 | case CACTUS_MEM_SEND_CMD: |
J-Alves | 63cdaa7 | 2020-10-08 17:22:45 +0100 | [diff] [blame] | 90 | ffa_memory_management_test( |
| 91 | mb, vm_id, source, |
J-Alves | 5339201 | 2020-11-18 14:51:57 +0000 | [diff] [blame] | 92 | cactus_req_mem_send_get_mem_func( |
| 93 | ffa_ret), |
| 94 | cactus_mem_send_get_handle(ffa_ret)); |
J-Alves | 63cdaa7 | 2020-10-08 17:22:45 +0100 | [diff] [blame] | 95 | |
| 96 | /* |
| 97 | * If execution gets to this point means all operations |
| 98 | * with memory retrieval went well, as such replying |
| 99 | */ |
J-Alves | 5339201 | 2020-11-18 14:51:57 +0000 | [diff] [blame] | 100 | ffa_ret = cactus_success_resp(vm_id, source); |
J-Alves | 63cdaa7 | 2020-10-08 17:22:45 +0100 | [diff] [blame] | 101 | break; |
J-Alves | d8edeed | 2020-11-18 10:48:12 +0000 | [diff] [blame] | 102 | case CACTUS_REQ_MEM_SEND_CMD: |
| 103 | { |
| 104 | uint32_t mem_func = |
J-Alves | 5339201 | 2020-11-18 14:51:57 +0000 | [diff] [blame] | 105 | cactus_req_mem_send_get_mem_func(ffa_ret); |
J-Alves | d8edeed | 2020-11-18 10:48:12 +0000 | [diff] [blame] | 106 | ffa_vm_id_t receiver = |
J-Alves | 5339201 | 2020-11-18 14:51:57 +0000 | [diff] [blame] | 107 | cactus_req_mem_send_get_receiver(ffa_ret); |
J-Alves | d8edeed | 2020-11-18 10:48:12 +0000 | [diff] [blame] | 108 | ffa_memory_handle_t handle; |
J-Alves | da6ac32 | 2020-11-09 15:45:30 +0000 | [diff] [blame] | 109 | |
J-Alves | d8edeed | 2020-11-18 10:48:12 +0000 | [diff] [blame] | 110 | VERBOSE("%x requested to send memory to %x (func: %x)\n", |
| 111 | source, receiver, mem_func); |
| 112 | |
| 113 | const struct ffa_memory_region_constituent |
| 114 | constituents[] = { |
| 115 | {(void *)share_page, 1, 0} |
| 116 | }; |
| 117 | |
| 118 | const uint32_t constituents_count = ( |
| 119 | sizeof(constituents) / |
| 120 | sizeof(constituents[0]) |
| 121 | ); |
| 122 | |
| 123 | handle = ffa_memory_init_and_send( |
| 124 | (struct ffa_memory_region *)mb->send, PAGE_SIZE, |
| 125 | vm_id, receiver, constituents, |
| 126 | constituents_count, mem_func); |
| 127 | |
| 128 | /* |
| 129 | * If returned an invalid handle, we should break the |
| 130 | * test. |
| 131 | */ |
| 132 | expect(handle != FFA_MEMORY_HANDLE_INVALID, true); |
| 133 | |
J-Alves | 5339201 | 2020-11-18 14:51:57 +0000 | [diff] [blame] | 134 | ffa_ret = cactus_mem_send_cmd(vm_id, receiver, mem_func, |
| 135 | handle); |
J-Alves | d8edeed | 2020-11-18 10:48:12 +0000 | [diff] [blame] | 136 | |
| 137 | if (ffa_ret.ret0 != FFA_MSG_SEND_DIRECT_RESP_SMC32) { |
| 138 | ERROR("Failed to send message. error: %lx\n", |
| 139 | ffa_ret.ret2); |
J-Alves | 5339201 | 2020-11-18 14:51:57 +0000 | [diff] [blame] | 140 | ffa_ret = cactus_error_resp(vm_id, source); |
J-Alves | d8edeed | 2020-11-18 10:48:12 +0000 | [diff] [blame] | 141 | break; |
| 142 | } |
| 143 | |
| 144 | /* If anything went bad on the receiver's end. */ |
J-Alves | 5339201 | 2020-11-18 14:51:57 +0000 | [diff] [blame] | 145 | if (cactus_get_response(ffa_ret) == CACTUS_ERROR) { |
J-Alves | d8edeed | 2020-11-18 10:48:12 +0000 | [diff] [blame] | 146 | ERROR("Received error from receiver!\n"); |
J-Alves | 5339201 | 2020-11-18 14:51:57 +0000 | [diff] [blame] | 147 | ffa_ret = cactus_error_resp(vm_id, source); |
J-Alves | d8edeed | 2020-11-18 10:48:12 +0000 | [diff] [blame] | 148 | break; |
| 149 | } |
| 150 | |
| 151 | if (mem_func != FFA_MEM_DONATE_SMC32) { |
| 152 | /* |
| 153 | * Do a memory reclaim only if the mem_func |
| 154 | * regards to memory share or lend operations, |
| 155 | * as with a donate the owner is permanently |
| 156 | * given up access to the memory region. |
| 157 | */ |
| 158 | if (ffa_mem_reclaim(handle, 0) |
| 159 | .ret0 == FFA_ERROR) { |
| 160 | ERROR("Failed to reclaim memory!\n"); |
J-Alves | 5339201 | 2020-11-18 14:51:57 +0000 | [diff] [blame] | 161 | ffa_ret = cactus_error_resp(vm_id, |
J-Alves | d8edeed | 2020-11-18 10:48:12 +0000 | [diff] [blame] | 162 | source); |
| 163 | break; |
| 164 | } |
| 165 | |
| 166 | /** |
| 167 | * Read Content that has been written to memory |
| 168 | * to validate access to memory segment has been |
| 169 | * reestablished, and receiver made use of |
| 170 | * memory region. |
| 171 | */ |
| 172 | #if (LOG_LEVEL >= LOG_LEVEL_VERBOSE) |
| 173 | uint32_t *ptr = |
| 174 | (uint32_t *)constituents |
| 175 | ->address; |
| 176 | VERBOSE("Memory contents after receiver" |
| 177 | " SP's use:\n"); |
| 178 | for (unsigned int i = 0U; i < 5U; i++) |
| 179 | VERBOSE(" %u: %x\n", i, |
| 180 | ptr[i]); |
| 181 | #endif |
| 182 | } |
| 183 | |
J-Alves | 5339201 | 2020-11-18 14:51:57 +0000 | [diff] [blame] | 184 | ffa_ret = cactus_success_resp(vm_id, source); |
| 185 | break; |
J-Alves | d8edeed | 2020-11-18 10:48:12 +0000 | [diff] [blame] | 186 | } |
J-Alves | da6ac32 | 2020-11-09 15:45:30 +0000 | [diff] [blame] | 187 | case CACTUS_ECHO_CMD: |
| 188 | { |
J-Alves | 5339201 | 2020-11-18 14:51:57 +0000 | [diff] [blame] | 189 | uint64_t echo_val = cactus_echo_get_val(ffa_ret); |
J-Alves | da6ac32 | 2020-11-09 15:45:30 +0000 | [diff] [blame] | 190 | |
| 191 | VERBOSE("Received echo at %x, value %llx.\n", |
| 192 | destination, echo_val); |
J-Alves | 5339201 | 2020-11-18 14:51:57 +0000 | [diff] [blame] | 193 | ffa_ret = cactus_response(vm_id, source, echo_val); |
J-Alves | da6ac32 | 2020-11-09 15:45:30 +0000 | [diff] [blame] | 194 | break; |
| 195 | } |
| 196 | case CACTUS_REQ_ECHO_CMD: |
| 197 | { |
| 198 | ffa_vm_id_t echo_dest = |
J-Alves | 5339201 | 2020-11-18 14:51:57 +0000 | [diff] [blame] | 199 | cactus_req_echo_get_echo_dest(ffa_ret); |
| 200 | uint64_t echo_val = cactus_echo_get_val(ffa_ret); |
J-Alves | da6ac32 | 2020-11-09 15:45:30 +0000 | [diff] [blame] | 201 | bool success = true; |
| 202 | |
| 203 | VERBOSE("%x requested to send echo to %x, value %llx\n", |
| 204 | source, echo_dest, echo_val); |
| 205 | |
J-Alves | 5339201 | 2020-11-18 14:51:57 +0000 | [diff] [blame] | 206 | ffa_ret = cactus_echo_send_cmd(vm_id, echo_dest, |
J-Alves | da6ac32 | 2020-11-09 15:45:30 +0000 | [diff] [blame] | 207 | echo_val); |
| 208 | |
| 209 | if (ffa_ret.ret0 != FFA_MSG_SEND_DIRECT_RESP_SMC32) { |
| 210 | ERROR("Failed to send message. error: %lx\n", |
| 211 | ffa_ret.ret2); |
| 212 | success = false; |
| 213 | } |
| 214 | |
J-Alves | 5339201 | 2020-11-18 14:51:57 +0000 | [diff] [blame] | 215 | if (cactus_get_response(ffa_ret) != echo_val) { |
J-Alves | da6ac32 | 2020-11-09 15:45:30 +0000 | [diff] [blame] | 216 | ERROR("Echo Failed!\n"); |
| 217 | success = false; |
| 218 | } |
| 219 | |
J-Alves | 5339201 | 2020-11-18 14:51:57 +0000 | [diff] [blame] | 220 | ffa_ret = success ? cactus_success_resp(vm_id, source) : |
| 221 | cactus_error_resp(vm_id, source); |
J-Alves | da6ac32 | 2020-11-09 15:45:30 +0000 | [diff] [blame] | 222 | break; |
| 223 | } |
J-Alves | 1d203f1 | 2020-11-11 11:38:49 +0000 | [diff] [blame] | 224 | case CACTUS_DEADLOCK_CMD: |
| 225 | case CACTUS_REQ_DEADLOCK_CMD: |
| 226 | { |
| 227 | ffa_vm_id_t deadlock_dest = |
J-Alves | 5339201 | 2020-11-18 14:51:57 +0000 | [diff] [blame] | 228 | cactus_deadlock_get_next_dest(ffa_ret); |
J-Alves | 1d203f1 | 2020-11-11 11:38:49 +0000 | [diff] [blame] | 229 | ffa_vm_id_t deadlock_next_dest = source; |
| 230 | |
| 231 | if (cactus_cmd == CACTUS_DEADLOCK_CMD) { |
| 232 | VERBOSE("%x is creating deadlock. next: %x\n", |
| 233 | source, deadlock_dest); |
| 234 | } else if (cactus_cmd == CACTUS_REQ_DEADLOCK_CMD) { |
| 235 | VERBOSE( |
| 236 | "%x requested deadlock with %x and %x\n", |
| 237 | source, deadlock_dest, deadlock_next_dest); |
| 238 | |
| 239 | deadlock_next_dest = |
J-Alves | 5339201 | 2020-11-18 14:51:57 +0000 | [diff] [blame] | 240 | cactus_deadlock_get_next_dest2(ffa_ret); |
J-Alves | 1d203f1 | 2020-11-11 11:38:49 +0000 | [diff] [blame] | 241 | } |
| 242 | |
J-Alves | 5339201 | 2020-11-18 14:51:57 +0000 | [diff] [blame] | 243 | ffa_ret = cactus_deadlock_send_cmd(vm_id, deadlock_dest, |
J-Alves | 1d203f1 | 2020-11-11 11:38:49 +0000 | [diff] [blame] | 244 | deadlock_next_dest); |
| 245 | |
| 246 | /* |
| 247 | * Should be true for the last partition to attempt |
| 248 | * an FF-A direct message, to the first partition. |
| 249 | */ |
| 250 | bool is_deadlock_detected = |
| 251 | (ffa_ret.ret0 == FFA_ERROR) && |
| 252 | (ffa_ret.ret2 == FFA_ERROR_BUSY); |
| 253 | |
| 254 | /* |
| 255 | * Should be true after the deadlock has been detected |
| 256 | * and after the first response has been sent down the |
| 257 | * request chain. |
| 258 | */ |
| 259 | bool is_returning_from_deadlock = |
| 260 | (ffa_ret.ret0 == FFA_MSG_SEND_DIRECT_RESP_SMC32) |
J-Alves | 5339201 | 2020-11-18 14:51:57 +0000 | [diff] [blame] | 261 | && |
| 262 | (cactus_get_response(ffa_ret) == CACTUS_SUCCESS); |
J-Alves | 1d203f1 | 2020-11-11 11:38:49 +0000 | [diff] [blame] | 263 | |
| 264 | if (is_deadlock_detected) { |
| 265 | NOTICE("Attempting dealock but got error %lx\n", |
| 266 | ffa_ret.ret2); |
| 267 | } |
| 268 | |
| 269 | if (is_deadlock_detected || |
| 270 | is_returning_from_deadlock) { |
| 271 | /* |
| 272 | * This is not the partition, that would have |
| 273 | * created the deadlock. As such, reply back |
| 274 | * to the partitions. |
| 275 | */ |
J-Alves | 5339201 | 2020-11-18 14:51:57 +0000 | [diff] [blame] | 276 | ffa_ret = cactus_success_resp(vm_id, source); |
J-Alves | 1d203f1 | 2020-11-11 11:38:49 +0000 | [diff] [blame] | 277 | break; |
| 278 | } |
| 279 | |
| 280 | /* Shouldn't get to this point */ |
| 281 | ERROR("Deadlock test went wrong!\n"); |
J-Alves | 5339201 | 2020-11-18 14:51:57 +0000 | [diff] [blame] | 282 | ffa_ret = cactus_error_resp(vm_id, source); |
J-Alves | 1d203f1 | 2020-11-11 11:38:49 +0000 | [diff] [blame] | 283 | break; |
| 284 | } |
J-Alves | 63cdaa7 | 2020-10-08 17:22:45 +0100 | [diff] [blame] | 285 | default: |
| 286 | /* |
| 287 | * Currently direct message test is handled here. |
| 288 | * TODO: create a case within the switch case |
| 289 | * For the sake of testing, add the vm id to the |
| 290 | * received message. |
| 291 | */ |
J-Alves | 63cdaa7 | 2020-10-08 17:22:45 +0100 | [diff] [blame] | 292 | sp_response = ffa_ret.ret3 | vm_id; |
Olivier Deprez | aed7f08 | 2020-11-04 15:11:59 +0100 | [diff] [blame] | 293 | VERBOSE("Replying with direct message response: %x\n", sp_response); |
J-Alves | 63cdaa7 | 2020-10-08 17:22:45 +0100 | [diff] [blame] | 294 | ffa_ret = ffa_msg_send_direct_resp(vm_id, |
| 295 | HYP_ID, |
| 296 | sp_response); |
| 297 | |
| 298 | break; |
| 299 | } |
Olivier Deprez | afcdb7c | 2019-11-29 14:21:48 +0100 | [diff] [blame] | 300 | } |
Olivier Deprez | 73d81cf | 2020-09-15 16:57:00 +0200 | [diff] [blame] | 301 | |
| 302 | panic(); |
Olivier Deprez | afcdb7c | 2019-11-29 14:21:48 +0100 | [diff] [blame] | 303 | } |
| 304 | |
| 305 | static const mmap_region_t cactus_mmap[] __attribute__((used)) = { |
Arunachalam Ganapathy | 51be1fe | 2020-09-22 13:25:21 +0100 | [diff] [blame] | 306 | /* PLAT_ARM_DEVICE0 area includes UART2 necessary to console */ |
| 307 | MAP_REGION_FLAT(PLAT_ARM_DEVICE0_BASE, PLAT_ARM_DEVICE0_SIZE, |
| 308 | MT_DEVICE | MT_RW), |
Olivier Deprez | afcdb7c | 2019-11-29 14:21:48 +0100 | [diff] [blame] | 309 | {0} |
| 310 | }; |
| 311 | |
Manish Pandey | 26c6f81 | 2020-04-30 11:43:00 +0100 | [diff] [blame] | 312 | static void cactus_print_memory_layout(unsigned int vm_id) |
Sandrine Bailleux | 3cd87d7 | 2018-10-09 11:12:55 +0200 | [diff] [blame] | 313 | { |
Olivier Deprez | aed7f08 | 2020-11-04 15:11:59 +0100 | [diff] [blame] | 314 | INFO("Secure Partition memory layout:\n"); |
Sandrine Bailleux | 3cd87d7 | 2018-10-09 11:12:55 +0200 | [diff] [blame] | 315 | |
Olivier Deprez | aed7f08 | 2020-11-04 15:11:59 +0100 | [diff] [blame] | 316 | INFO(" Text region : %p - %p\n", |
Antonio Nino Diaz | 1486f3b | 2018-06-26 10:30:10 +0100 | [diff] [blame] | 317 | (void *)CACTUS_TEXT_START, (void *)CACTUS_TEXT_END); |
Manish Pandey | 26c6f81 | 2020-04-30 11:43:00 +0100 | [diff] [blame] | 318 | |
Olivier Deprez | aed7f08 | 2020-11-04 15:11:59 +0100 | [diff] [blame] | 319 | INFO(" Read-only data region : %p - %p\n", |
Antonio Nino Diaz | 1486f3b | 2018-06-26 10:30:10 +0100 | [diff] [blame] | 320 | (void *)CACTUS_RODATA_START, (void *)CACTUS_RODATA_END); |
Manish Pandey | 26c6f81 | 2020-04-30 11:43:00 +0100 | [diff] [blame] | 321 | |
Olivier Deprez | aed7f08 | 2020-11-04 15:11:59 +0100 | [diff] [blame] | 322 | INFO(" Data region : %p - %p\n", |
Antonio Nino Diaz | 1486f3b | 2018-06-26 10:30:10 +0100 | [diff] [blame] | 323 | (void *)CACTUS_DATA_START, (void *)CACTUS_DATA_END); |
Manish Pandey | 26c6f81 | 2020-04-30 11:43:00 +0100 | [diff] [blame] | 324 | |
Olivier Deprez | aed7f08 | 2020-11-04 15:11:59 +0100 | [diff] [blame] | 325 | INFO(" BSS region : %p - %p\n", |
Antonio Nino Diaz | 1486f3b | 2018-06-26 10:30:10 +0100 | [diff] [blame] | 326 | (void *)CACTUS_BSS_START, (void *)CACTUS_BSS_END); |
Manish Pandey | 26c6f81 | 2020-04-30 11:43:00 +0100 | [diff] [blame] | 327 | |
Olivier Deprez | aed7f08 | 2020-11-04 15:11:59 +0100 | [diff] [blame] | 328 | INFO(" RX : %p - %p\n", |
Max Shvetsov | c32f478 | 2020-06-23 09:41:15 +0100 | [diff] [blame] | 329 | (void *)get_sp_rx_start(vm_id), |
| 330 | (void *)get_sp_rx_end(vm_id)); |
Manish Pandey | 26c6f81 | 2020-04-30 11:43:00 +0100 | [diff] [blame] | 331 | |
Olivier Deprez | aed7f08 | 2020-11-04 15:11:59 +0100 | [diff] [blame] | 332 | INFO(" TX : %p - %p\n", |
Max Shvetsov | c32f478 | 2020-06-23 09:41:15 +0100 | [diff] [blame] | 333 | (void *)get_sp_tx_start(vm_id), |
| 334 | (void *)get_sp_tx_end(vm_id)); |
Sandrine Bailleux | 3cd87d7 | 2018-10-09 11:12:55 +0200 | [diff] [blame] | 335 | } |
| 336 | |
Manish Pandey | 26c6f81 | 2020-04-30 11:43:00 +0100 | [diff] [blame] | 337 | static void cactus_plat_configure_mmu(unsigned int vm_id) |
Antonio Nino Diaz | 43ef393 | 2018-07-03 14:39:47 +0100 | [diff] [blame] | 338 | { |
Olivier Deprez | afcdb7c | 2019-11-29 14:21:48 +0100 | [diff] [blame] | 339 | mmap_add_region(CACTUS_TEXT_START, |
| 340 | CACTUS_TEXT_START, |
| 341 | CACTUS_TEXT_END - CACTUS_TEXT_START, |
| 342 | MT_CODE); |
| 343 | mmap_add_region(CACTUS_RODATA_START, |
| 344 | CACTUS_RODATA_START, |
| 345 | CACTUS_RODATA_END - CACTUS_RODATA_START, |
| 346 | MT_RO_DATA); |
| 347 | mmap_add_region(CACTUS_DATA_START, |
| 348 | CACTUS_DATA_START, |
| 349 | CACTUS_DATA_END - CACTUS_DATA_START, |
| 350 | MT_RW_DATA); |
| 351 | mmap_add_region(CACTUS_BSS_START, |
| 352 | CACTUS_BSS_START, |
| 353 | CACTUS_BSS_END - CACTUS_BSS_START, |
| 354 | MT_RW_DATA); |
Antonio Nino Diaz | 43ef393 | 2018-07-03 14:39:47 +0100 | [diff] [blame] | 355 | |
Max Shvetsov | c32f478 | 2020-06-23 09:41:15 +0100 | [diff] [blame] | 356 | mmap_add_region(get_sp_rx_start(vm_id), |
| 357 | get_sp_rx_start(vm_id), |
Manish Pandey | 26c6f81 | 2020-04-30 11:43:00 +0100 | [diff] [blame] | 358 | (CACTUS_RX_TX_SIZE / 2), |
| 359 | MT_RO_DATA); |
| 360 | |
Max Shvetsov | c32f478 | 2020-06-23 09:41:15 +0100 | [diff] [blame] | 361 | mmap_add_region(get_sp_tx_start(vm_id), |
| 362 | get_sp_tx_start(vm_id), |
Manish Pandey | 26c6f81 | 2020-04-30 11:43:00 +0100 | [diff] [blame] | 363 | (CACTUS_RX_TX_SIZE / 2), |
| 364 | MT_RW_DATA); |
| 365 | |
Olivier Deprez | afcdb7c | 2019-11-29 14:21:48 +0100 | [diff] [blame] | 366 | mmap_add(cactus_mmap); |
| 367 | init_xlat_tables(); |
Antonio Nino Diaz | 43ef393 | 2018-07-03 14:39:47 +0100 | [diff] [blame] | 368 | } |
| 369 | |
Olivier Deprez | 458d553 | 2020-06-09 17:56:20 +0200 | [diff] [blame] | 370 | int tftf_irq_handler_dispatcher(void) |
| 371 | { |
| 372 | ERROR("%s\n", __func__); |
| 373 | |
| 374 | return 0; |
| 375 | } |
| 376 | |
Antonio Nino Diaz | 1486f3b | 2018-06-26 10:30:10 +0100 | [diff] [blame] | 377 | void __dead2 cactus_main(void) |
Sandrine Bailleux | 3cd87d7 | 2018-10-09 11:12:55 +0200 | [diff] [blame] | 378 | { |
Olivier Deprez | afcdb7c | 2019-11-29 14:21:48 +0100 | [diff] [blame] | 379 | assert(IS_IN_EL1() != 0); |
| 380 | |
Max Shvetsov | c32f478 | 2020-06-23 09:41:15 +0100 | [diff] [blame] | 381 | struct mailbox_buffers mb; |
J-Alves | da6ac32 | 2020-11-09 15:45:30 +0000 | [diff] [blame] | 382 | |
Olivier Deprez | afcdb7c | 2019-11-29 14:21:48 +0100 | [diff] [blame] | 383 | /* Clear BSS */ |
| 384 | memset((void *)CACTUS_BSS_START, |
| 385 | 0, CACTUS_BSS_END - CACTUS_BSS_START); |
| 386 | |
J-Alves | 7581c38 | 2020-05-07 18:34:20 +0100 | [diff] [blame] | 387 | /* Get current FFA id */ |
| 388 | smc_ret_values ffa_id_ret = ffa_id_get(); |
| 389 | if (ffa_id_ret.ret0 != FFA_SUCCESS_SMC32) { |
| 390 | ERROR("FFA_ID_GET failed.\n"); |
Olivier Deprez | afcdb7c | 2019-11-29 14:21:48 +0100 | [diff] [blame] | 391 | panic(); |
| 392 | } |
| 393 | |
J-Alves | 7581c38 | 2020-05-07 18:34:20 +0100 | [diff] [blame] | 394 | ffa_vm_id_t ffa_id = ffa_id_ret.ret2 & 0xffff; |
Max Shvetsov | c32f478 | 2020-06-23 09:41:15 +0100 | [diff] [blame] | 395 | mb.send = (void *) get_sp_tx_start(ffa_id); |
| 396 | mb.recv = (void *) get_sp_rx_start(ffa_id); |
Olivier Deprez | afcdb7c | 2019-11-29 14:21:48 +0100 | [diff] [blame] | 397 | |
Manish Pandey | 26c6f81 | 2020-04-30 11:43:00 +0100 | [diff] [blame] | 398 | /* Configure and enable Stage-1 MMU, enable D-Cache */ |
| 399 | cactus_plat_configure_mmu(ffa_id); |
| 400 | enable_mmu_el1(0); |
| 401 | |
J-Alves | 7581c38 | 2020-05-07 18:34:20 +0100 | [diff] [blame] | 402 | if (ffa_id == SPM_VM_ID_FIRST) { |
Arunachalam Ganapathy | 51be1fe | 2020-09-22 13:25:21 +0100 | [diff] [blame] | 403 | console_init(CACTUS_PL011_UART_BASE, |
| 404 | CACTUS_PL011_UART_CLK_IN_HZ, |
| 405 | PL011_BAUDRATE); |
Manish Pandey | 2949537 | 2020-04-09 15:19:26 +0100 | [diff] [blame] | 406 | |
| 407 | set_putc_impl(PL011_AS_STDOUT); |
| 408 | |
| 409 | NOTICE("Booting Primary Cactus Secure Partition\n%s\n%s\n", |
| 410 | build_message, version_string); |
Manish Pandey | 2949537 | 2020-04-09 15:19:26 +0100 | [diff] [blame] | 411 | } else { |
J-Alves | 83ede9b | 2020-11-02 17:37:19 +0000 | [diff] [blame] | 412 | smc_ret_values ret; |
Manish Pandey | 2949537 | 2020-04-09 15:19:26 +0100 | [diff] [blame] | 413 | set_putc_impl(HVC_CALL_AS_STDOUT); |
| 414 | |
Olivier Deprez | aed7f08 | 2020-11-04 15:11:59 +0100 | [diff] [blame] | 415 | NOTICE("Booting Secondary Cactus Secure Partition (ID: %x)\n%s\n%s\n", |
Ruari Phipps | bd0a7e4 | 2020-07-17 16:42:21 +0100 | [diff] [blame] | 416 | ffa_id, build_message, version_string); |
| 417 | |
Olivier Deprez | 0be4abe | 2020-08-04 11:26:13 +0200 | [diff] [blame] | 418 | if (ffa_id == (SPM_VM_ID_FIRST + 2)) { |
Olivier Deprez | aed7f08 | 2020-11-04 15:11:59 +0100 | [diff] [blame] | 419 | VERBOSE("Mapping RXTX Region\n"); |
J-Alves | 83ede9b | 2020-11-02 17:37:19 +0000 | [diff] [blame] | 420 | CONFIGURE_AND_MAP_MAILBOX(mb, PAGE_SIZE, ret); |
Ruari Phipps | bd0a7e4 | 2020-07-17 16:42:21 +0100 | [diff] [blame] | 421 | if (ret.ret0 != FFA_SUCCESS_SMC32) { |
J-Alves | 83ede9b | 2020-11-02 17:37:19 +0000 | [diff] [blame] | 422 | ERROR( |
| 423 | "Failed to map RXTX buffers. Error: %lx\n", |
| 424 | ret.ret2); |
Ruari Phipps | bd0a7e4 | 2020-07-17 16:42:21 +0100 | [diff] [blame] | 425 | panic(); |
| 426 | } |
Ruari Phipps | bd0a7e4 | 2020-07-17 16:42:21 +0100 | [diff] [blame] | 427 | } |
Olivier Deprez | afcdb7c | 2019-11-29 14:21:48 +0100 | [diff] [blame] | 428 | } |
Manish Pandey | 26c6f81 | 2020-04-30 11:43:00 +0100 | [diff] [blame] | 429 | |
Olivier Deprez | aed7f08 | 2020-11-04 15:11:59 +0100 | [diff] [blame] | 430 | INFO("FF-A id: %x\n", ffa_id); |
Manish Pandey | 26c6f81 | 2020-04-30 11:43:00 +0100 | [diff] [blame] | 431 | cactus_print_memory_layout(ffa_id); |
| 432 | |
J-Alves | 9f6f014 | 2020-06-17 15:37:59 +0100 | [diff] [blame] | 433 | /* Invoking Tests */ |
Max Shvetsov | c32f478 | 2020-06-23 09:41:15 +0100 | [diff] [blame] | 434 | ffa_tests(&mb); |
J-Alves | 9f6f014 | 2020-06-17 15:37:59 +0100 | [diff] [blame] | 435 | |
Olivier Deprez | afcdb7c | 2019-11-29 14:21:48 +0100 | [diff] [blame] | 436 | /* End up to message loop */ |
J-Alves | 63cdaa7 | 2020-10-08 17:22:45 +0100 | [diff] [blame] | 437 | message_loop(ffa_id, &mb); |
Antonio Nino Diaz | 43ef393 | 2018-07-03 14:39:47 +0100 | [diff] [blame] | 438 | |
Olivier Deprez | afcdb7c | 2019-11-29 14:21:48 +0100 | [diff] [blame] | 439 | /* Not reached */ |
Sandrine Bailleux | 3cd87d7 | 2018-10-09 11:12:55 +0200 | [diff] [blame] | 440 | } |