blob: 507a5a9dc5e5ed100fbd7536249f4f8aedb91554 [file] [log] [blame]
Andrew Scull18834872018-10-12 11:48:09 +01001/*
Andrew Walbran692b3252019-03-07 15:51:31 +00002 * Copyright 2018 The Hafnium Authors.
Andrew Scull18834872018-10-12 11:48:09 +01003 *
Andrew Walbrane959ec12020-06-17 15:01:09 +01004 * 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 Scull18834872018-10-12 11:48:09 +01007 */
8
Andrew Scull18c78fc2018-08-20 12:57:41 +01009#include "hf/cpu.h"
Wedson Almeida Filho987c0ff2018-06-20 16:34:38 +010010
Andrew Scull04502e42018-09-03 14:54:52 +010011#include <stdalign.h>
12
Max Shvetsov9c0ebe42020-08-27 12:37:57 +010013#include "hf/arch/cache.h"
14
Andrew Scull18c78fc2018-08-20 12:57:41 +010015#include "hf/api.h"
Andrew Scull877ae4b2019-07-02 12:52:33 +010016#include "hf/check.h"
Andrew Scull18c78fc2018-08-20 12:57:41 +010017#include "hf/dlog.h"
Daniel Boulby7011b5a2024-10-15 18:27:26 +010018#include "hf/list.h"
J-Alves90d30d02025-05-09 16:04:48 +010019#include "hf/types.h"
Wedson Almeida Filho987c0ff2018-06-20 16:34:38 +010020
Andrew Scull19503262018-09-20 14:48:39 +010021#include "vmapi/hf/call.h"
22
Andrew Sculleed724b2019-09-12 09:57:19 +010023/**
24 * The stacks to be used by the CPUs.
25 *
Kathleen Capella4df55202022-12-01 15:39:26 -050026 * Defined in assembly for aarch64 in "src/arch/aarch64/stacks.S."
27 * Defined for host-based unit tests in "src/cpu_test.cc".
Andrew Sculleed724b2019-09-12 09:57:19 +010028 */
Kathleen Capella4df55202022-12-01 15:39:26 -050029
30extern char callstacks[MAX_CPUS][STACK_SIZE];
Andrew Sculleed724b2019-09-12 09:57:19 +010031
32/* NOLINTNEXTLINE(misc-redundant-expression) */
33static_assert((STACK_SIZE % PAGE_SIZE) == 0, "Keep each stack page aligned.");
34static_assert((PAGE_SIZE % STACK_ALIGN) == 0,
35 "Page alignment is too weak for the stack.");
Wedson Almeida Filho3fcbcff2018-07-10 23:53:39 +010036
Jose Marinho20713fa2019-08-07 15:42:07 +010037/**
Andrew Walbranb5ab43c2020-04-30 11:32:54 +010038 * Internal buffer used to store FF-A messages from a VM Tx. Its usage prevents
Jose Marinho20713fa2019-08-07 15:42:07 +010039 * TOCTOU issues while Hafnium performs actions on information that would
40 * otherwise be re-writable by the VM.
41 *
J-Alves90d30d02025-05-09 16:04:48 +010042 * Each buffer is owned by a single CPU. Can be used when handling FF-A
43 * messages, from and to the SPMC. E.g. FF-A memory sharing, indirect messaging
44 * and partition info get.
Jose Marinho20713fa2019-08-07 15:42:07 +010045 */
J-Alves90d30d02025-05-09 16:04:48 +010046alignas(PAGE_SIZE) static uint8_t cpu_message_buffer[MAX_CPUS][HF_MAILBOX_SIZE];
Jose Marinho20713fa2019-08-07 15:42:07 +010047
Mahesh Bireddy8ca57862020-01-07 13:43:21 +053048uint8_t *cpu_get_buffer(struct cpu *c)
Jose Marinho20713fa2019-08-07 15:42:07 +010049{
Mahesh Bireddy8ca57862020-01-07 13:43:21 +053050 size_t cpu_indx = cpu_index(c);
Jose Marinho20713fa2019-08-07 15:42:07 +010051
Mahesh Bireddy8ca57862020-01-07 13:43:21 +053052 CHECK(cpu_indx < MAX_CPUS);
53
54 return cpu_message_buffer[cpu_indx];
Jose Marinho20713fa2019-08-07 15:42:07 +010055}
56
Mahesh Bireddy8ca57862020-01-07 13:43:21 +053057uint32_t cpu_get_buffer_size(struct cpu *c)
Jose Marinho20713fa2019-08-07 15:42:07 +010058{
Mahesh Bireddy8ca57862020-01-07 13:43:21 +053059 size_t cpu_indx = cpu_index(c);
Jose Marinho20713fa2019-08-07 15:42:07 +010060
Mahesh Bireddy8ca57862020-01-07 13:43:21 +053061 CHECK(cpu_indx < MAX_CPUS);
62
63 return sizeof(cpu_message_buffer[cpu_indx]);
Jose Marinho20713fa2019-08-07 15:42:07 +010064}
65
Wedson Almeida Filho3fcbcff2018-07-10 23:53:39 +010066/* State of all supported CPUs. The stack of the first one is initialized. */
67struct cpu cpus[MAX_CPUS] = {
68 {
69 .is_on = 1,
Andrew Scullf3d45592018-09-20 14:30:22 +010070 .stack_bottom = &callstacks[0][STACK_SIZE],
Wedson Almeida Filho3fcbcff2018-07-10 23:53:39 +010071 },
72};
73
Max Shvetsov9c0ebe42020-08-27 12:37:57 +010074uint32_t cpu_count = 1;
Wedson Almeida Filho3fcbcff2018-07-10 23:53:39 +010075
Andrew Walbran4d3fa282019-06-26 13:31:15 +010076void cpu_module_init(const cpu_id_t *cpu_ids, size_t count)
Andrew Scullbb3ab6c2018-11-26 20:38:49 +000077{
78 uint32_t i;
79 uint32_t j;
Andrew Walbran4d3fa282019-06-26 13:31:15 +010080 cpu_id_t boot_cpu_id = cpus[0].id;
Andrew Scullbb3ab6c2018-11-26 20:38:49 +000081 bool found_boot_cpu = false;
82
83 cpu_count = count;
84
85 /*
86 * Initialize CPUs with the IDs from the configuration passed in. The
87 * CPUs after the boot CPU are initialized in reverse order. The boot
88 * CPU is initialized when it is found or in place of the last CPU if it
89 * is not found.
90 */
91 j = cpu_count;
92 for (i = 0; i < cpu_count; ++i) {
93 struct cpu *c;
Madhukar Pappireddyf658f5e2024-09-25 14:10:18 -050094 struct timer_pending_vcpu_list *timer_list;
Andrew Walbran4d3fa282019-06-26 13:31:15 +010095 cpu_id_t id = cpu_ids[i];
Andrew Scullbb3ab6c2018-11-26 20:38:49 +000096
97 if (found_boot_cpu || id != boot_cpu_id) {
Andrew Scull48973982019-08-16 17:40:28 +010098 --j;
99 c = &cpus[j];
100 c->stack_bottom = &callstacks[j][STACK_SIZE];
Andrew Scullbb3ab6c2018-11-26 20:38:49 +0000101 } else {
102 found_boot_cpu = true;
103 c = &cpus[0];
Andrew Scull48973982019-08-16 17:40:28 +0100104 CHECK(c->stack_bottom == &callstacks[0][STACK_SIZE]);
Andrew Scullbb3ab6c2018-11-26 20:38:49 +0000105 }
Wedson Almeida Filho81568c42019-01-04 13:33:02 +0000106
Andrew Scull48973982019-08-16 17:40:28 +0100107 sl_init(&c->lock);
Andrew Scullbb3ab6c2018-11-26 20:38:49 +0000108 c->id = id;
Madhukar Pappireddyf658f5e2024-09-25 14:10:18 -0500109
110 timer_list = &c->pending_timer_vcpus_list;
111
112 /*
113 * Initialize the list of vCPUs with pending arch timer for
114 * each CPU. The root entry fields is configured such that
115 * its `prev` and `next` fields point to itself.
116 */
117 list_init(&(timer_list->root_entry));
Daniel Boulby7011b5a2024-10-15 18:27:26 +0100118
119 /*
120 * Initialize the list of vCPUs with pending IPIs for
121 * each CPU. The root entry fields is configured such that
122 * its `prev` and `next` fields point to itself.
123 */
124 list_init(&c->pending_ipis);
Wedson Almeida Filho3fcbcff2018-07-10 23:53:39 +0100125 }
Andrew Scullbb3ab6c2018-11-26 20:38:49 +0000126
127 if (!found_boot_cpu) {
128 /* Boot CPU was initialized but with wrong ID. */
Andrew Walbran17eebf92020-02-05 16:35:49 +0000129 dlog_warning("Boot CPU's ID not found in config.\n");
Andrew Scullbb3ab6c2018-11-26 20:38:49 +0000130 cpus[0].id = boot_cpu_id;
131 }
Max Shvetsov9c0ebe42020-08-27 12:37:57 +0100132
133 /*
134 * Clean the cache for the cpus array such that secondary cores
135 * hitting the entry point can read the cpus array consistently
136 * with MMU off (hence data cache off).
137 */
Olivier Depreza2846172021-03-23 18:45:41 +0100138 arch_cache_data_clean_range(va_from_ptr(cpus), sizeof(cpus));
Max Shvetsov9c0ebe42020-08-27 12:37:57 +0100139
Olivier Depreza2846172021-03-23 18:45:41 +0100140 arch_cache_data_clean_range(va_from_ptr(&cpu_count), sizeof(cpu_count));
Wedson Almeida Filho3fcbcff2018-07-10 23:53:39 +0100141}
142
143size_t cpu_index(struct cpu *c)
144{
Wedson Almeida Filho03e767a2018-07-30 15:32:03 +0100145 return c - cpus;
Wedson Almeida Filho3fcbcff2018-07-10 23:53:39 +0100146}
147
Olivier Deprez7d5e5532020-09-22 15:06:58 +0200148/*
149 * Return cpu with the given index.
150 */
151struct cpu *cpu_find_index(size_t index)
152{
153 return (index < MAX_CPUS) ? &cpus[index] : NULL;
154}
155
Wedson Almeida Filho87009642018-07-02 10:20:07 +0100156/**
157 * Turns CPU on and returns the previous state.
158 */
Olivier Deprez70f8a4a2022-09-26 09:17:56 +0200159bool cpu_on(struct cpu *c)
Wedson Almeida Filho987c0ff2018-06-20 16:34:38 +0100160{
Wedson Almeida Filho87009642018-07-02 10:20:07 +0100161 bool prev;
162
Wedson Almeida Filho987c0ff2018-06-20 16:34:38 +0100163 sl_lock(&c->lock);
Wedson Almeida Filho87009642018-07-02 10:20:07 +0100164 prev = c->is_on;
165 c->is_on = true;
166 sl_unlock(&c->lock);
167
Wedson Almeida Filho87009642018-07-02 10:20:07 +0100168 return prev;
Wedson Almeida Filho987c0ff2018-06-20 16:34:38 +0100169}
170
Wedson Almeida Filho03e767a2018-07-30 15:32:03 +0100171/**
172 * Prepares the CPU for turning itself off.
Wedson Almeida Filho987c0ff2018-06-20 16:34:38 +0100173 */
174void cpu_off(struct cpu *c)
175{
Wedson Almeida Filho987c0ff2018-06-20 16:34:38 +0100176 sl_lock(&c->lock);
Wedson Almeida Filho87009642018-07-02 10:20:07 +0100177 c->is_on = false;
Madhukar Pappireddy984e99a2025-02-10 09:55:27 -0600178 c->last_sp_initialized = false;
Wedson Almeida Filho987c0ff2018-06-20 16:34:38 +0100179 sl_unlock(&c->lock);
Wedson Almeida Filho03e767a2018-07-30 15:32:03 +0100180}
Wedson Almeida Filho987c0ff2018-06-20 16:34:38 +0100181
Wedson Almeida Filho03e767a2018-07-30 15:32:03 +0100182/**
Fuad Tabbab0ef2a42019-12-19 11:19:25 +0000183 * Searches for a CPU based on its ID.
Wedson Almeida Filho03e767a2018-07-30 15:32:03 +0100184 */
Andrew Walbran4d3fa282019-06-26 13:31:15 +0100185struct cpu *cpu_find(cpu_id_t id)
Wedson Almeida Filho03e767a2018-07-30 15:32:03 +0100186{
187 size_t i;
188
Andrew Scullbb3ab6c2018-11-26 20:38:49 +0000189 for (i = 0; i < cpu_count; i++) {
Wedson Almeida Filho03e767a2018-07-30 15:32:03 +0100190 if (cpus[i].id == id) {
Andrew Scullf3d45592018-09-20 14:30:22 +0100191 return &cpus[i];
Wedson Almeida Filho03e767a2018-07-30 15:32:03 +0100192 }
193 }
194
195 return NULL;
Wedson Almeida Filho987c0ff2018-06-20 16:34:38 +0100196}