nabkah01 | 002e569 | 2022-10-10 12:36:46 +0100 | [diff] [blame] | 1 | /* |
AlexeiFedorov | 2f30f10 | 2023-03-13 19:37:46 +0000 | [diff] [blame] | 2 | * Copyright (c) 2022-2023, Arm Limited. All rights reserved. |
nabkah01 | 002e569 | 2022-10-10 12:36:46 +0100 | [diff] [blame] | 3 | * |
| 4 | * SPDX-License-Identifier: BSD-3-Clause |
| 5 | * |
| 6 | */ |
| 7 | |
| 8 | #include <stdio.h> |
| 9 | |
Shruti Gupta | 9d0cfe8 | 2023-04-17 10:57:26 +0100 | [diff] [blame] | 10 | #include <arch_features.h> |
nabkah01 | 002e569 | 2022-10-10 12:36:46 +0100 | [diff] [blame] | 11 | #include <debug.h> |
Shruti Gupta | 369955a | 2023-04-19 18:05:56 +0100 | [diff] [blame] | 12 | #include <fpu.h> |
nabkah01 | 002e569 | 2022-10-10 12:36:46 +0100 | [diff] [blame] | 13 | #include <host_realm_helper.h> |
| 14 | #include <host_shared_data.h> |
Shruti Gupta | 9d0cfe8 | 2023-04-17 10:57:26 +0100 | [diff] [blame] | 15 | #include <pauth.h> |
nabkah01 | 002e569 | 2022-10-10 12:36:46 +0100 | [diff] [blame] | 16 | #include "realm_def.h" |
| 17 | #include <realm_rsi.h> |
AlexeiFedorov | 2f30f10 | 2023-03-13 19:37:46 +0000 | [diff] [blame] | 18 | #include <realm_tests.h> |
Shruti Gupta | b027f57 | 2024-01-02 22:00:29 +0000 | [diff] [blame] | 19 | #include <sync.h> |
nabkah01 | 002e569 | 2022-10-10 12:36:46 +0100 | [diff] [blame] | 20 | #include <tftf_lib.h> |
| 21 | |
Arunachalam Ganapathy | 7e514f6 | 2023-08-30 13:27:36 +0100 | [diff] [blame] | 22 | static fpu_state_t rl_fpu_state_write; |
| 23 | static fpu_state_t rl_fpu_state_read; |
nabkah01 | 002e569 | 2022-10-10 12:36:46 +0100 | [diff] [blame] | 24 | /* |
AlexeiFedorov | 2f30f10 | 2023-03-13 19:37:46 +0000 | [diff] [blame] | 25 | * This function reads sleep time in ms from shared buffer and spins PE |
| 26 | * in a loop for that time period. |
nabkah01 | 002e569 | 2022-10-10 12:36:46 +0100 | [diff] [blame] | 27 | */ |
| 28 | static void realm_sleep_cmd(void) |
| 29 | { |
Shruti Gupta | 52b5f02 | 2023-10-12 22:02:29 +0100 | [diff] [blame] | 30 | uint64_t sleep = realm_shared_data_get_my_host_val(HOST_ARG1_INDEX); |
nabkah01 | 002e569 | 2022-10-10 12:36:46 +0100 | [diff] [blame] | 31 | |
Shruti Gupta | a276b20 | 2023-12-18 10:07:43 +0000 | [diff] [blame] | 32 | realm_printf("going to sleep for %llums\n", sleep); |
nabkah01 | 002e569 | 2022-10-10 12:36:46 +0100 | [diff] [blame] | 33 | waitms(sleep); |
| 34 | } |
| 35 | |
Shruti Gupta | 6bb9510 | 2023-10-02 13:21:37 +0100 | [diff] [blame] | 36 | static void realm_loop_cmd(void) |
| 37 | { |
| 38 | while (true) { |
| 39 | waitms(500); |
| 40 | } |
| 41 | } |
| 42 | |
nabkah01 | 002e569 | 2022-10-10 12:36:46 +0100 | [diff] [blame] | 43 | /* |
| 44 | * This function requests RSI/ABI version from RMM. |
| 45 | */ |
Shruti Gupta | 40de8ec | 2023-10-12 21:45:12 +0100 | [diff] [blame] | 46 | static bool realm_get_rsi_version(void) |
nabkah01 | 002e569 | 2022-10-10 12:36:46 +0100 | [diff] [blame] | 47 | { |
Shruti Gupta | 40de8ec | 2023-10-12 21:45:12 +0100 | [diff] [blame] | 48 | u_register_t version = 0U; |
nabkah01 | 002e569 | 2022-10-10 12:36:46 +0100 | [diff] [blame] | 49 | |
Shruti Gupta | 40de8ec | 2023-10-12 21:45:12 +0100 | [diff] [blame] | 50 | version = rsi_get_version(RSI_ABI_VERSION_VAL); |
nabkah01 | 002e569 | 2022-10-10 12:36:46 +0100 | [diff] [blame] | 51 | if (version == (u_register_t)SMC_UNKNOWN) { |
Shruti Gupta | 40de8ec | 2023-10-12 21:45:12 +0100 | [diff] [blame] | 52 | realm_printf("SMC_RSI_ABI_VERSION failed\n"); |
| 53 | return false; |
nabkah01 | 002e569 | 2022-10-10 12:36:46 +0100 | [diff] [blame] | 54 | } |
| 55 | |
Shruti Gupta | 40de8ec | 2023-10-12 21:45:12 +0100 | [diff] [blame] | 56 | realm_printf("RSI ABI version %u.%u (expected: %u.%u)\n", |
nabkah01 | 002e569 | 2022-10-10 12:36:46 +0100 | [diff] [blame] | 57 | RSI_ABI_VERSION_GET_MAJOR(version), |
| 58 | RSI_ABI_VERSION_GET_MINOR(version), |
Shruti Gupta | 40de8ec | 2023-10-12 21:45:12 +0100 | [diff] [blame] | 59 | RSI_ABI_VERSION_GET_MAJOR(RSI_ABI_VERSION_VAL), |
| 60 | RSI_ABI_VERSION_GET_MINOR(RSI_ABI_VERSION_VAL)); |
| 61 | return true; |
nabkah01 | 002e569 | 2022-10-10 12:36:46 +0100 | [diff] [blame] | 62 | } |
| 63 | |
Shruti Gupta | bb77219 | 2023-10-09 16:08:28 +0100 | [diff] [blame] | 64 | bool test_realm_set_ripas(void) |
| 65 | { |
| 66 | u_register_t ret, base, new_base, top; |
| 67 | rsi_ripas_respose_type response; |
| 68 | rsi_ripas_type ripas; |
| 69 | |
| 70 | base = realm_shared_data_get_my_host_val(HOST_ARG1_INDEX); |
| 71 | top = realm_shared_data_get_my_host_val(HOST_ARG2_INDEX); |
| 72 | realm_printf("base=0x%lx top =0x%lx\n", base, top); |
| 73 | ret = rsi_ipa_state_get(base, &ripas); |
| 74 | if (ripas != RSI_EMPTY) { |
| 75 | return false; |
| 76 | } |
| 77 | |
| 78 | ret = rsi_ipa_state_set(base, top, RSI_RAM, |
| 79 | RSI_NO_CHANGE_DESTROYED, &new_base, &response); |
| 80 | if (ret != RSI_SUCCESS || response != RSI_ACCEPT) { |
| 81 | return false; |
| 82 | } |
| 83 | while (new_base < top) { |
| 84 | realm_printf("new_base=0x%lx top =0x%lx\n", new_base, top); |
| 85 | ret = rsi_ipa_state_set(new_base, top, RSI_RAM, |
| 86 | RSI_NO_CHANGE_DESTROYED, &new_base, &response); |
| 87 | if (ret != RSI_SUCCESS || response != RSI_ACCEPT) { |
| 88 | realm_printf("rsi_ipa_state_set failed\n"); |
| 89 | return false; |
| 90 | } |
| 91 | } |
| 92 | |
| 93 | /* Verify that RIAS has changed for range base-top. */ |
| 94 | for (unsigned int i = 0U; (base + (PAGE_SIZE * i) < top); i++) { |
| 95 | ret = rsi_ipa_state_get(base + (PAGE_SIZE * i), &ripas); |
| 96 | if (ret != RSI_SUCCESS || ripas != RSI_RAM) { |
| 97 | realm_printf("rsi_ipa_state_get failed base=0x%lx, ripas=0x%x\n", |
| 98 | base + (PAGE_SIZE * i), ripas); |
| 99 | return false; |
| 100 | } |
| 101 | } |
| 102 | return true; |
| 103 | } |
| 104 | |
Shruti Gupta | fef8621 | 2023-10-17 12:15:38 +0100 | [diff] [blame] | 105 | bool test_realm_reject_set_ripas(void) |
| 106 | { |
| 107 | u_register_t ret, base, new_base; |
| 108 | rsi_ripas_respose_type response; |
| 109 | rsi_ripas_type ripas; |
| 110 | |
| 111 | base = realm_shared_data_get_my_host_val(HOST_ARG1_INDEX); |
| 112 | ret = rsi_ipa_state_get(base, &ripas); |
| 113 | if (ret != RSI_SUCCESS || ripas != RSI_EMPTY) { |
| 114 | realm_printf("Wrong initial ripas=0x%lx\n", ripas); |
| 115 | return false; |
| 116 | } |
| 117 | ret = rsi_ipa_state_set(base, base + PAGE_SIZE, RSI_RAM, |
| 118 | RSI_NO_CHANGE_DESTROYED, &new_base, &response); |
| 119 | if (ret == RSI_SUCCESS && response == RSI_REJECT) { |
| 120 | realm_printf("rsi_ipa_state_set passed response = %d\n", response); |
| 121 | ret = rsi_ipa_state_get(base, &ripas); |
| 122 | if (ret == RSI_SUCCESS && ripas == RSI_EMPTY) { |
| 123 | return true; |
| 124 | } else { |
| 125 | realm_printf("rsi_ipa_state_get failed ripas = %d\n", ripas); |
| 126 | return false; |
| 127 | } |
| 128 | } |
| 129 | realm_printf("rsi_ipa_state_set failed ret=0x%lx, response = %d\n", ret, response); |
| 130 | return false; |
| 131 | } |
| 132 | |
Shruti Gupta | 2a5abad | 2024-01-17 13:48:44 +0000 | [diff] [blame^] | 133 | bool test_realm_dit_check_cmd(void) |
| 134 | { |
| 135 | if (is_armv8_4_dit_present()) { |
| 136 | write_dit(DIT_BIT); |
| 137 | realm_printf("Testing DIT=0x%lx\n", read_dit()); |
| 138 | /* Test if DIT is preserved after HOST_CALL */ |
| 139 | if (read_dit() == DIT_BIT) { |
| 140 | return true; |
| 141 | } |
| 142 | } |
| 143 | return false; |
| 144 | } |
| 145 | |
| 146 | |
Shruti Gupta | e68494e | 2023-11-06 11:04:57 +0000 | [diff] [blame] | 147 | static bool test_realm_instr_fetch_cmd(void) |
| 148 | { |
| 149 | u_register_t base; |
| 150 | void (*func_ptr)(void); |
| 151 | rsi_ripas_type ripas; |
| 152 | |
| 153 | base = realm_shared_data_get_my_host_val(HOST_ARG1_INDEX); |
| 154 | rsi_ipa_state_get(base, &ripas); |
| 155 | realm_printf("Initial ripas=0x%lx\n", ripas); |
| 156 | /* causes instruction abort */ |
| 157 | realm_printf("Generate Instruction Abort\n"); |
| 158 | func_ptr = (void (*)(void))base; |
| 159 | func_ptr(); |
| 160 | /* should not return */ |
| 161 | return false; |
| 162 | } |
| 163 | |
| 164 | static bool test_realm_data_access_cmd(void) |
| 165 | { |
| 166 | u_register_t base; |
| 167 | rsi_ripas_type ripas; |
| 168 | |
| 169 | base = realm_shared_data_get_my_host_val(HOST_ARG1_INDEX); |
| 170 | rsi_ipa_state_get(base, &ripas); |
| 171 | realm_printf("Initial ripas=0x%lx\n", ripas); |
| 172 | /* causes data abort */ |
| 173 | realm_printf("Generate Data Abort\n"); |
| 174 | *((volatile uint64_t *)base); |
| 175 | /* should not return */ |
| 176 | return false; |
| 177 | } |
| 178 | |
Shruti Gupta | b027f57 | 2024-01-02 22:00:29 +0000 | [diff] [blame] | 179 | static bool realm_exception_handler(void) |
| 180 | { |
| 181 | u_register_t base, far, esr; |
| 182 | |
| 183 | base = realm_shared_data_get_my_host_val(HOST_ARG1_INDEX); |
| 184 | far = read_far_el1(); |
| 185 | esr = read_esr_el1(); |
| 186 | |
| 187 | if (far == base) { |
| 188 | /* return ESR to Host */ |
| 189 | realm_shared_data_set_my_realm_val(HOST_ARG2_INDEX, esr); |
| 190 | rsi_exit_to_host(HOST_CALL_EXIT_SUCCESS_CMD); |
| 191 | } |
| 192 | realm_printf("Realm Abort fail incorrect FAR=0x%lx ESR+0x%lx\n", far, esr); |
| 193 | rsi_exit_to_host(HOST_CALL_EXIT_FAILED_CMD); |
| 194 | |
| 195 | /* Should not return. */ |
| 196 | return false; |
| 197 | } |
| 198 | |
nabkah01 | 002e569 | 2022-10-10 12:36:46 +0100 | [diff] [blame] | 199 | /* |
| 200 | * This is the entry function for Realm payload, it first requests the shared buffer |
| 201 | * IPA address from Host using HOST_CALL/RSI, it reads the command to be executed, |
| 202 | * performs the request, and returns to Host with the execution state SUCCESS/FAILED |
| 203 | * |
| 204 | * Host in NS world requests Realm to execute certain operations using command |
| 205 | * depending on the test case the Host wants to perform. |
| 206 | */ |
| 207 | void realm_payload_main(void) |
| 208 | { |
nabkah01 | 002e569 | 2022-10-10 12:36:46 +0100 | [diff] [blame] | 209 | bool test_succeed = false; |
| 210 | |
Shruti Gupta | b027f57 | 2024-01-02 22:00:29 +0000 | [diff] [blame] | 211 | register_custom_sync_exception_handler(realm_exception_handler); |
nabkah01 | 002e569 | 2022-10-10 12:36:46 +0100 | [diff] [blame] | 212 | realm_set_shared_structure((host_shared_data_t *)rsi_get_ns_buffer()); |
Shruti Gupta | 550e3e8 | 2023-08-16 13:20:11 +0100 | [diff] [blame] | 213 | if (realm_get_my_shared_structure() != NULL) { |
| 214 | uint8_t cmd = realm_shared_data_get_my_realm_cmd(); |
AlexeiFedorov | 2f30f10 | 2023-03-13 19:37:46 +0000 | [diff] [blame] | 215 | |
nabkah01 | 002e569 | 2022-10-10 12:36:46 +0100 | [diff] [blame] | 216 | switch (cmd) { |
| 217 | case REALM_SLEEP_CMD: |
| 218 | realm_sleep_cmd(); |
| 219 | test_succeed = true; |
| 220 | break; |
Shruti Gupta | 6bb9510 | 2023-10-02 13:21:37 +0100 | [diff] [blame] | 221 | case REALM_LOOP_CMD: |
| 222 | realm_loop_cmd(); |
| 223 | test_succeed = true; |
| 224 | break; |
Shruti Gupta | 24597d1 | 2023-10-02 10:40:19 +0100 | [diff] [blame] | 225 | case REALM_MULTIPLE_REC_PSCI_DENIED_CMD: |
| 226 | test_succeed = test_realm_multiple_rec_psci_denied_cmd(); |
Shruti Gupta | e68494e | 2023-11-06 11:04:57 +0000 | [diff] [blame] | 227 | break; |
Shruti Gupta | affbae8 | 2023-08-22 12:51:11 +0100 | [diff] [blame] | 228 | case REALM_MULTIPLE_REC_MULTIPLE_CPU_CMD: |
| 229 | test_succeed = test_realm_multiple_rec_multiple_cpu_cmd(); |
Shruti Gupta | 24597d1 | 2023-10-02 10:40:19 +0100 | [diff] [blame] | 230 | break; |
Shruti Gupta | e68494e | 2023-11-06 11:04:57 +0000 | [diff] [blame] | 231 | case REALM_INSTR_FETCH_CMD: |
| 232 | test_succeed = test_realm_instr_fetch_cmd(); |
| 233 | break; |
| 234 | case REALM_DATA_ACCESS_CMD: |
| 235 | test_succeed = test_realm_data_access_cmd(); |
| 236 | break; |
Shruti Gupta | 9d0cfe8 | 2023-04-17 10:57:26 +0100 | [diff] [blame] | 237 | case REALM_PAUTH_SET_CMD: |
| 238 | test_succeed = test_realm_pauth_set_cmd(); |
| 239 | break; |
| 240 | case REALM_PAUTH_CHECK_CMD: |
| 241 | test_succeed = test_realm_pauth_check_cmd(); |
| 242 | break; |
| 243 | case REALM_PAUTH_FAULT: |
| 244 | test_succeed = test_realm_pauth_fault(); |
| 245 | break; |
Shruti Gupta | 2a5abad | 2024-01-17 13:48:44 +0000 | [diff] [blame^] | 246 | case REALM_DIT_CHECK_CMD: |
| 247 | test_succeed = test_realm_dit_check_cmd(); |
| 248 | break; |
nabkah01 | 002e569 | 2022-10-10 12:36:46 +0100 | [diff] [blame] | 249 | case REALM_GET_RSI_VERSION: |
Shruti Gupta | 40de8ec | 2023-10-12 21:45:12 +0100 | [diff] [blame] | 250 | test_succeed = realm_get_rsi_version(); |
nabkah01 | 002e569 | 2022-10-10 12:36:46 +0100 | [diff] [blame] | 251 | break; |
AlexeiFedorov | 2f30f10 | 2023-03-13 19:37:46 +0000 | [diff] [blame] | 252 | case REALM_PMU_CYCLE: |
| 253 | test_succeed = test_pmuv3_cycle_works_realm(); |
| 254 | break; |
| 255 | case REALM_PMU_EVENT: |
| 256 | test_succeed = test_pmuv3_event_works_realm(); |
| 257 | break; |
| 258 | case REALM_PMU_PRESERVE: |
| 259 | test_succeed = test_pmuv3_rmm_preserves(); |
| 260 | break; |
| 261 | case REALM_PMU_INTERRUPT: |
| 262 | test_succeed = test_pmuv3_overflow_interrupt(); |
| 263 | break; |
Shruti Gupta | 369955a | 2023-04-19 18:05:56 +0100 | [diff] [blame] | 264 | case REALM_REQ_FPU_FILL_CMD: |
Arunachalam Ganapathy | 7e514f6 | 2023-08-30 13:27:36 +0100 | [diff] [blame] | 265 | fpu_state_write_rand(&rl_fpu_state_write); |
Shruti Gupta | 369955a | 2023-04-19 18:05:56 +0100 | [diff] [blame] | 266 | test_succeed = true; |
| 267 | break; |
| 268 | case REALM_REQ_FPU_CMP_CMD: |
Arunachalam Ganapathy | 7e514f6 | 2023-08-30 13:27:36 +0100 | [diff] [blame] | 269 | fpu_state_read(&rl_fpu_state_read); |
| 270 | test_succeed = !fpu_state_compare(&rl_fpu_state_write, |
| 271 | &rl_fpu_state_read); |
Arunachalam Ganapathy | 9af432e | 2023-06-02 17:18:23 +0100 | [diff] [blame] | 272 | break; |
Shruti Gupta | fef8621 | 2023-10-17 12:15:38 +0100 | [diff] [blame] | 273 | case REALM_REJECT_SET_RIPAS_CMD: |
| 274 | test_succeed = test_realm_reject_set_ripas(); |
| 275 | break; |
Shruti Gupta | bb77219 | 2023-10-09 16:08:28 +0100 | [diff] [blame] | 276 | case REALM_SET_RIPAS_CMD: |
| 277 | test_succeed = test_realm_set_ripas(); |
| 278 | break; |
Arunachalam Ganapathy | 0bbdc2d | 2023-04-05 15:30:18 +0100 | [diff] [blame] | 279 | case REALM_SVE_RDVL: |
| 280 | test_succeed = test_realm_sve_rdvl(); |
| 281 | break; |
| 282 | case REALM_SVE_ID_REGISTERS: |
| 283 | test_succeed = test_realm_sve_read_id_registers(); |
| 284 | break; |
| 285 | case REALM_SVE_PROBE_VL: |
| 286 | test_succeed = test_realm_sve_probe_vl(); |
Shruti Gupta | 369955a | 2023-04-19 18:05:56 +0100 | [diff] [blame] | 287 | break; |
Arunachalam Ganapathy | c1136a8 | 2023-04-12 15:24:44 +0100 | [diff] [blame] | 288 | case REALM_SVE_OPS: |
| 289 | test_succeed = test_realm_sve_ops(); |
| 290 | break; |
Arunachalam Ganapathy | 5270d01 | 2023-04-19 14:53:42 +0100 | [diff] [blame] | 291 | case REALM_SVE_FILL_REGS: |
| 292 | test_succeed = test_realm_sve_fill_regs(); |
| 293 | break; |
Arunachalam Ganapathy | f369717 | 2023-09-04 15:04:46 +0100 | [diff] [blame] | 294 | case REALM_SVE_CMP_REGS: |
| 295 | test_succeed = test_realm_sve_cmp_regs(); |
| 296 | break; |
Arunachalam Ganapathy | 73949a2 | 2023-06-05 12:01:05 +0100 | [diff] [blame] | 297 | case REALM_SVE_UNDEF_ABORT: |
| 298 | test_succeed = test_realm_sve_undef_abort(); |
| 299 | break; |
Arunachalam Ganapathy | 1768e59 | 2023-05-23 13:28:38 +0100 | [diff] [blame] | 300 | case REALM_SME_ID_REGISTERS: |
| 301 | test_succeed = test_realm_sme_read_id_registers(); |
| 302 | break; |
| 303 | case REALM_SME_UNDEF_ABORT: |
| 304 | test_succeed = test_realm_sme_undef_abort(); |
| 305 | break; |
nabkah01 | 002e569 | 2022-10-10 12:36:46 +0100 | [diff] [blame] | 306 | default: |
AlexeiFedorov | 2f30f10 | 2023-03-13 19:37:46 +0000 | [diff] [blame] | 307 | realm_printf("%s() invalid cmd %u\n", __func__, cmd); |
nabkah01 | 002e569 | 2022-10-10 12:36:46 +0100 | [diff] [blame] | 308 | break; |
| 309 | } |
| 310 | } |
| 311 | |
| 312 | if (test_succeed) { |
| 313 | rsi_exit_to_host(HOST_CALL_EXIT_SUCCESS_CMD); |
| 314 | } else { |
| 315 | rsi_exit_to_host(HOST_CALL_EXIT_FAILED_CMD); |
| 316 | } |
| 317 | } |