nabkah01 | 002e569 | 2022-10-10 12:36:46 +0100 | [diff] [blame] | 1 | /* |
AlexeiFedorov | c398c8f | 2025-01-16 14:35:48 +0000 | [diff] [blame] | 2 | * Copyright (c) 2022-2025, 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" |
Shruti Gupta | 9110508 | 2024-11-27 05:29:55 +0000 | [diff] [blame] | 17 | #include <realm_helpers.h> |
| 18 | #include <realm_psi.h> |
nabkah01 | 002e569 | 2022-10-10 12:36:46 +0100 | [diff] [blame] | 19 | #include <realm_rsi.h> |
AlexeiFedorov | 2f30f10 | 2023-03-13 19:37:46 +0000 | [diff] [blame] | 20 | #include <realm_tests.h> |
Javier Almansa Sobrino | 7c78f7b | 2024-10-25 11:44:32 +0100 | [diff] [blame] | 21 | #include <serror.h> |
Shruti Gupta | b027f57 | 2024-01-02 22:00:29 +0000 | [diff] [blame] | 22 | #include <sync.h> |
nabkah01 | 002e569 | 2022-10-10 12:36:46 +0100 | [diff] [blame] | 23 | #include <tftf_lib.h> |
| 24 | |
Arunachalam Ganapathy | 7e514f6 | 2023-08-30 13:27:36 +0100 | [diff] [blame] | 25 | static fpu_state_t rl_fpu_state_write; |
| 26 | static fpu_state_t rl_fpu_state_read; |
Shruti Gupta | 158208e | 2024-11-27 10:12:41 +0000 | [diff] [blame] | 27 | static rsi_plane_run run __aligned(PAGE_SIZE); |
Javier Almansa Sobrino | 7c78f7b | 2024-10-25 11:44:32 +0100 | [diff] [blame] | 28 | |
nabkah01 | 002e569 | 2022-10-10 12:36:46 +0100 | [diff] [blame] | 29 | /* |
AlexeiFedorov | 2f30f10 | 2023-03-13 19:37:46 +0000 | [diff] [blame] | 30 | * This function reads sleep time in ms from shared buffer and spins PE |
| 31 | * in a loop for that time period. |
nabkah01 | 002e569 | 2022-10-10 12:36:46 +0100 | [diff] [blame] | 32 | */ |
| 33 | static void realm_sleep_cmd(void) |
| 34 | { |
Shruti Gupta | 52b5f02 | 2023-10-12 22:02:29 +0100 | [diff] [blame] | 35 | uint64_t sleep = realm_shared_data_get_my_host_val(HOST_ARG1_INDEX); |
nabkah01 | 002e569 | 2022-10-10 12:36:46 +0100 | [diff] [blame] | 36 | |
Shruti Gupta | a276b20 | 2023-12-18 10:07:43 +0000 | [diff] [blame] | 37 | realm_printf("going to sleep for %llums\n", sleep); |
nabkah01 | 002e569 | 2022-10-10 12:36:46 +0100 | [diff] [blame] | 38 | waitms(sleep); |
| 39 | } |
| 40 | |
Shruti Gupta | 6bb9510 | 2023-10-02 13:21:37 +0100 | [diff] [blame] | 41 | static void realm_loop_cmd(void) |
| 42 | { |
| 43 | while (true) { |
| 44 | waitms(500); |
| 45 | } |
| 46 | } |
| 47 | |
Shruti Gupta | 158208e | 2024-11-27 10:12:41 +0000 | [diff] [blame] | 48 | static bool test_realm_enter_plane_n(void) |
| 49 | { |
| 50 | u_register_t base, plane_index, perm_index, flags = 0U; |
Shruti Gupta | 4143468 | 2024-12-05 14:57:48 +0000 | [diff] [blame] | 51 | bool ret1; |
Shruti Gupta | 158208e | 2024-11-27 10:12:41 +0000 | [diff] [blame] | 52 | |
| 53 | plane_index = realm_shared_data_get_my_host_val(HOST_ARG1_INDEX); |
| 54 | base = realm_shared_data_get_my_host_val(HOST_ARG2_INDEX); |
| 55 | perm_index = plane_index + 1U; |
| 56 | |
Shruti Gupta | 4143468 | 2024-12-05 14:57:48 +0000 | [diff] [blame] | 57 | ret1 = plane_common_init(plane_index, perm_index, base, &run); |
| 58 | if (!ret1) { |
| 59 | return ret1; |
| 60 | } |
| 61 | |
Shruti Gupta | 158208e | 2024-11-27 10:12:41 +0000 | [diff] [blame] | 62 | realm_printf("Entering plane %ld, ep=0x%lx run=0x%lx\n", plane_index, base, &run); |
| 63 | return realm_plane_enter(plane_index, perm_index, base, flags, &run); |
| 64 | } |
| 65 | |
Shruti Gupta | 4143468 | 2024-12-05 14:57:48 +0000 | [diff] [blame] | 66 | static bool test_realm_enter_plane_n_reg_rw(void) |
| 67 | { |
| 68 | u_register_t base, plane_index, perm_index, flags = 0U; |
| 69 | u_register_t reg1, reg2, reg3, reg4, ret; |
| 70 | bool ret1; |
| 71 | |
| 72 | if (realm_is_plane0()) { |
| 73 | plane_index = realm_shared_data_get_my_host_val(HOST_ARG1_INDEX); |
| 74 | base = realm_shared_data_get_my_host_val(HOST_ARG2_INDEX); |
| 75 | perm_index = plane_index + 1U; |
| 76 | |
| 77 | ret1 = plane_common_init(plane_index, perm_index, base, &run); |
| 78 | if (!ret1) { |
| 79 | return ret1; |
| 80 | } |
| 81 | |
| 82 | realm_printf("Entering plane %ld, ep=0x%lx run=0x%lx\n", plane_index, base, &run); |
| 83 | ret = realm_plane_enter(plane_index, perm_index, base, flags, &run); |
| 84 | if (ret) { |
| 85 | /* get return value from plane1 */ |
| 86 | reg1 = realm_shared_data_get_plane_n_val(plane_index, |
| 87 | REC_IDX(read_mpidr_el1()), HOST_ARG1_INDEX); |
| 88 | |
| 89 | reg2 = realm_shared_data_get_plane_n_val(plane_index, |
| 90 | REC_IDX(read_mpidr_el1()), HOST_ARG2_INDEX); |
| 91 | |
| 92 | realm_printf("P0 read 0x%lx 0x%lx\n", reg1, reg2); |
| 93 | |
| 94 | /* read pauth register for plane1 */ |
| 95 | ret = rsi_plane_reg_read(plane_index, SYSREG_ID_apiakeylo_el1, ®3); |
| 96 | if ((ret != RSI_SUCCESS) || (reg1 != reg3)) { |
| 97 | realm_printf("pauth register mismatch 0x%lx 0x%lx\n", reg1, reg3); |
| 98 | return false; |
| 99 | } |
| 100 | |
| 101 | /* read sctlr register for plane1 */ |
| 102 | ret = rsi_plane_reg_read(plane_index, SYSREG_ID_sctlr_el1, ®4); |
| 103 | if ((ret != RSI_SUCCESS) || (reg2 != reg4)) { |
| 104 | realm_printf("sctlr register mismatch 0x%lx 0x%lx\n", reg2, reg4); |
| 105 | return false; |
| 106 | } |
| 107 | |
| 108 | /* write pauth register and verify it is same after exiting plane n */ |
| 109 | ret = rsi_plane_reg_write(plane_index, SYSREG_ID_apibkeylo_el1, 0xABCD); |
| 110 | if (ret != RSI_SUCCESS) { |
| 111 | realm_printf("pauth register write failed\n"); |
| 112 | return false; |
| 113 | } |
| 114 | |
| 115 | /* enter plane n */ |
| 116 | ret = realm_plane_enter(plane_index, perm_index, base, flags, &run); |
| 117 | if (ret) { |
| 118 | /* read pauth register for plane1 */ |
| 119 | ret = rsi_plane_reg_read(plane_index, SYSREG_ID_apibkeylo_el1, |
| 120 | ®3); |
| 121 | |
| 122 | if ((ret != RSI_SUCCESS) || (reg3 != 0xABCD)) { |
| 123 | realm_printf("reg mismatch after write 0x%lx\n", reg3); |
| 124 | return false; |
| 125 | } |
| 126 | } |
| 127 | |
| 128 | /* read sysreg not supported by rmm, expect error */ |
| 129 | ret = rsi_plane_reg_read(plane_index, SYSREG_ID_mpamidr_el1, ®3); |
| 130 | if (ret == RSI_SUCCESS) { |
| 131 | realm_printf("reg read should have failed\n"); |
| 132 | return false; |
| 133 | } |
| 134 | return true; |
| 135 | } |
| 136 | return false; |
| 137 | } else { |
| 138 | realm_printf("PN set 0x%lx 0x%lx\n", read_apiakeylo_el1(), read_sctlr_el1()); |
| 139 | |
| 140 | /* return pauth and sctlr back to p0 */ |
| 141 | realm_shared_data_set_my_realm_val(HOST_ARG1_INDEX, read_apiakeylo_el1()); |
| 142 | realm_shared_data_set_my_realm_val(HOST_ARG2_INDEX, read_sctlr_el1()); |
| 143 | return true; |
| 144 | } |
| 145 | } |
| 146 | |
nabkah01 | 002e569 | 2022-10-10 12:36:46 +0100 | [diff] [blame] | 147 | /* |
| 148 | * This function requests RSI/ABI version from RMM. |
| 149 | */ |
Shruti Gupta | 40de8ec | 2023-10-12 21:45:12 +0100 | [diff] [blame] | 150 | static bool realm_get_rsi_version(void) |
nabkah01 | 002e569 | 2022-10-10 12:36:46 +0100 | [diff] [blame] | 151 | { |
Shruti Gupta | 40de8ec | 2023-10-12 21:45:12 +0100 | [diff] [blame] | 152 | u_register_t version = 0U; |
nabkah01 | 002e569 | 2022-10-10 12:36:46 +0100 | [diff] [blame] | 153 | |
Shruti Gupta | 40de8ec | 2023-10-12 21:45:12 +0100 | [diff] [blame] | 154 | version = rsi_get_version(RSI_ABI_VERSION_VAL); |
nabkah01 | 002e569 | 2022-10-10 12:36:46 +0100 | [diff] [blame] | 155 | if (version == (u_register_t)SMC_UNKNOWN) { |
Shruti Gupta | 40de8ec | 2023-10-12 21:45:12 +0100 | [diff] [blame] | 156 | realm_printf("SMC_RSI_ABI_VERSION failed\n"); |
| 157 | return false; |
nabkah01 | 002e569 | 2022-10-10 12:36:46 +0100 | [diff] [blame] | 158 | } |
| 159 | |
Shruti Gupta | 40de8ec | 2023-10-12 21:45:12 +0100 | [diff] [blame] | 160 | realm_printf("RSI ABI version %u.%u (expected: %u.%u)\n", |
nabkah01 | 002e569 | 2022-10-10 12:36:46 +0100 | [diff] [blame] | 161 | RSI_ABI_VERSION_GET_MAJOR(version), |
| 162 | RSI_ABI_VERSION_GET_MINOR(version), |
Shruti Gupta | 40de8ec | 2023-10-12 21:45:12 +0100 | [diff] [blame] | 163 | RSI_ABI_VERSION_GET_MAJOR(RSI_ABI_VERSION_VAL), |
| 164 | RSI_ABI_VERSION_GET_MINOR(RSI_ABI_VERSION_VAL)); |
| 165 | return true; |
nabkah01 | 002e569 | 2022-10-10 12:36:46 +0100 | [diff] [blame] | 166 | } |
| 167 | |
Shruti Gupta | bb77219 | 2023-10-09 16:08:28 +0100 | [diff] [blame] | 168 | bool test_realm_set_ripas(void) |
| 169 | { |
AlexeiFedorov | 9a60ecb | 2024-08-06 16:39:00 +0100 | [diff] [blame] | 170 | u_register_t ret, base, new_base, top, new_top; |
Shruti Gupta | bb77219 | 2023-10-09 16:08:28 +0100 | [diff] [blame] | 171 | rsi_ripas_respose_type response; |
| 172 | rsi_ripas_type ripas; |
| 173 | |
| 174 | base = realm_shared_data_get_my_host_val(HOST_ARG1_INDEX); |
| 175 | top = realm_shared_data_get_my_host_val(HOST_ARG2_INDEX); |
AlexeiFedorov | 9a60ecb | 2024-08-06 16:39:00 +0100 | [diff] [blame] | 176 | realm_printf("base=0x%lx top=0x%lx\n", base, top); |
| 177 | ret = rsi_ipa_state_get(base, top, &new_top, &ripas); |
Shruti Gupta | bb77219 | 2023-10-09 16:08:28 +0100 | [diff] [blame] | 178 | if (ripas != RSI_EMPTY) { |
| 179 | return false; |
| 180 | } |
| 181 | |
| 182 | ret = rsi_ipa_state_set(base, top, RSI_RAM, |
AlexeiFedorov | 9a60ecb | 2024-08-06 16:39:00 +0100 | [diff] [blame] | 183 | RSI_NO_CHANGE_DESTROYED, &new_base, &response); |
| 184 | if ((ret != RSI_SUCCESS) || (response != RSI_ACCEPT)) { |
Shruti Gupta | bb77219 | 2023-10-09 16:08:28 +0100 | [diff] [blame] | 185 | return false; |
| 186 | } |
AlexeiFedorov | 9a60ecb | 2024-08-06 16:39:00 +0100 | [diff] [blame] | 187 | |
Shruti Gupta | bb77219 | 2023-10-09 16:08:28 +0100 | [diff] [blame] | 188 | while (new_base < top) { |
AlexeiFedorov | 9a60ecb | 2024-08-06 16:39:00 +0100 | [diff] [blame] | 189 | realm_printf("new_base=0x%lx top=0x%lx\n", new_base, top); |
Shruti Gupta | bb77219 | 2023-10-09 16:08:28 +0100 | [diff] [blame] | 190 | ret = rsi_ipa_state_set(new_base, top, RSI_RAM, |
| 191 | RSI_NO_CHANGE_DESTROYED, &new_base, &response); |
AlexeiFedorov | 9a60ecb | 2024-08-06 16:39:00 +0100 | [diff] [blame] | 192 | if ((ret != RSI_SUCCESS) || (response != RSI_ACCEPT)) { |
Shruti Gupta | bb77219 | 2023-10-09 16:08:28 +0100 | [diff] [blame] | 193 | realm_printf("rsi_ipa_state_set failed\n"); |
| 194 | return false; |
| 195 | } |
| 196 | } |
| 197 | |
AlexeiFedorov | 9a60ecb | 2024-08-06 16:39:00 +0100 | [diff] [blame] | 198 | /* Verify that RIAS has changed for range base-top */ |
| 199 | ret = rsi_ipa_state_get(base, top, &new_top, &ripas); |
| 200 | if ((ret != RSI_SUCCESS) || (ripas != RSI_RAM) || (new_top != top)) { |
| 201 | realm_printf("rsi_ipa_state_get failed base=0x%lx top=0x%lx", |
| 202 | "new_top=0x%lx ripas=%u ret=0x%lx\n", |
| 203 | base, top, ripas); |
| 204 | return false; |
Shruti Gupta | bb77219 | 2023-10-09 16:08:28 +0100 | [diff] [blame] | 205 | } |
AlexeiFedorov | 9a60ecb | 2024-08-06 16:39:00 +0100 | [diff] [blame] | 206 | |
Shruti Gupta | bb77219 | 2023-10-09 16:08:28 +0100 | [diff] [blame] | 207 | return true; |
| 208 | } |
| 209 | |
Shruti Gupta | fef8621 | 2023-10-17 12:15:38 +0100 | [diff] [blame] | 210 | bool test_realm_reject_set_ripas(void) |
| 211 | { |
AlexeiFedorov | 9a60ecb | 2024-08-06 16:39:00 +0100 | [diff] [blame] | 212 | u_register_t ret, base, top, new_base, new_top; |
Shruti Gupta | fef8621 | 2023-10-17 12:15:38 +0100 | [diff] [blame] | 213 | rsi_ripas_respose_type response; |
| 214 | rsi_ripas_type ripas; |
| 215 | |
| 216 | base = realm_shared_data_get_my_host_val(HOST_ARG1_INDEX); |
AlexeiFedorov | 9a60ecb | 2024-08-06 16:39:00 +0100 | [diff] [blame] | 217 | top = base + PAGE_SIZE; |
| 218 | ret = rsi_ipa_state_get(base, top, &new_top, &ripas); |
| 219 | if ((ret != RSI_SUCCESS) || (ripas != RSI_EMPTY)) { |
| 220 | realm_printf("Wrong initial ripas=%u\n", ripas); |
Shruti Gupta | fef8621 | 2023-10-17 12:15:38 +0100 | [diff] [blame] | 221 | return false; |
| 222 | } |
AlexeiFedorov | 9a60ecb | 2024-08-06 16:39:00 +0100 | [diff] [blame] | 223 | ret = rsi_ipa_state_set(base, top, RSI_RAM, |
| 224 | RSI_NO_CHANGE_DESTROYED, &new_base, &response); |
| 225 | if ((ret == RSI_SUCCESS) && (response == RSI_REJECT)) { |
| 226 | realm_printf("rsi_ipa_state_set passed response=%u\n", response); |
| 227 | ret = rsi_ipa_state_get(base, top, &new_top, &ripas); |
| 228 | if ((ret == RSI_SUCCESS) && (ripas == RSI_EMPTY) && |
| 229 | (new_top == top)) { |
Shruti Gupta | fef8621 | 2023-10-17 12:15:38 +0100 | [diff] [blame] | 230 | return true; |
| 231 | } else { |
AlexeiFedorov | 9a60ecb | 2024-08-06 16:39:00 +0100 | [diff] [blame] | 232 | realm_printf("rsi_ipa_state_get failed top=0x%lx", |
| 233 | "new_top=0x%lx ripas=%u ret=0x%lx\n", |
| 234 | ripas); |
Shruti Gupta | fef8621 | 2023-10-17 12:15:38 +0100 | [diff] [blame] | 235 | return false; |
| 236 | } |
| 237 | } |
AlexeiFedorov | 9a60ecb | 2024-08-06 16:39:00 +0100 | [diff] [blame] | 238 | realm_printf("rsi_ipa_state_set failed ret=0x%lx response=%u\n", |
| 239 | ret, response); |
Shruti Gupta | fef8621 | 2023-10-17 12:15:38 +0100 | [diff] [blame] | 240 | return false; |
| 241 | } |
| 242 | |
Shruti Gupta | 2a5abad | 2024-01-17 13:48:44 +0000 | [diff] [blame] | 243 | bool test_realm_dit_check_cmd(void) |
| 244 | { |
| 245 | if (is_armv8_4_dit_present()) { |
| 246 | write_dit(DIT_BIT); |
| 247 | realm_printf("Testing DIT=0x%lx\n", read_dit()); |
| 248 | /* Test if DIT is preserved after HOST_CALL */ |
| 249 | if (read_dit() == DIT_BIT) { |
| 250 | return true; |
| 251 | } |
| 252 | } |
| 253 | return false; |
| 254 | } |
| 255 | |
Shruti Gupta | e68494e | 2023-11-06 11:04:57 +0000 | [diff] [blame] | 256 | static bool test_realm_instr_fetch_cmd(void) |
| 257 | { |
AlexeiFedorov | 9a60ecb | 2024-08-06 16:39:00 +0100 | [diff] [blame] | 258 | u_register_t base, new_top; |
Shruti Gupta | e68494e | 2023-11-06 11:04:57 +0000 | [diff] [blame] | 259 | void (*func_ptr)(void); |
| 260 | rsi_ripas_type ripas; |
| 261 | |
| 262 | base = realm_shared_data_get_my_host_val(HOST_ARG1_INDEX); |
AlexeiFedorov | 9a60ecb | 2024-08-06 16:39:00 +0100 | [diff] [blame] | 263 | rsi_ipa_state_get(base, base + PAGE_SIZE, &new_top, &ripas); |
| 264 | realm_printf("Initial ripas=%u\n", ripas); |
| 265 | /* Causes instruction abort */ |
Shruti Gupta | e68494e | 2023-11-06 11:04:57 +0000 | [diff] [blame] | 266 | realm_printf("Generate Instruction Abort\n"); |
| 267 | func_ptr = (void (*)(void))base; |
| 268 | func_ptr(); |
AlexeiFedorov | 9a60ecb | 2024-08-06 16:39:00 +0100 | [diff] [blame] | 269 | /* Should not return */ |
Shruti Gupta | e68494e | 2023-11-06 11:04:57 +0000 | [diff] [blame] | 270 | return false; |
| 271 | } |
| 272 | |
| 273 | static bool test_realm_data_access_cmd(void) |
| 274 | { |
AlexeiFedorov | 9a60ecb | 2024-08-06 16:39:00 +0100 | [diff] [blame] | 275 | u_register_t base, new_top; |
Shruti Gupta | e68494e | 2023-11-06 11:04:57 +0000 | [diff] [blame] | 276 | rsi_ripas_type ripas; |
Shruti Gupta | e68494e | 2023-11-06 11:04:57 +0000 | [diff] [blame] | 277 | base = realm_shared_data_get_my_host_val(HOST_ARG1_INDEX); |
AlexeiFedorov | 9a60ecb | 2024-08-06 16:39:00 +0100 | [diff] [blame] | 278 | rsi_ipa_state_get(base, base + PAGE_SIZE, &new_top, &ripas); |
| 279 | realm_printf("Initial ripas=%u\n", ripas); |
| 280 | /* Causes data abort */ |
Shruti Gupta | e68494e | 2023-11-06 11:04:57 +0000 | [diff] [blame] | 281 | realm_printf("Generate Data Abort\n"); |
| 282 | *((volatile uint64_t *)base); |
Javier Almansa Sobrino | 7c78f7b | 2024-10-25 11:44:32 +0100 | [diff] [blame] | 283 | |
Shruti Gupta | e68494e | 2023-11-06 11:04:57 +0000 | [diff] [blame] | 284 | return false; |
| 285 | } |
| 286 | |
Shruti Gupta | b027f57 | 2024-01-02 22:00:29 +0000 | [diff] [blame] | 287 | static bool realm_exception_handler(void) |
| 288 | { |
Shruti Gupta | 9110508 | 2024-11-27 05:29:55 +0000 | [diff] [blame] | 289 | u_register_t base, far, esr, elr; |
Shruti Gupta | b027f57 | 2024-01-02 22:00:29 +0000 | [diff] [blame] | 290 | |
| 291 | base = realm_shared_data_get_my_host_val(HOST_ARG1_INDEX); |
| 292 | far = read_far_el1(); |
| 293 | esr = read_esr_el1(); |
Shruti Gupta | 9110508 | 2024-11-27 05:29:55 +0000 | [diff] [blame] | 294 | elr = read_elr_el1(); |
Shruti Gupta | b027f57 | 2024-01-02 22:00:29 +0000 | [diff] [blame] | 295 | |
| 296 | if (far == base) { |
AlexeiFedorov | 9a60ecb | 2024-08-06 16:39:00 +0100 | [diff] [blame] | 297 | /* Return ESR to Host */ |
Shruti Gupta | b027f57 | 2024-01-02 22:00:29 +0000 | [diff] [blame] | 298 | realm_shared_data_set_my_realm_val(HOST_ARG2_INDEX, esr); |
| 299 | rsi_exit_to_host(HOST_CALL_EXIT_SUCCESS_CMD); |
| 300 | } |
Shruti Gupta | 9110508 | 2024-11-27 05:29:55 +0000 | [diff] [blame] | 301 | realm_printf("Realm Abort fail incorrect FAR=0x%lx ESR=0x%lx ELR=0x%lx\n", |
| 302 | far, esr, elr); |
Shruti Gupta | b027f57 | 2024-01-02 22:00:29 +0000 | [diff] [blame] | 303 | rsi_exit_to_host(HOST_CALL_EXIT_FAILED_CMD); |
| 304 | |
AlexeiFedorov | 9a60ecb | 2024-08-06 16:39:00 +0100 | [diff] [blame] | 305 | /* Should not return */ |
Shruti Gupta | b027f57 | 2024-01-02 22:00:29 +0000 | [diff] [blame] | 306 | return false; |
| 307 | } |
| 308 | |
Manish V Badarkhe | 46d0228 | 2024-11-18 16:58:37 +0000 | [diff] [blame] | 309 | static bool realm_serror_handler_doublefault(bool *incr_elr_elx) |
Javier Almansa Sobrino | 7c78f7b | 2024-10-25 11:44:32 +0100 | [diff] [blame] | 310 | { |
Manish V Badarkhe | 46d0228 | 2024-11-18 16:58:37 +0000 | [diff] [blame] | 311 | *incr_elr_elx = false; |
| 312 | |
Javier Almansa Sobrino | 7c78f7b | 2024-10-25 11:44:32 +0100 | [diff] [blame] | 313 | if ((read_sctlr2_el1() & SCTLR2_EASE_BIT) != 0UL) { |
| 314 | /* The serror exception should have been routed here */ |
Manish V Badarkhe | 46d0228 | 2024-11-18 16:58:37 +0000 | [diff] [blame] | 315 | *incr_elr_elx = true; |
| 316 | |
Javier Almansa Sobrino | 7c78f7b | 2024-10-25 11:44:32 +0100 | [diff] [blame] | 317 | return true; |
| 318 | } |
| 319 | |
| 320 | rsi_exit_to_host(HOST_CALL_EXIT_FAILED_CMD); |
| 321 | |
| 322 | /* Should have never get here */ |
| 323 | return false; |
| 324 | } |
| 325 | |
| 326 | static bool realm_sync_handler_doublefault(void) |
| 327 | { |
| 328 | if ((read_sctlr2_el1() & SCTLR2_EASE_BIT) == 0UL) { |
| 329 | /* The sync exception should have been routed here */ |
| 330 | return true; |
| 331 | } |
| 332 | |
| 333 | rsi_exit_to_host(HOST_CALL_EXIT_FAILED_CMD); |
| 334 | |
| 335 | /* Should have never get here */ |
| 336 | return false; |
| 337 | } |
| 338 | |
| 339 | static void test_realm_feat_doublefault2(void) |
| 340 | { |
| 341 | u_register_t ease_bit = realm_shared_data_get_my_host_val(HOST_ARG2_INDEX); |
| 342 | |
| 343 | unregister_custom_sync_exception_handler(); |
| 344 | register_custom_sync_exception_handler(realm_sync_handler_doublefault); |
| 345 | register_custom_serror_handler(realm_serror_handler_doublefault); |
| 346 | |
| 347 | if (ease_bit != 0UL) { |
| 348 | write_sctlr2_el1(read_sctlr2_el1() | SCTLR2_EASE_BIT); |
| 349 | } else { |
| 350 | write_sctlr2_el1(read_sctlr2_el1() & ~SCTLR2_EASE_BIT); |
| 351 | } |
| 352 | |
| 353 | (void)test_realm_data_access_cmd(); |
| 354 | } |
| 355 | |
nabkah01 | 002e569 | 2022-10-10 12:36:46 +0100 | [diff] [blame] | 356 | /* |
| 357 | * This is the entry function for Realm payload, it first requests the shared buffer |
| 358 | * IPA address from Host using HOST_CALL/RSI, it reads the command to be executed, |
| 359 | * performs the request, and returns to Host with the execution state SUCCESS/FAILED |
| 360 | * |
| 361 | * Host in NS world requests Realm to execute certain operations using command |
| 362 | * depending on the test case the Host wants to perform. |
| 363 | */ |
| 364 | void realm_payload_main(void) |
| 365 | { |
nabkah01 | 002e569 | 2022-10-10 12:36:46 +0100 | [diff] [blame] | 366 | bool test_succeed = false; |
| 367 | |
Shruti Gupta | b027f57 | 2024-01-02 22:00:29 +0000 | [diff] [blame] | 368 | register_custom_sync_exception_handler(realm_exception_handler); |
Javier Almansa Sobrino | 7c78f7b | 2024-10-25 11:44:32 +0100 | [diff] [blame] | 369 | |
| 370 | /* No serror handler registered by default */ |
| 371 | unregister_custom_serror_handler(); |
| 372 | |
Shruti Gupta | 69cae79 | 2024-11-27 04:30:00 +0000 | [diff] [blame] | 373 | realm_set_shared_structure(realm_get_ns_buffer()); |
Javier Almansa Sobrino | 7c78f7b | 2024-10-25 11:44:32 +0100 | [diff] [blame] | 374 | |
Shruti Gupta | 550e3e8 | 2023-08-16 13:20:11 +0100 | [diff] [blame] | 375 | if (realm_get_my_shared_structure() != NULL) { |
| 376 | uint8_t cmd = realm_shared_data_get_my_realm_cmd(); |
AlexeiFedorov | 2f30f10 | 2023-03-13 19:37:46 +0000 | [diff] [blame] | 377 | |
nabkah01 | 002e569 | 2022-10-10 12:36:46 +0100 | [diff] [blame] | 378 | switch (cmd) { |
| 379 | case REALM_SLEEP_CMD: |
| 380 | realm_sleep_cmd(); |
| 381 | test_succeed = true; |
| 382 | break; |
Shruti Gupta | 6bb9510 | 2023-10-02 13:21:37 +0100 | [diff] [blame] | 383 | case REALM_LOOP_CMD: |
| 384 | realm_loop_cmd(); |
| 385 | test_succeed = true; |
| 386 | break; |
Shruti Gupta | 158208e | 2024-11-27 10:12:41 +0000 | [diff] [blame] | 387 | case REALM_ENTER_PLANE_N_CMD: |
| 388 | test_succeed = test_realm_enter_plane_n(); |
| 389 | break; |
Shruti Gupta | 4143468 | 2024-12-05 14:57:48 +0000 | [diff] [blame] | 390 | case REALM_PLANE_N_REG_RW_CMD: |
| 391 | test_succeed = test_realm_enter_plane_n_reg_rw(); |
| 392 | break; |
Javier Almansa Sobrino | 82cd82e | 2025-01-17 17:37:42 +0000 | [diff] [blame] | 393 | case REALM_MPAM_ACCESS: |
| 394 | test_succeed = test_realm_mpam_undef_abort(); |
| 395 | break; |
| 396 | case REALM_MPAM_PRESENT: |
| 397 | /* FEAT_MPAM must be hidden to the Realm */ |
| 398 | test_succeed = !is_feat_mpam_supported(); |
| 399 | break; |
Shruti Gupta | 24597d1 | 2023-10-02 10:40:19 +0100 | [diff] [blame] | 400 | case REALM_MULTIPLE_REC_PSCI_DENIED_CMD: |
| 401 | test_succeed = test_realm_multiple_rec_psci_denied_cmd(); |
Shruti Gupta | e68494e | 2023-11-06 11:04:57 +0000 | [diff] [blame] | 402 | break; |
Shruti Gupta | affbae8 | 2023-08-22 12:51:11 +0100 | [diff] [blame] | 403 | case REALM_MULTIPLE_REC_MULTIPLE_CPU_CMD: |
| 404 | test_succeed = test_realm_multiple_rec_multiple_cpu_cmd(); |
Shruti Gupta | 24597d1 | 2023-10-02 10:40:19 +0100 | [diff] [blame] | 405 | break; |
Javier Almansa Sobrino | 7c78f7b | 2024-10-25 11:44:32 +0100 | [diff] [blame] | 406 | case REALM_FEAT_DOUBLEFAULT2_TEST: |
| 407 | test_realm_feat_doublefault2(); |
| 408 | test_succeed = true; |
| 409 | break; |
Shruti Gupta | e68494e | 2023-11-06 11:04:57 +0000 | [diff] [blame] | 410 | case REALM_INSTR_FETCH_CMD: |
| 411 | test_succeed = test_realm_instr_fetch_cmd(); |
| 412 | break; |
| 413 | case REALM_DATA_ACCESS_CMD: |
| 414 | test_succeed = test_realm_data_access_cmd(); |
| 415 | break; |
Shruti Gupta | 9d0cfe8 | 2023-04-17 10:57:26 +0100 | [diff] [blame] | 416 | case REALM_PAUTH_SET_CMD: |
| 417 | test_succeed = test_realm_pauth_set_cmd(); |
| 418 | break; |
| 419 | case REALM_PAUTH_CHECK_CMD: |
| 420 | test_succeed = test_realm_pauth_check_cmd(); |
| 421 | break; |
| 422 | case REALM_PAUTH_FAULT: |
| 423 | test_succeed = test_realm_pauth_fault(); |
| 424 | break; |
Shruti Gupta | 2a5abad | 2024-01-17 13:48:44 +0000 | [diff] [blame] | 425 | case REALM_DIT_CHECK_CMD: |
| 426 | test_succeed = test_realm_dit_check_cmd(); |
| 427 | break; |
nabkah01 | 002e569 | 2022-10-10 12:36:46 +0100 | [diff] [blame] | 428 | case REALM_GET_RSI_VERSION: |
Shruti Gupta | 40de8ec | 2023-10-12 21:45:12 +0100 | [diff] [blame] | 429 | test_succeed = realm_get_rsi_version(); |
nabkah01 | 002e569 | 2022-10-10 12:36:46 +0100 | [diff] [blame] | 430 | break; |
AlexeiFedorov | 2f30f10 | 2023-03-13 19:37:46 +0000 | [diff] [blame] | 431 | case REALM_PMU_CYCLE: |
| 432 | test_succeed = test_pmuv3_cycle_works_realm(); |
| 433 | break; |
Shruti Gupta | b1b3792 | 2024-01-13 21:49:04 +0000 | [diff] [blame] | 434 | case REALM_PMU_COUNTER: |
| 435 | test_succeed = test_pmuv3_counter(); |
| 436 | break; |
AlexeiFedorov | 2f30f10 | 2023-03-13 19:37:46 +0000 | [diff] [blame] | 437 | case REALM_PMU_EVENT: |
| 438 | test_succeed = test_pmuv3_event_works_realm(); |
| 439 | break; |
| 440 | case REALM_PMU_PRESERVE: |
| 441 | test_succeed = test_pmuv3_rmm_preserves(); |
| 442 | break; |
AlexeiFedorov | c398c8f | 2025-01-16 14:35:48 +0000 | [diff] [blame] | 443 | case REALM_PMU_CYCLE_INTERRUPT: |
| 444 | test_succeed = test_pmuv3_overflow_interrupt(true); |
| 445 | break; |
| 446 | case REALM_PMU_EVENT_INTERRUPT: |
| 447 | test_succeed = test_pmuv3_overflow_interrupt(false); |
AlexeiFedorov | 2f30f10 | 2023-03-13 19:37:46 +0000 | [diff] [blame] | 448 | break; |
Shruti Gupta | 369955a | 2023-04-19 18:05:56 +0100 | [diff] [blame] | 449 | case REALM_REQ_FPU_FILL_CMD: |
Arunachalam Ganapathy | 7e514f6 | 2023-08-30 13:27:36 +0100 | [diff] [blame] | 450 | fpu_state_write_rand(&rl_fpu_state_write); |
Shruti Gupta | 369955a | 2023-04-19 18:05:56 +0100 | [diff] [blame] | 451 | test_succeed = true; |
| 452 | break; |
| 453 | case REALM_REQ_FPU_CMP_CMD: |
Arunachalam Ganapathy | 7e514f6 | 2023-08-30 13:27:36 +0100 | [diff] [blame] | 454 | fpu_state_read(&rl_fpu_state_read); |
| 455 | test_succeed = !fpu_state_compare(&rl_fpu_state_write, |
| 456 | &rl_fpu_state_read); |
Arunachalam Ganapathy | 9af432e | 2023-06-02 17:18:23 +0100 | [diff] [blame] | 457 | break; |
Shruti Gupta | fef8621 | 2023-10-17 12:15:38 +0100 | [diff] [blame] | 458 | case REALM_REJECT_SET_RIPAS_CMD: |
| 459 | test_succeed = test_realm_reject_set_ripas(); |
| 460 | break; |
Shruti Gupta | bb77219 | 2023-10-09 16:08:28 +0100 | [diff] [blame] | 461 | case REALM_SET_RIPAS_CMD: |
| 462 | test_succeed = test_realm_set_ripas(); |
| 463 | break; |
Arunachalam Ganapathy | 0bbdc2d | 2023-04-05 15:30:18 +0100 | [diff] [blame] | 464 | case REALM_SVE_RDVL: |
| 465 | test_succeed = test_realm_sve_rdvl(); |
| 466 | break; |
| 467 | case REALM_SVE_ID_REGISTERS: |
| 468 | test_succeed = test_realm_sve_read_id_registers(); |
| 469 | break; |
| 470 | case REALM_SVE_PROBE_VL: |
| 471 | test_succeed = test_realm_sve_probe_vl(); |
Shruti Gupta | 369955a | 2023-04-19 18:05:56 +0100 | [diff] [blame] | 472 | break; |
Arunachalam Ganapathy | c1136a8 | 2023-04-12 15:24:44 +0100 | [diff] [blame] | 473 | case REALM_SVE_OPS: |
| 474 | test_succeed = test_realm_sve_ops(); |
| 475 | break; |
Arunachalam Ganapathy | 5270d01 | 2023-04-19 14:53:42 +0100 | [diff] [blame] | 476 | case REALM_SVE_FILL_REGS: |
| 477 | test_succeed = test_realm_sve_fill_regs(); |
| 478 | break; |
Arunachalam Ganapathy | f369717 | 2023-09-04 15:04:46 +0100 | [diff] [blame] | 479 | case REALM_SVE_CMP_REGS: |
| 480 | test_succeed = test_realm_sve_cmp_regs(); |
| 481 | break; |
Arunachalam Ganapathy | 73949a2 | 2023-06-05 12:01:05 +0100 | [diff] [blame] | 482 | case REALM_SVE_UNDEF_ABORT: |
| 483 | test_succeed = test_realm_sve_undef_abort(); |
| 484 | break; |
Arunachalam Ganapathy | 1768e59 | 2023-05-23 13:28:38 +0100 | [diff] [blame] | 485 | case REALM_SME_ID_REGISTERS: |
| 486 | test_succeed = test_realm_sme_read_id_registers(); |
| 487 | break; |
| 488 | case REALM_SME_UNDEF_ABORT: |
| 489 | test_succeed = test_realm_sme_undef_abort(); |
| 490 | break; |
Juan Pablo Conde | 88ffad2 | 2024-10-11 21:22:29 -0500 | [diff] [blame] | 491 | case REALM_ATTESTATION: |
| 492 | test_succeed = test_realm_attestation(); |
| 493 | break; |
| 494 | case REALM_ATTESTATION_FAULT: |
| 495 | test_succeed = test_realm_attestation_fault(); |
| 496 | break; |
Sona Mathew | c8f5a2e | 2025-02-04 15:22:01 -0600 | [diff] [blame^] | 497 | case REALM_WRITE_BRBCR_EL1: |
| 498 | test_succeed = test_realm_write_brbcr_el1_reg(); |
| 499 | break; |
nabkah01 | 002e569 | 2022-10-10 12:36:46 +0100 | [diff] [blame] | 500 | default: |
AlexeiFedorov | 2f30f10 | 2023-03-13 19:37:46 +0000 | [diff] [blame] | 501 | realm_printf("%s() invalid cmd %u\n", __func__, cmd); |
nabkah01 | 002e569 | 2022-10-10 12:36:46 +0100 | [diff] [blame] | 502 | break; |
| 503 | } |
| 504 | } |
| 505 | |
| 506 | if (test_succeed) { |
Shruti Gupta | 9110508 | 2024-11-27 05:29:55 +0000 | [diff] [blame] | 507 | if (realm_is_plane0()) { |
| 508 | rsi_exit_to_host(HOST_CALL_EXIT_SUCCESS_CMD); |
| 509 | } else { |
| 510 | psi_exit_to_plane0(PSI_CALL_EXIT_SUCCESS_CMD, |
| 511 | 0UL, 0UL, 0UL, 0UL, 0UL, 0UL, 0UL); |
| 512 | } |
nabkah01 | 002e569 | 2022-10-10 12:36:46 +0100 | [diff] [blame] | 513 | } else { |
Shruti Gupta | 9110508 | 2024-11-27 05:29:55 +0000 | [diff] [blame] | 514 | if (realm_is_plane0()) { |
| 515 | rsi_exit_to_host(HOST_CALL_EXIT_FAILED_CMD); |
| 516 | } else { |
| 517 | psi_exit_to_plane0(PSI_CALL_EXIT_FAILED_CMD, |
| 518 | 0UL, 0UL, 0UL, 0UL, 0UL, 0UL, 0UL); |
| 519 | } |
nabkah01 | 002e569 | 2022-10-10 12:36:46 +0100 | [diff] [blame] | 520 | } |
| 521 | } |