Andrew Scull | 1883487 | 2018-10-12 11:48:09 +0100 | [diff] [blame] | 1 | /* |
Andrew Walbran | 692b325 | 2019-03-07 15:51:31 +0000 | [diff] [blame] | 2 | * Copyright 2018 The Hafnium Authors. |
Andrew Scull | 1883487 | 2018-10-12 11:48:09 +0100 | [diff] [blame] | 3 | * |
Andrew Walbran | e959ec1 | 2020-06-17 15:01:09 +0100 | [diff] [blame] | 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. |
Andrew Scull | 1883487 | 2018-10-12 11:48:09 +0100 | [diff] [blame] | 7 | */ |
| 8 | |
Andrew Scull | 18c78fc | 2018-08-20 12:57:41 +0100 | [diff] [blame] | 9 | #include "hf/cpu.h" |
Wedson Almeida Filho | 987c0ff | 2018-06-20 16:34:38 +0100 | [diff] [blame] | 10 | |
Andrew Scull | 04502e4 | 2018-09-03 14:54:52 +0100 | [diff] [blame] | 11 | #include <stdalign.h> |
| 12 | |
Max Shvetsov | 9c0ebe4 | 2020-08-27 12:37:57 +0100 | [diff] [blame] | 13 | #include "hf/arch/cache.h" |
| 14 | |
Andrew Scull | 18c78fc | 2018-08-20 12:57:41 +0100 | [diff] [blame] | 15 | #include "hf/api.h" |
Andrew Scull | 877ae4b | 2019-07-02 12:52:33 +0100 | [diff] [blame] | 16 | #include "hf/check.h" |
Andrew Scull | 18c78fc | 2018-08-20 12:57:41 +0100 | [diff] [blame] | 17 | #include "hf/dlog.h" |
Wedson Almeida Filho | 987c0ff | 2018-06-20 16:34:38 +0100 | [diff] [blame] | 18 | |
Andrew Scull | 1950326 | 2018-09-20 14:48:39 +0100 | [diff] [blame] | 19 | #include "vmapi/hf/call.h" |
| 20 | |
Andrew Scull | 23e93a8 | 2018-10-26 14:56:04 +0100 | [diff] [blame] | 21 | #define STACK_SIZE PAGE_SIZE |
| 22 | |
Andrew Scull | eed724b | 2019-09-12 09:57:19 +0100 | [diff] [blame] | 23 | /** |
| 24 | * The stacks to be used by the CPUs. |
| 25 | * |
| 26 | * Align to page boundaries to ensure that cache lines are not shared between a |
| 27 | * CPU's stack and data that can be accessed from other CPUs. If this did |
| 28 | * happen, there may be coherency problems when the stack is being used before |
| 29 | * caching is enabled. |
| 30 | */ |
| 31 | alignas(PAGE_SIZE) static char callstacks[MAX_CPUS][STACK_SIZE]; |
| 32 | |
| 33 | /* NOLINTNEXTLINE(misc-redundant-expression) */ |
| 34 | static_assert((STACK_SIZE % PAGE_SIZE) == 0, "Keep each stack page aligned."); |
| 35 | static_assert((PAGE_SIZE % STACK_ALIGN) == 0, |
| 36 | "Page alignment is too weak for the stack."); |
Wedson Almeida Filho | 3fcbcff | 2018-07-10 23:53:39 +0100 | [diff] [blame] | 37 | |
Jose Marinho | 20713fa | 2019-08-07 15:42:07 +0100 | [diff] [blame] | 38 | /** |
Andrew Walbran | b5ab43c | 2020-04-30 11:32:54 +0100 | [diff] [blame] | 39 | * Internal buffer used to store FF-A messages from a VM Tx. Its usage prevents |
Jose Marinho | 20713fa | 2019-08-07 15:42:07 +0100 | [diff] [blame] | 40 | * TOCTOU issues while Hafnium performs actions on information that would |
| 41 | * otherwise be re-writable by the VM. |
| 42 | * |
Fuad Tabba | b0ef2a4 | 2019-12-19 11:19:25 +0000 | [diff] [blame] | 43 | * Each buffer is owned by a single CPU. The buffer can only be used for |
Andrew Walbran | b5ab43c | 2020-04-30 11:32:54 +0100 | [diff] [blame] | 44 | * ffa_msg_send. The information stored in the buffer is only valid during the |
| 45 | * ffa_msg_send request is performed. |
Jose Marinho | 20713fa | 2019-08-07 15:42:07 +0100 | [diff] [blame] | 46 | */ |
Andrew Walbran | 0ec6159 | 2019-12-17 13:29:01 +0000 | [diff] [blame] | 47 | alignas(PAGE_SIZE) static uint8_t cpu_message_buffer[MAX_CPUS][PAGE_SIZE]; |
Jose Marinho | 20713fa | 2019-08-07 15:42:07 +0100 | [diff] [blame] | 48 | |
Mahesh Bireddy | 8ca5786 | 2020-01-07 13:43:21 +0530 | [diff] [blame] | 49 | uint8_t *cpu_get_buffer(struct cpu *c) |
Jose Marinho | 20713fa | 2019-08-07 15:42:07 +0100 | [diff] [blame] | 50 | { |
Mahesh Bireddy | 8ca5786 | 2020-01-07 13:43:21 +0530 | [diff] [blame] | 51 | size_t cpu_indx = cpu_index(c); |
Jose Marinho | 20713fa | 2019-08-07 15:42:07 +0100 | [diff] [blame] | 52 | |
Mahesh Bireddy | 8ca5786 | 2020-01-07 13:43:21 +0530 | [diff] [blame] | 53 | CHECK(cpu_indx < MAX_CPUS); |
| 54 | |
| 55 | return cpu_message_buffer[cpu_indx]; |
Jose Marinho | 20713fa | 2019-08-07 15:42:07 +0100 | [diff] [blame] | 56 | } |
| 57 | |
Mahesh Bireddy | 8ca5786 | 2020-01-07 13:43:21 +0530 | [diff] [blame] | 58 | uint32_t cpu_get_buffer_size(struct cpu *c) |
Jose Marinho | 20713fa | 2019-08-07 15:42:07 +0100 | [diff] [blame] | 59 | { |
Mahesh Bireddy | 8ca5786 | 2020-01-07 13:43:21 +0530 | [diff] [blame] | 60 | size_t cpu_indx = cpu_index(c); |
Jose Marinho | 20713fa | 2019-08-07 15:42:07 +0100 | [diff] [blame] | 61 | |
Mahesh Bireddy | 8ca5786 | 2020-01-07 13:43:21 +0530 | [diff] [blame] | 62 | CHECK(cpu_indx < MAX_CPUS); |
| 63 | |
| 64 | return sizeof(cpu_message_buffer[cpu_indx]); |
Jose Marinho | 20713fa | 2019-08-07 15:42:07 +0100 | [diff] [blame] | 65 | } |
| 66 | |
Wedson Almeida Filho | 3fcbcff | 2018-07-10 23:53:39 +0100 | [diff] [blame] | 67 | /* State of all supported CPUs. The stack of the first one is initialized. */ |
| 68 | struct cpu cpus[MAX_CPUS] = { |
| 69 | { |
| 70 | .is_on = 1, |
Andrew Scull | f3d4559 | 2018-09-20 14:30:22 +0100 | [diff] [blame] | 71 | .stack_bottom = &callstacks[0][STACK_SIZE], |
Wedson Almeida Filho | 3fcbcff | 2018-07-10 23:53:39 +0100 | [diff] [blame] | 72 | }, |
| 73 | }; |
| 74 | |
Max Shvetsov | 9c0ebe4 | 2020-08-27 12:37:57 +0100 | [diff] [blame] | 75 | uint32_t cpu_count = 1; |
Wedson Almeida Filho | 3fcbcff | 2018-07-10 23:53:39 +0100 | [diff] [blame] | 76 | |
Andrew Walbran | 4d3fa28 | 2019-06-26 13:31:15 +0100 | [diff] [blame] | 77 | void cpu_module_init(const cpu_id_t *cpu_ids, size_t count) |
Andrew Scull | bb3ab6c | 2018-11-26 20:38:49 +0000 | [diff] [blame] | 78 | { |
| 79 | uint32_t i; |
| 80 | uint32_t j; |
Andrew Walbran | 4d3fa28 | 2019-06-26 13:31:15 +0100 | [diff] [blame] | 81 | cpu_id_t boot_cpu_id = cpus[0].id; |
Andrew Scull | bb3ab6c | 2018-11-26 20:38:49 +0000 | [diff] [blame] | 82 | bool found_boot_cpu = false; |
| 83 | |
| 84 | cpu_count = count; |
| 85 | |
| 86 | /* |
| 87 | * Initialize CPUs with the IDs from the configuration passed in. The |
| 88 | * CPUs after the boot CPU are initialized in reverse order. The boot |
| 89 | * CPU is initialized when it is found or in place of the last CPU if it |
| 90 | * is not found. |
| 91 | */ |
| 92 | j = cpu_count; |
| 93 | for (i = 0; i < cpu_count; ++i) { |
| 94 | struct cpu *c; |
Andrew Walbran | 4d3fa28 | 2019-06-26 13:31:15 +0100 | [diff] [blame] | 95 | cpu_id_t id = cpu_ids[i]; |
Andrew Scull | bb3ab6c | 2018-11-26 20:38:49 +0000 | [diff] [blame] | 96 | |
| 97 | if (found_boot_cpu || id != boot_cpu_id) { |
Andrew Scull | 4897398 | 2019-08-16 17:40:28 +0100 | [diff] [blame] | 98 | --j; |
| 99 | c = &cpus[j]; |
| 100 | c->stack_bottom = &callstacks[j][STACK_SIZE]; |
Andrew Scull | bb3ab6c | 2018-11-26 20:38:49 +0000 | [diff] [blame] | 101 | } else { |
| 102 | found_boot_cpu = true; |
| 103 | c = &cpus[0]; |
Andrew Scull | 4897398 | 2019-08-16 17:40:28 +0100 | [diff] [blame] | 104 | CHECK(c->stack_bottom == &callstacks[0][STACK_SIZE]); |
Andrew Scull | bb3ab6c | 2018-11-26 20:38:49 +0000 | [diff] [blame] | 105 | } |
Wedson Almeida Filho | 81568c4 | 2019-01-04 13:33:02 +0000 | [diff] [blame] | 106 | |
Andrew Scull | 4897398 | 2019-08-16 17:40:28 +0100 | [diff] [blame] | 107 | sl_init(&c->lock); |
Andrew Scull | bb3ab6c | 2018-11-26 20:38:49 +0000 | [diff] [blame] | 108 | c->id = id; |
Wedson Almeida Filho | 3fcbcff | 2018-07-10 23:53:39 +0100 | [diff] [blame] | 109 | } |
Andrew Scull | bb3ab6c | 2018-11-26 20:38:49 +0000 | [diff] [blame] | 110 | |
| 111 | if (!found_boot_cpu) { |
| 112 | /* Boot CPU was initialized but with wrong ID. */ |
Andrew Walbran | 17eebf9 | 2020-02-05 16:35:49 +0000 | [diff] [blame] | 113 | dlog_warning("Boot CPU's ID not found in config.\n"); |
Andrew Scull | bb3ab6c | 2018-11-26 20:38:49 +0000 | [diff] [blame] | 114 | cpus[0].id = boot_cpu_id; |
| 115 | } |
Max Shvetsov | 9c0ebe4 | 2020-08-27 12:37:57 +0100 | [diff] [blame] | 116 | |
| 117 | /* |
| 118 | * Clean the cache for the cpus array such that secondary cores |
| 119 | * hitting the entry point can read the cpus array consistently |
| 120 | * with MMU off (hence data cache off). |
| 121 | */ |
Olivier Deprez | a284617 | 2021-03-23 18:45:41 +0100 | [diff] [blame] | 122 | arch_cache_data_clean_range(va_from_ptr(cpus), sizeof(cpus)); |
Max Shvetsov | 9c0ebe4 | 2020-08-27 12:37:57 +0100 | [diff] [blame] | 123 | |
Olivier Deprez | a284617 | 2021-03-23 18:45:41 +0100 | [diff] [blame] | 124 | arch_cache_data_clean_range(va_from_ptr(&cpu_count), sizeof(cpu_count)); |
Wedson Almeida Filho | 3fcbcff | 2018-07-10 23:53:39 +0100 | [diff] [blame] | 125 | } |
| 126 | |
| 127 | size_t cpu_index(struct cpu *c) |
| 128 | { |
Wedson Almeida Filho | 03e767a | 2018-07-30 15:32:03 +0100 | [diff] [blame] | 129 | return c - cpus; |
Wedson Almeida Filho | 3fcbcff | 2018-07-10 23:53:39 +0100 | [diff] [blame] | 130 | } |
| 131 | |
Olivier Deprez | 7d5e553 | 2020-09-22 15:06:58 +0200 | [diff] [blame] | 132 | /* |
| 133 | * Return cpu with the given index. |
| 134 | */ |
| 135 | struct cpu *cpu_find_index(size_t index) |
| 136 | { |
| 137 | return (index < MAX_CPUS) ? &cpus[index] : NULL; |
| 138 | } |
| 139 | |
Wedson Almeida Filho | 8700964 | 2018-07-02 10:20:07 +0100 | [diff] [blame] | 140 | /** |
| 141 | * Turns CPU on and returns the previous state. |
| 142 | */ |
Andrew Scull | 3740287 | 2018-10-24 14:23:06 +0100 | [diff] [blame] | 143 | bool cpu_on(struct cpu *c, ipaddr_t entry, uintreg_t arg) |
Wedson Almeida Filho | 987c0ff | 2018-06-20 16:34:38 +0100 | [diff] [blame] | 144 | { |
Wedson Almeida Filho | 8700964 | 2018-07-02 10:20:07 +0100 | [diff] [blame] | 145 | bool prev; |
| 146 | |
Wedson Almeida Filho | 987c0ff | 2018-06-20 16:34:38 +0100 | [diff] [blame] | 147 | sl_lock(&c->lock); |
Wedson Almeida Filho | 8700964 | 2018-07-02 10:20:07 +0100 | [diff] [blame] | 148 | prev = c->is_on; |
| 149 | c->is_on = true; |
| 150 | sl_unlock(&c->lock); |
| 151 | |
| 152 | if (!prev) { |
Olivier Deprez | b9adff4 | 2021-02-01 12:14:05 +0100 | [diff] [blame] | 153 | /* This returns the first booted VM (e.g. primary in the NWd) */ |
| 154 | struct vm *vm = vm_get_first_boot(); |
Andrew Walbran | e1310df | 2019-04-29 17:28:28 +0100 | [diff] [blame] | 155 | struct vcpu *vcpu = vm_get_vcpu(vm, cpu_index(c)); |
Andrew Walbran | b58f899 | 2019-04-15 12:29:31 +0100 | [diff] [blame] | 156 | struct vcpu_locked vcpu_locked; |
Wedson Almeida Filho | 81568c4 | 2019-01-04 13:33:02 +0000 | [diff] [blame] | 157 | |
Andrew Walbran | b58f899 | 2019-04-15 12:29:31 +0100 | [diff] [blame] | 158 | vcpu_locked = vcpu_lock(vcpu); |
| 159 | vcpu_on(vcpu_locked, entry, arg); |
| 160 | vcpu_unlock(&vcpu_locked); |
Wedson Almeida Filho | 987c0ff | 2018-06-20 16:34:38 +0100 | [diff] [blame] | 161 | } |
Wedson Almeida Filho | 8700964 | 2018-07-02 10:20:07 +0100 | [diff] [blame] | 162 | |
| 163 | return prev; |
Wedson Almeida Filho | 987c0ff | 2018-06-20 16:34:38 +0100 | [diff] [blame] | 164 | } |
| 165 | |
Wedson Almeida Filho | 03e767a | 2018-07-30 15:32:03 +0100 | [diff] [blame] | 166 | /** |
| 167 | * Prepares the CPU for turning itself off. |
Wedson Almeida Filho | 987c0ff | 2018-06-20 16:34:38 +0100 | [diff] [blame] | 168 | */ |
| 169 | void cpu_off(struct cpu *c) |
| 170 | { |
Wedson Almeida Filho | 987c0ff | 2018-06-20 16:34:38 +0100 | [diff] [blame] | 171 | sl_lock(&c->lock); |
Wedson Almeida Filho | 8700964 | 2018-07-02 10:20:07 +0100 | [diff] [blame] | 172 | c->is_on = false; |
Wedson Almeida Filho | 987c0ff | 2018-06-20 16:34:38 +0100 | [diff] [blame] | 173 | sl_unlock(&c->lock); |
Wedson Almeida Filho | 03e767a | 2018-07-30 15:32:03 +0100 | [diff] [blame] | 174 | } |
Wedson Almeida Filho | 987c0ff | 2018-06-20 16:34:38 +0100 | [diff] [blame] | 175 | |
Wedson Almeida Filho | 03e767a | 2018-07-30 15:32:03 +0100 | [diff] [blame] | 176 | /** |
Fuad Tabba | b0ef2a4 | 2019-12-19 11:19:25 +0000 | [diff] [blame] | 177 | * Searches for a CPU based on its ID. |
Wedson Almeida Filho | 03e767a | 2018-07-30 15:32:03 +0100 | [diff] [blame] | 178 | */ |
Andrew Walbran | 4d3fa28 | 2019-06-26 13:31:15 +0100 | [diff] [blame] | 179 | struct cpu *cpu_find(cpu_id_t id) |
Wedson Almeida Filho | 03e767a | 2018-07-30 15:32:03 +0100 | [diff] [blame] | 180 | { |
| 181 | size_t i; |
| 182 | |
Andrew Scull | bb3ab6c | 2018-11-26 20:38:49 +0000 | [diff] [blame] | 183 | for (i = 0; i < cpu_count; i++) { |
Wedson Almeida Filho | 03e767a | 2018-07-30 15:32:03 +0100 | [diff] [blame] | 184 | if (cpus[i].id == id) { |
Andrew Scull | f3d4559 | 2018-09-20 14:30:22 +0100 | [diff] [blame] | 185 | return &cpus[i]; |
Wedson Almeida Filho | 03e767a | 2018-07-30 15:32:03 +0100 | [diff] [blame] | 186 | } |
| 187 | } |
| 188 | |
| 189 | return NULL; |
Wedson Almeida Filho | 987c0ff | 2018-06-20 16:34:38 +0100 | [diff] [blame] | 190 | } |