blob: 6e7fe1a3ab66797870f460e39cb9e30aa35d19df [file] [log] [blame]
J-Alves9f6f0142020-06-17 15:37:59 +01001/*
Olivier Deprez2661ba52024-02-19 18:50:53 +01002 * Copyright (c) 2018-2024, Arm Limited. All rights reserved.
J-Alves9f6f0142020-06-17 15:37:59 +01003 *
4 * SPDX-License-Identifier: BSD-3-Clause
5 */
J-Alves2279c1d2023-05-05 17:03:28 +01006#include "ffa_helpers.h"
J-Alves9f6f0142020-06-17 15:37:59 +01007#include <assert.h>
J-Alves9f6f0142020-06-17 15:37:59 +01008#include <debug.h>
Max Shvetsov40eb6a22020-06-08 11:15:30 +01009#include <errno.h>
Max Shvetsov103e0562021-02-04 16:58:31 +000010
Daniel Boulbyf3da5912022-04-01 12:31:52 +010011#include <sp_def.h>
J-Alves8f4a56f2020-10-28 10:29:05 +000012#include <ffa_endpoints.h>
J-Alves9f6f0142020-06-17 15:37:59 +010013#include <sp_helpers.h>
Olivier Deprez6967c242021-04-09 09:24:08 +020014#include <spm_helpers.h>
Max Shvetsov103e0562021-02-04 16:58:31 +000015#include <spm_common.h>
J-Alves63cdaa72020-10-08 17:22:45 +010016#include <lib/libc/string.h>
J-Alves63cdaa72020-10-08 17:22:45 +010017
J-Alves9f6f0142020-06-17 15:37:59 +010018/* FFA version test helpers */
19#define FFA_MAJOR 1U
Daniel Boulby899dced2024-01-12 14:46:54 +000020#define FFA_MINOR 2U
J-Alves9f6f0142020-06-17 15:37:59 +010021
Daniel Boulby198deda2021-03-03 11:35:25 +000022static uint32_t spm_version;
23
Max Shvetsov0b7d25f2021-03-05 13:46:42 +000024static const struct ffa_uuid sp_uuids[] = {
Raghu Krishnamurthy9f864522023-04-23 16:19:10 -070025 {PRIMARY_UUID}, {SECONDARY_UUID}, {TERTIARY_UUID}, {IVY_UUID}, {EL3_SPMD_LP_UUID}
Max Shvetsov0b7d25f2021-03-05 13:46:42 +000026 };
Max Shvetsov0b7d25f2021-03-05 13:46:42 +000027
28static const struct ffa_partition_info ffa_expected_partition_info[] = {
29 /* Primary partition info */
30 {
31 .id = SP_ID(1),
32 .exec_context = PRIMARY_EXEC_CTX_COUNT,
Kathleen Capella7774d6e2022-11-23 19:06:21 -050033 .properties = (FFA_PARTITION_AARCH64_EXEC |
34 FFA_PARTITION_DIRECT_REQ_RECV |
J-Alves4d05dec2021-11-02 11:52:27 +000035 FFA_PARTITION_DIRECT_REQ_SEND |
Daniel Boulby8aa994c2022-01-05 19:44:30 +000036 FFA_PARTITION_NOTIFICATION),
Jayanth Dodderi Chidanandd2a63642023-06-06 09:03:53 +010037 .uuid = {PRIMARY_UUID}
Max Shvetsov0b7d25f2021-03-05 13:46:42 +000038 },
39 /* Secondary partition info */
40 {
41 .id = SP_ID(2),
42 .exec_context = SECONDARY_EXEC_CTX_COUNT,
Kathleen Capella7774d6e2022-11-23 19:06:21 -050043 .properties = (FFA_PARTITION_AARCH64_EXEC |
44 FFA_PARTITION_DIRECT_REQ_RECV |
J-Alves4d05dec2021-11-02 11:52:27 +000045 FFA_PARTITION_DIRECT_REQ_SEND |
Daniel Boulby8aa994c2022-01-05 19:44:30 +000046 FFA_PARTITION_NOTIFICATION),
Jayanth Dodderi Chidanandd2a63642023-06-06 09:03:53 +010047 .uuid = {SECONDARY_UUID}
Max Shvetsov0b7d25f2021-03-05 13:46:42 +000048 },
49 /* Tertiary partition info */
50 {
51 .id = SP_ID(3),
52 .exec_context = TERTIARY_EXEC_CTX_COUNT,
Kathleen Capella7774d6e2022-11-23 19:06:21 -050053 .properties = (FFA_PARTITION_AARCH64_EXEC |
54 FFA_PARTITION_DIRECT_REQ_RECV |
J-Alvesb69c8b42021-11-04 17:03:41 +000055 FFA_PARTITION_DIRECT_REQ_SEND |
Daniel Boulby8aa994c2022-01-05 19:44:30 +000056 FFA_PARTITION_NOTIFICATION),
Jayanth Dodderi Chidanandd2a63642023-06-06 09:03:53 +010057 .uuid = {TERTIARY_UUID}
Max Shvetsov0b7d25f2021-03-05 13:46:42 +000058 },
59 /* Ivy partition info */
60 {
61 .id = SP_ID(4),
62 .exec_context = IVY_EXEC_CTX_COUNT,
Kathleen Capella7774d6e2022-11-23 19:06:21 -050063 .properties = (FFA_PARTITION_AARCH64_EXEC |
64 FFA_PARTITION_DIRECT_REQ_RECV |
Daniel Boulby8aa994c2022-01-05 19:44:30 +000065 FFA_PARTITION_DIRECT_REQ_SEND),
Jayanth Dodderi Chidanandd2a63642023-06-06 09:03:53 +010066 .uuid = {IVY_UUID}
Raghu Krishnamurthy9f864522023-04-23 16:19:10 -070067 },
68 /* EL3 SPMD logical partition */
69 {
70 .id = SP_ID(0x7FC0),
71 .exec_context = EL3_SPMD_LP_EXEC_CTX_COUNT,
72 .properties = (FFA_PARTITION_AARCH64_EXEC |
73 FFA_PARTITION_DIRECT_REQ_SEND),
Jayanth Dodderi Chidanandd2a63642023-06-06 09:03:53 +010074 .uuid = {EL3_SPMD_LP_UUID}
Raghu Krishnamurthy9f864522023-04-23 16:19:10 -070075 },
Max Shvetsov0b7d25f2021-03-05 13:46:42 +000076};
Max Shvetsovc32f4782020-06-23 09:41:15 +010077
Max Shvetsov40eb6a22020-06-08 11:15:30 +010078/*
79 * Test FFA_FEATURES interface.
80 */
J-Alves367154e2024-05-13 18:01:02 +010081static void ffa_features_test(bool el1_partition)
Max Shvetsov40eb6a22020-06-08 11:15:30 +010082{
J-Alves9668ba52024-05-13 11:49:45 +010083 const struct ffa_features_test *func_id_targets;
84 /* Get common features between tftf and cactus. */
85 unsigned int test_target_size =
86 get_ffa_feature_test_target(&func_id_targets);
J-Alves367154e2024-05-13 18:01:02 +010087 struct ffa_features_test feature_id_targets[3] = {
J-Alves9668ba52024-05-13 11:49:45 +010088 {"FFA_FEATURE_MEI", FFA_FEATURE_MEI, FFA_SUCCESS_SMC32, 0,
Karl Meakin7308b122024-04-16 14:02:25 +010089 FFA_VERSION_1_1},
J-Alves9668ba52024-05-13 11:49:45 +010090 {"FFA_FEATURE_SRI", FFA_FEATURE_SRI, FFA_ERROR, 0,
Karl Meakin7308b122024-04-16 14:02:25 +010091 FFA_VERSION_1_1},
J-Alves9668ba52024-05-13 11:49:45 +010092 {"FFA_FEATURE_NPI", FFA_FEATURE_NPI, FFA_SUCCESS_SMC32, 0,
Karl Meakin7308b122024-04-16 14:02:25 +010093 FFA_VERSION_1_1},
J-Alves9668ba52024-05-13 11:49:45 +010094 };
Max Shvetsov103e0562021-02-04 16:58:31 +000095
J-Alves2279c1d2023-05-05 17:03:28 +010096 INFO("Test FFA_FEATURES.\n");
J-Alves9668ba52024-05-13 11:49:45 +010097 ffa_features_test_targets(func_id_targets, test_target_size);
Max Shvetsov40eb6a22020-06-08 11:15:30 +010098
J-Alves9668ba52024-05-13 11:49:45 +010099 /* Features are expected to be different to tftf. */
J-Alves367154e2024-05-13 18:01:02 +0100100
101 /* EL0 partitions don't support NPI. */
102 if (!el1_partition) {
103 feature_id_targets[2].expected_ret = FFA_ERROR;
104 }
105
J-Alves9668ba52024-05-13 11:49:45 +0100106 ffa_features_test_targets(feature_id_targets,
107 ARRAY_SIZE(feature_id_targets));
Max Shvetsov40eb6a22020-06-08 11:15:30 +0100108}
109
Max Shvetsovc32f4782020-06-23 09:41:15 +0100110static void ffa_partition_info_wrong_test(void)
111{
Max Shvetsov0b7d25f2021-03-05 13:46:42 +0000112 const struct ffa_uuid uuid = { .uuid = {1} };
Daniel Boulbyce386b12022-03-29 18:36:36 +0100113 struct ffa_value ret = ffa_partition_info_get(uuid);
J-Alves2279c1d2023-05-05 17:03:28 +0100114
115 VERBOSE("%s: test request wrong UUID.\n", __func__);
116
Karl Meakinc884d6b2024-04-16 14:01:10 +0100117 EXPECT(ffa_func_id(ret), FFA_ERROR);
118 EXPECT(ffa_error_code(ret), FFA_ERROR_INVALID_PARAMETER);
Max Shvetsovc32f4782020-06-23 09:41:15 +0100119}
120
Raghu Krishnamurthy9f864522023-04-23 16:19:10 -0700121static void ffa_partition_info_get_regs_test(void)
122{
123 struct ffa_value ret = { 0 };
124
125 VERBOSE("FF-A Partition Info regs interface tests\n");
Karl Meakin7308b122024-04-16 14:02:25 +0100126 ret = ffa_version(FFA_VERSION_1_2);
Raghu Krishnamurthy9f864522023-04-23 16:19:10 -0700127 uint32_t version = ret.fid;
128
129 if (version == FFA_ERROR_NOT_SUPPORTED) {
Daniel Boulby899dced2024-01-12 14:46:54 +0000130 ERROR("FFA_VERSION 1.2 not supported, skipping"
Raghu Krishnamurthy9f864522023-04-23 16:19:10 -0700131 " FFA_PARTITION_INFO_GET_REGS test.\n");
132 return;
133 }
134
135 ret = ffa_features(FFA_PARTITION_INFO_GET_REGS_SMC64);
136 if (ffa_func_id(ret) != FFA_SUCCESS_SMC32) {
137 ERROR("FFA_PARTITION_INFO_GET_REGS not supported skipping tests.\n");
138 return;
139 }
140
Karl Meakinc884d6b2024-04-16 14:01:10 +0100141 EXPECT(ffa_partition_info_regs_helper(sp_uuids[3],
Raghu Krishnamurthy9f864522023-04-23 16:19:10 -0700142 &ffa_expected_partition_info[3], 1), true);
Karl Meakinc884d6b2024-04-16 14:01:10 +0100143 EXPECT(ffa_partition_info_regs_helper(sp_uuids[2],
Raghu Krishnamurthy9f864522023-04-23 16:19:10 -0700144 &ffa_expected_partition_info[2], 1), true);
Karl Meakinc884d6b2024-04-16 14:01:10 +0100145 EXPECT(ffa_partition_info_regs_helper(sp_uuids[1],
Raghu Krishnamurthy9f864522023-04-23 16:19:10 -0700146 &ffa_expected_partition_info[1], 1), true);
Karl Meakinc884d6b2024-04-16 14:01:10 +0100147 EXPECT(ffa_partition_info_regs_helper(sp_uuids[0],
Raghu Krishnamurthy9f864522023-04-23 16:19:10 -0700148 &ffa_expected_partition_info[0], 1), true);
149
150 /*
151 * Check partition information if there is support for SPMD EL3
152 * partitions. calling partition_info_get_regs with the SPMD EL3
153 * UUID successfully, indicates the presence of it (there is no
154 * spec defined way to discover presence of el3 spmd logical
155 * partitions). If the call fails with a not supported error,
156 * we assume they dont exist and skip further tests to avoid
157 * failures on platforms without el3 spmd logical partitions.
158 */
159 ret = ffa_partition_info_get_regs(sp_uuids[4], 0, 0);
160 if ((ffa_func_id(ret) == FFA_ERROR) &&
161 ((ffa_error_code(ret) == FFA_ERROR_NOT_SUPPORTED) ||
162 (ffa_error_code(ret) == FFA_ERROR_INVALID_PARAMETER))) {
163 INFO("Skipping register based EL3 SPMD Logical partition"
164 " discovery\n");
Karl Meakinc884d6b2024-04-16 14:01:10 +0100165 EXPECT(ffa_partition_info_regs_helper(NULL_UUID,
Raghu Krishnamurthy9f864522023-04-23 16:19:10 -0700166 ffa_expected_partition_info,
167 (ARRAY_SIZE(ffa_expected_partition_info) - 1)), true);
168 } else {
Karl Meakinc884d6b2024-04-16 14:01:10 +0100169 EXPECT(ffa_partition_info_regs_helper(sp_uuids[4],
Raghu Krishnamurthy9f864522023-04-23 16:19:10 -0700170 &ffa_expected_partition_info[4], 1), true);
Karl Meakinc884d6b2024-04-16 14:01:10 +0100171 EXPECT(ffa_partition_info_regs_helper(NULL_UUID,
Raghu Krishnamurthy9f864522023-04-23 16:19:10 -0700172 ffa_expected_partition_info,
173 ARRAY_SIZE(ffa_expected_partition_info)), true);
174 }
175}
176
Max Shvetsovc32f4782020-06-23 09:41:15 +0100177static void ffa_partition_info_get_test(struct mailbox_buffers *mb)
178{
J-Alves2279c1d2023-05-05 17:03:28 +0100179 INFO("Test FFA_PARTITION_INFO_GET.\n");
Max Shvetsovc32f4782020-06-23 09:41:15 +0100180
Karl Meakinc884d6b2024-04-16 14:01:10 +0100181 EXPECT(ffa_partition_info_helper(mb, sp_uuids[2],
Max Shvetsov0b7d25f2021-03-05 13:46:42 +0000182 &ffa_expected_partition_info[2], 1), true);
Ruari Phippsd75596a2020-07-17 16:41:34 +0100183
Karl Meakinc884d6b2024-04-16 14:01:10 +0100184 EXPECT(ffa_partition_info_helper(mb, sp_uuids[1],
Max Shvetsov0b7d25f2021-03-05 13:46:42 +0000185 &ffa_expected_partition_info[1], 1), true);
Max Shvetsovc32f4782020-06-23 09:41:15 +0100186
Karl Meakinc884d6b2024-04-16 14:01:10 +0100187 EXPECT(ffa_partition_info_helper(mb, sp_uuids[0],
Max Shvetsov0b7d25f2021-03-05 13:46:42 +0000188 &ffa_expected_partition_info[0], 1), true);
Max Shvetsovc32f4782020-06-23 09:41:15 +0100189
Raghu Krishnamurthy9f864522023-04-23 16:19:10 -0700190 /*
191 * TODO: ffa_partition_info_get_regs returns EL3 SPMD LP information
192 * but partition_info_get does not. Ignore the last entry, that is
193 * assumed to be the EL3 SPMD LP information. ffa_partition_info_get
194 * uses the rx/tx buffer and the SPMD does not support the use of
195 * rx/tx buffer to return SPMD logical partition information.
196 */
Karl Meakinc884d6b2024-04-16 14:01:10 +0100197 EXPECT(ffa_partition_info_helper(mb, NULL_UUID,
Varun Wadekar5c354822021-09-27 06:01:09 -0700198 ffa_expected_partition_info,
Raghu Krishnamurthy9f864522023-04-23 16:19:10 -0700199 (ARRAY_SIZE(ffa_expected_partition_info) - 1)), true);
Max Shvetsovc32f4782020-06-23 09:41:15 +0100200
201 ffa_partition_info_wrong_test();
Max Shvetsovc32f4782020-06-23 09:41:15 +0100202}
203
Olivier Deprez2661ba52024-02-19 18:50:53 +0100204static void ffa_version_test(void)
J-Alves9f6f0142020-06-17 15:37:59 +0100205{
Karl Meakin7308b122024-04-16 14:02:25 +0100206 struct ffa_value ret = ffa_version(FFA_VERSION_COMPILED);
Daniel Boulbyce386b12022-03-29 18:36:36 +0100207
208 spm_version = (uint32_t)ret.fid;
Karl Meakin7308b122024-04-16 14:02:25 +0100209 EXPECT(spm_version, FFA_VERSION_COMPILED);
J-Alves9f6f0142020-06-17 15:37:59 +0100210
Karl Meakin7308b122024-04-16 14:02:25 +0100211 bool compatible = ffa_versions_are_compatible(spm_version, FFA_VERSION_COMPILED);
J-Alves9f6f0142020-06-17 15:37:59 +0100212
J-Alves2279c1d2023-05-05 17:03:28 +0100213 INFO("Test FFA_VERSION. Return %u.%u; Compatible: %i\n",
Karl Meakin7308b122024-04-16 14:02:25 +0100214 ffa_version_get_major(spm_version),
215 ffa_version_get_minor(spm_version),
216 (int)compatible);
J-Alves9f6f0142020-06-17 15:37:59 +0100217
Karl Meakin7308b122024-04-16 14:02:25 +0100218 EXPECT((int)compatible, (int)true);
Max Shvetsov57c6ddb2020-07-01 14:09:48 +0100219}
220
Olivier Deprez2661ba52024-02-19 18:50:53 +0100221static void ffa_spm_id_get_test(void)
Daniel Boulby198deda2021-03-03 11:35:25 +0000222{
Karl Meakin7308b122024-04-16 14:02:25 +0100223 if (spm_version >= FFA_VERSION_1_1) {
Daniel Boulbyce386b12022-03-29 18:36:36 +0100224 struct ffa_value ret = ffa_spm_id_get();
Daniel Boulby198deda2021-03-03 11:35:25 +0000225
Karl Meakinc884d6b2024-04-16 14:01:10 +0100226 EXPECT(ffa_func_id(ret), FFA_SUCCESS_SMC32);
Daniel Boulby198deda2021-03-03 11:35:25 +0000227
228 ffa_id_t spm_id = ffa_endpoint_id(ret);
229
J-Alves2279c1d2023-05-05 17:03:28 +0100230 INFO("Test FFA_SPM_ID_GET. Return: 0x%x\n", spm_id);
231
Daniel Boulby198deda2021-03-03 11:35:25 +0000232 /*
233 * Check the SPMC value given in the fvp_spmc_manifest
234 * is returned.
235 */
Karl Meakinc884d6b2024-04-16 14:01:10 +0100236 EXPECT(spm_id, SPMC_ID);
Daniel Boulby198deda2021-03-03 11:35:25 +0000237 } else {
J-Alves2279c1d2023-05-05 17:03:28 +0100238 INFO("FFA_SPM_ID_GET not supported in this version of FF-A."
Daniel Boulby198deda2021-03-03 11:35:25 +0000239 " Test skipped.\n");
240 }
Daniel Boulby198deda2021-03-03 11:35:25 +0000241}
242
J-Alves367154e2024-05-13 18:01:02 +0100243void ffa_tests(struct mailbox_buffers *mb, bool el1_partition)
Max Shvetsov57c6ddb2020-07-01 14:09:48 +0100244{
Olivier Deprez2661ba52024-02-19 18:50:53 +0100245 const char *test_ffa_str = "FF-A setup and discovery";
Max Shvetsov57c6ddb2020-07-01 14:09:48 +0100246
Olivier Deprez2661ba52024-02-19 18:50:53 +0100247 announce_test_section_start(test_ffa_str);
J-Alves9f6f0142020-06-17 15:37:59 +0100248
J-Alves367154e2024-05-13 18:01:02 +0100249 ffa_features_test(el1_partition);
Max Shvetsov57c6ddb2020-07-01 14:09:48 +0100250 ffa_version_test();
Daniel Boulby198deda2021-03-03 11:35:25 +0000251 ffa_spm_id_get_test();
Max Shvetsovc32f4782020-06-23 09:41:15 +0100252 ffa_partition_info_get_test(mb);
Raghu Krishnamurthy9f864522023-04-23 16:19:10 -0700253 ffa_partition_info_get_regs_test();
Max Shvetsov40eb6a22020-06-08 11:15:30 +0100254
Olivier Deprez2661ba52024-02-19 18:50:53 +0100255 announce_test_section_end(test_ffa_str);
J-Alves9f6f0142020-06-17 15:37:59 +0100256}