J-Alves | 3388b0b | 2021-04-13 10:39:38 +0100 | [diff] [blame] | 1 | /* |
| 2 | * Copyright 2021 The Hafnium Authors. |
| 3 | * |
| 4 | * Use of this source code is governed by a BSD-style |
| 5 | * license that can be found in the LICENSE file or at |
| 6 | * https://opensource.org/licenses/BSD-3-Clause. |
| 7 | */ |
| 8 | |
| 9 | #include <stdalign.h> |
| 10 | #include <stdint.h> |
| 11 | |
| 12 | #include "hf/ffa.h" |
| 13 | #include "hf/mm.h" |
| 14 | #include "hf/std.h" |
| 15 | |
| 16 | #include "vmapi/hf/call.h" |
| 17 | |
J-Alves | 35e6192 | 2021-05-06 10:01:05 +0100 | [diff] [blame] | 18 | #include "test/abort.h" |
J-Alves | 3388b0b | 2021-04-13 10:39:38 +0100 | [diff] [blame] | 19 | #include "test/hftest.h" |
Federico Recanati | 69c554b | 2022-03-14 15:48:28 +0100 | [diff] [blame] | 20 | #include "test/vmapi/ffa.h" |
J-Alves | 3388b0b | 2021-04-13 10:39:38 +0100 | [diff] [blame] | 21 | |
Olivier Deprez | 175161a | 2021-11-23 18:41:09 +0100 | [diff] [blame] | 22 | alignas(4096) uint8_t kstack[MAX_CPUS][4096]; |
J-Alves | 3388b0b | 2021-04-13 10:39:38 +0100 | [diff] [blame] | 23 | |
Federico Recanati | 632fa14 | 2022-04-27 13:14:58 +0200 | [diff] [blame] | 24 | bool sel1_secure_service = true; |
| 25 | |
Olivier Deprez | 175161a | 2021-11-23 18:41:09 +0100 | [diff] [blame] | 26 | void test_main_sp(bool); |
J-Alves | 3388b0b | 2021-04-13 10:39:38 +0100 | [diff] [blame] | 27 | |
J-Alves | 3388b0b | 2021-04-13 10:39:38 +0100 | [diff] [blame] | 28 | noreturn void kmain(void) |
| 29 | { |
Olivier Deprez | 175161a | 2021-11-23 18:41:09 +0100 | [diff] [blame] | 30 | extern void secondary_ep_entry(void); |
| 31 | struct ffa_value res; |
| 32 | |
J-Alves | 3388b0b | 2021-04-13 10:39:38 +0100 | [diff] [blame] | 33 | /* |
| 34 | * Initialize the stage-1 MMU and identity-map the entire address space. |
| 35 | */ |
| 36 | if (!hftest_mm_init()) { |
| 37 | HFTEST_LOG_FAILURE(); |
| 38 | HFTEST_LOG(HFTEST_LOG_INDENT "Memory initialization failed"); |
| 39 | abort(); |
| 40 | } |
| 41 | |
Olivier Deprez | 175161a | 2021-11-23 18:41:09 +0100 | [diff] [blame] | 42 | /* Register entry point for secondary vCPUs. */ |
| 43 | res = ffa_secondary_ep_register((uintptr_t)secondary_ep_entry); |
| 44 | EXPECT_EQ(res.func, FFA_SUCCESS_32); |
| 45 | |
Federico Recanati | 69c554b | 2022-03-14 15:48:28 +0100 | [diff] [blame] | 46 | /* Register RX/TX buffers via FFA_RXTX_MAP */ |
| 47 | set_up_mailbox(); |
| 48 | |
Olivier Deprez | 175161a | 2021-11-23 18:41:09 +0100 | [diff] [blame] | 49 | test_main_sp(true); |
J-Alves | 3388b0b | 2021-04-13 10:39:38 +0100 | [diff] [blame] | 50 | |
| 51 | /* Do not expect to get to this point, so abort. */ |
| 52 | abort(); |
| 53 | } |