blob: 11eb0a3714a415b21c5d81f0c9374889d1c1355f [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
Andrew Scull18c78fc2018-08-20 12:57:41 +010013#include "hf/api.h"
Andrew Scull877ae4b2019-07-02 12:52:33 +010014#include "hf/check.h"
Andrew Scull18c78fc2018-08-20 12:57:41 +010015#include "hf/dlog.h"
Wedson Almeida Filho987c0ff2018-06-20 16:34:38 +010016
Andrew Scull19503262018-09-20 14:48:39 +010017#include "vmapi/hf/call.h"
18
Andrew Scull23e93a82018-10-26 14:56:04 +010019#define STACK_SIZE PAGE_SIZE
20
Andrew Sculleed724b2019-09-12 09:57:19 +010021/**
22 * The stacks to be used by the CPUs.
23 *
24 * Align to page boundaries to ensure that cache lines are not shared between a
25 * CPU's stack and data that can be accessed from other CPUs. If this did
26 * happen, there may be coherency problems when the stack is being used before
27 * caching is enabled.
28 */
29alignas(PAGE_SIZE) static char callstacks[MAX_CPUS][STACK_SIZE];
30
31/* NOLINTNEXTLINE(misc-redundant-expression) */
32static_assert((STACK_SIZE % PAGE_SIZE) == 0, "Keep each stack page aligned.");
33static_assert((PAGE_SIZE % STACK_ALIGN) == 0,
34 "Page alignment is too weak for the stack.");
Wedson Almeida Filho3fcbcff2018-07-10 23:53:39 +010035
Jose Marinho20713fa2019-08-07 15:42:07 +010036/**
Andrew Walbranb5ab43c2020-04-30 11:32:54 +010037 * Internal buffer used to store FF-A messages from a VM Tx. Its usage prevents
Jose Marinho20713fa2019-08-07 15:42:07 +010038 * TOCTOU issues while Hafnium performs actions on information that would
39 * otherwise be re-writable by the VM.
40 *
Fuad Tabbab0ef2a42019-12-19 11:19:25 +000041 * Each buffer is owned by a single CPU. The buffer can only be used for
Andrew Walbranb5ab43c2020-04-30 11:32:54 +010042 * ffa_msg_send. The information stored in the buffer is only valid during the
43 * ffa_msg_send request is performed.
Jose Marinho20713fa2019-08-07 15:42:07 +010044 */
Andrew Walbran0ec61592019-12-17 13:29:01 +000045alignas(PAGE_SIZE) static uint8_t cpu_message_buffer[MAX_CPUS][PAGE_SIZE];
Jose Marinho20713fa2019-08-07 15:42:07 +010046
Mahesh Bireddy8ca57862020-01-07 13:43:21 +053047uint8_t *cpu_get_buffer(struct cpu *c)
Jose Marinho20713fa2019-08-07 15:42:07 +010048{
Mahesh Bireddy8ca57862020-01-07 13:43:21 +053049 size_t cpu_indx = cpu_index(c);
Jose Marinho20713fa2019-08-07 15:42:07 +010050
Mahesh Bireddy8ca57862020-01-07 13:43:21 +053051 CHECK(cpu_indx < MAX_CPUS);
52
53 return cpu_message_buffer[cpu_indx];
Jose Marinho20713fa2019-08-07 15:42:07 +010054}
55
Mahesh Bireddy8ca57862020-01-07 13:43:21 +053056uint32_t cpu_get_buffer_size(struct cpu *c)
Jose Marinho20713fa2019-08-07 15:42:07 +010057{
Mahesh Bireddy8ca57862020-01-07 13:43:21 +053058 size_t cpu_indx = cpu_index(c);
Jose Marinho20713fa2019-08-07 15:42:07 +010059
Mahesh Bireddy8ca57862020-01-07 13:43:21 +053060 CHECK(cpu_indx < MAX_CPUS);
61
62 return sizeof(cpu_message_buffer[cpu_indx]);
Jose Marinho20713fa2019-08-07 15:42:07 +010063}
64
Wedson Almeida Filho3fcbcff2018-07-10 23:53:39 +010065/* State of all supported CPUs. The stack of the first one is initialized. */
66struct cpu cpus[MAX_CPUS] = {
67 {
68 .is_on = 1,
Andrew Scullf3d45592018-09-20 14:30:22 +010069 .stack_bottom = &callstacks[0][STACK_SIZE],
Wedson Almeida Filho3fcbcff2018-07-10 23:53:39 +010070 },
71};
72
Andrew Scullbb3ab6c2018-11-26 20:38:49 +000073static uint32_t cpu_count = 1;
Wedson Almeida Filho3fcbcff2018-07-10 23:53:39 +010074
Andrew Walbran4d3fa282019-06-26 13:31:15 +010075void cpu_module_init(const cpu_id_t *cpu_ids, size_t count)
Andrew Scullbb3ab6c2018-11-26 20:38:49 +000076{
77 uint32_t i;
78 uint32_t j;
Andrew Walbran4d3fa282019-06-26 13:31:15 +010079 cpu_id_t boot_cpu_id = cpus[0].id;
Andrew Scullbb3ab6c2018-11-26 20:38:49 +000080 bool found_boot_cpu = false;
81
82 cpu_count = count;
83
84 /*
85 * Initialize CPUs with the IDs from the configuration passed in. The
86 * CPUs after the boot CPU are initialized in reverse order. The boot
87 * CPU is initialized when it is found or in place of the last CPU if it
88 * is not found.
89 */
90 j = cpu_count;
91 for (i = 0; i < cpu_count; ++i) {
92 struct cpu *c;
Andrew Walbran4d3fa282019-06-26 13:31:15 +010093 cpu_id_t id = cpu_ids[i];
Andrew Scullbb3ab6c2018-11-26 20:38:49 +000094
95 if (found_boot_cpu || id != boot_cpu_id) {
Andrew Scull48973982019-08-16 17:40:28 +010096 --j;
97 c = &cpus[j];
98 c->stack_bottom = &callstacks[j][STACK_SIZE];
Andrew Scullbb3ab6c2018-11-26 20:38:49 +000099 } else {
100 found_boot_cpu = true;
101 c = &cpus[0];
Andrew Scull48973982019-08-16 17:40:28 +0100102 CHECK(c->stack_bottom == &callstacks[0][STACK_SIZE]);
Andrew Scullbb3ab6c2018-11-26 20:38:49 +0000103 }
Wedson Almeida Filho81568c42019-01-04 13:33:02 +0000104
Andrew Scull48973982019-08-16 17:40:28 +0100105 sl_init(&c->lock);
Andrew Scullbb3ab6c2018-11-26 20:38:49 +0000106 c->id = id;
Wedson Almeida Filho3fcbcff2018-07-10 23:53:39 +0100107 }
Andrew Scullbb3ab6c2018-11-26 20:38:49 +0000108
109 if (!found_boot_cpu) {
110 /* Boot CPU was initialized but with wrong ID. */
Andrew Walbran17eebf92020-02-05 16:35:49 +0000111 dlog_warning("Boot CPU's ID not found in config.\n");
Andrew Scullbb3ab6c2018-11-26 20:38:49 +0000112 cpus[0].id = boot_cpu_id;
113 }
Wedson Almeida Filho3fcbcff2018-07-10 23:53:39 +0100114}
115
116size_t cpu_index(struct cpu *c)
117{
Wedson Almeida Filho03e767a2018-07-30 15:32:03 +0100118 return c - cpus;
Wedson Almeida Filho3fcbcff2018-07-10 23:53:39 +0100119}
120
Olivier Deprez7d5e5532020-09-22 15:06:58 +0200121/*
122 * Return cpu with the given index.
123 */
124struct cpu *cpu_find_index(size_t index)
125{
126 return (index < MAX_CPUS) ? &cpus[index] : NULL;
127}
128
Wedson Almeida Filho87009642018-07-02 10:20:07 +0100129/**
130 * Turns CPU on and returns the previous state.
131 */
Andrew Scull37402872018-10-24 14:23:06 +0100132bool cpu_on(struct cpu *c, ipaddr_t entry, uintreg_t arg)
Wedson Almeida Filho987c0ff2018-06-20 16:34:38 +0100133{
Wedson Almeida Filho87009642018-07-02 10:20:07 +0100134 bool prev;
135
Wedson Almeida Filho987c0ff2018-06-20 16:34:38 +0100136 sl_lock(&c->lock);
Wedson Almeida Filho87009642018-07-02 10:20:07 +0100137 prev = c->is_on;
138 c->is_on = true;
139 sl_unlock(&c->lock);
140
141 if (!prev) {
Olivier Deprezb9adff42021-02-01 12:14:05 +0100142 /* This returns the first booted VM (e.g. primary in the NWd) */
143 struct vm *vm = vm_get_first_boot();
Andrew Walbrane1310df2019-04-29 17:28:28 +0100144 struct vcpu *vcpu = vm_get_vcpu(vm, cpu_index(c));
Andrew Walbranb58f8992019-04-15 12:29:31 +0100145 struct vcpu_locked vcpu_locked;
Wedson Almeida Filho81568c42019-01-04 13:33:02 +0000146
Andrew Walbranb58f8992019-04-15 12:29:31 +0100147 vcpu_locked = vcpu_lock(vcpu);
148 vcpu_on(vcpu_locked, entry, arg);
149 vcpu_unlock(&vcpu_locked);
Wedson Almeida Filho987c0ff2018-06-20 16:34:38 +0100150 }
Wedson Almeida Filho87009642018-07-02 10:20:07 +0100151
152 return prev;
Wedson Almeida Filho987c0ff2018-06-20 16:34:38 +0100153}
154
Wedson Almeida Filho03e767a2018-07-30 15:32:03 +0100155/**
156 * Prepares the CPU for turning itself off.
Wedson Almeida Filho987c0ff2018-06-20 16:34:38 +0100157 */
158void cpu_off(struct cpu *c)
159{
Wedson Almeida Filho987c0ff2018-06-20 16:34:38 +0100160 sl_lock(&c->lock);
Wedson Almeida Filho87009642018-07-02 10:20:07 +0100161 c->is_on = false;
Wedson Almeida Filho987c0ff2018-06-20 16:34:38 +0100162 sl_unlock(&c->lock);
Wedson Almeida Filho03e767a2018-07-30 15:32:03 +0100163}
Wedson Almeida Filho987c0ff2018-06-20 16:34:38 +0100164
Wedson Almeida Filho03e767a2018-07-30 15:32:03 +0100165/**
Fuad Tabbab0ef2a42019-12-19 11:19:25 +0000166 * Searches for a CPU based on its ID.
Wedson Almeida Filho03e767a2018-07-30 15:32:03 +0100167 */
Andrew Walbran4d3fa282019-06-26 13:31:15 +0100168struct cpu *cpu_find(cpu_id_t id)
Wedson Almeida Filho03e767a2018-07-30 15:32:03 +0100169{
170 size_t i;
171
Andrew Scullbb3ab6c2018-11-26 20:38:49 +0000172 for (i = 0; i < cpu_count; i++) {
Wedson Almeida Filho03e767a2018-07-30 15:32:03 +0100173 if (cpus[i].id == id) {
Andrew Scullf3d45592018-09-20 14:30:22 +0100174 return &cpus[i];
Wedson Almeida Filho03e767a2018-07-30 15:32:03 +0100175 }
176 }
177
178 return NULL;
Wedson Almeida Filho987c0ff2018-06-20 16:34:38 +0100179}