blob: a675784286ea1d59639e0c98b0ce8257b1219732 [file] [log] [blame]
Andrew Scull18834872018-10-12 11:48:09 +01001/*
J-Alves13318e32021-02-22 17:21:00 +00002 * Copyright 2021 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/api.h"
Wedson Almeida Filho3fcbcff2018-07-10 23:53:39 +010010
Andrew Walbran318f5732018-11-20 16:23:42 +000011#include "hf/arch/cpu.h"
J-Alves917d2f22020-10-30 18:39:30 +000012#include "hf/arch/ffa_memory_handle.h"
Olivier Deprez96a2a262020-06-11 17:21:38 +020013#include "hf/arch/mm.h"
Olivier Deprez112d2b52020-09-30 07:39:23 +020014#include "hf/arch/other_world.h"
Andrew Walbran508e63c2018-12-20 17:02:37 +000015#include "hf/arch/timer.h"
Olivier Deprez764fd2e2020-07-29 15:14:09 +020016#include "hf/arch/vm.h"
Andrew Walbran318f5732018-11-20 16:23:42 +000017
Andrew Scull877ae4b2019-07-02 12:52:33 +010018#include "hf/check.h"
Andrew Walbran318f5732018-11-20 16:23:42 +000019#include "hf/dlog.h"
Andrew Walbranb5ab43c2020-04-30 11:32:54 +010020#include "hf/ffa_internal.h"
21#include "hf/ffa_memory.h"
Andrew Scull6386f252018-12-06 13:29:10 +000022#include "hf/mm.h"
Andrew Walbranc1ad4ce2019-05-09 11:41:39 +010023#include "hf/plat/console.h"
Andrew Scull6386f252018-12-06 13:29:10 +000024#include "hf/spinlock.h"
Andrew Scull877ae4b2019-07-02 12:52:33 +010025#include "hf/static_assert.h"
Andrew Scull8d9e1212019-04-05 13:52:55 +010026#include "hf/std.h"
Andrew Scull18c78fc2018-08-20 12:57:41 +010027#include "hf/vm.h"
28
Andrew Scullf35a5c92018-08-07 18:09:46 +010029#include "vmapi/hf/call.h"
Andrew Walbranb5ab43c2020-04-30 11:32:54 +010030#include "vmapi/hf/ffa.h"
Wedson Almeida Filho3fcbcff2018-07-10 23:53:39 +010031
Fuad Tabbae4efcc32020-07-16 15:37:27 +010032static_assert(sizeof(struct ffa_partition_info) == 8,
33 "Partition information descriptor size doesn't match the one in "
34 "the FF-A 1.0 EAC specification, Table 82.");
35
Wedson Almeida Filhoba641ef2018-12-03 04:19:44 +000036/*
37 * To eliminate the risk of deadlocks, we define a partial order for the
38 * acquisition of locks held concurrently by the same physical CPU. Our current
39 * ordering requirements are as follows:
40 *
Andrew Walbranc1ad4ce2019-05-09 11:41:39 +010041 * vm::lock -> vcpu::lock -> mm_stage1_lock -> dlog sl
Andrew Scull6386f252018-12-06 13:29:10 +000042 *
Andrew Scull4caadaf2019-07-03 13:13:47 +010043 * Locks of the same kind require the lock of lowest address to be locked first,
44 * see `sl_lock_both()`.
Wedson Almeida Filhoba641ef2018-12-03 04:19:44 +000045 */
46
Andrew Scullaa039b32018-10-04 15:02:26 +010047static_assert(HF_MAILBOX_SIZE == PAGE_SIZE,
Andrew Scull13652af2018-09-17 14:49:08 +010048 "Currently, a page is mapped for the send and receive buffers so "
49 "the maximum request is the size of a page.");
50
Andrew Walbran5de9c3d2020-02-10 13:35:29 +000051static_assert(MM_PPOOL_ENTRY_SIZE >= HF_MAILBOX_SIZE,
52 "The page pool entry size must be at least as big as the mailbox "
53 "size, so that memory region descriptors can be copied from the "
54 "mailbox for memory sharing.");
55
Wedson Almeida Filho9ed8da52018-12-17 16:09:11 +000056static struct mpool api_page_pool;
Wedson Almeida Filho22d5eaa2018-12-16 00:38:49 +000057
58/**
Wedson Almeida Filho81568c42019-01-04 13:33:02 +000059 * Initialises the API page pool by taking ownership of the contents of the
60 * given page pool.
Wedson Almeida Filho22d5eaa2018-12-16 00:38:49 +000061 */
62void api_init(struct mpool *ppool)
63{
Wedson Almeida Filho9ed8da52018-12-17 16:09:11 +000064 mpool_init_from(&api_page_pool, ppool);
Wedson Almeida Filho22d5eaa2018-12-16 00:38:49 +000065}
66
Wedson Almeida Filho3fcbcff2018-07-10 23:53:39 +010067/**
J-Alvesad6a0432021-04-09 16:06:21 +010068 * Get target VM vCPU:
69 * If VM is UP then return first vCPU.
70 * If VM is MP then return vCPU whose index matches current CPU index.
71 */
72static struct vcpu *api_ffa_get_vm_vcpu(struct vm *vm, struct vcpu *current)
73{
74 ffa_vcpu_index_t current_cpu_index = cpu_index(current->cpu);
75 struct vcpu *vcpu = NULL;
76
77 if (vm->vcpu_count == 1) {
78 vcpu = vm_get_vcpu(vm, 0);
79 } else if (current_cpu_index < vm->vcpu_count) {
80 vcpu = vm_get_vcpu(vm, current_cpu_index);
81 }
82
83 return vcpu;
84}
85
86/**
J-Alvesfe7f7372020-11-09 11:32:12 +000087 * Switches the physical CPU back to the corresponding vCPU of the VM whose ID
88 * is given as argument of the function.
89 *
90 * Called to change the context between SPs for direct messaging (when Hafnium
91 * is SPMC), and on the context of the remaining 'api_switch_to_*' functions.
92 *
93 * This function works for partitions that are:
J-Alvesad6a0432021-04-09 16:06:21 +010094 * - UP migratable.
J-Alvesfe7f7372020-11-09 11:32:12 +000095 * - MP with pinned Execution Contexts.
96 */
97static struct vcpu *api_switch_to_vm(struct vcpu *current,
98 struct ffa_value to_ret,
99 enum vcpu_state vcpu_state,
100 ffa_vm_id_t to_id)
101{
102 struct vm *to_vm = vm_find(to_id);
J-Alvesad6a0432021-04-09 16:06:21 +0100103 struct vcpu *next = api_ffa_get_vm_vcpu(to_vm, current);
J-Alvesfe7f7372020-11-09 11:32:12 +0000104
105 CHECK(next != NULL);
106
107 /* Set the return value for the target VM. */
108 arch_regs_set_retval(&next->regs, to_ret);
109
110 /* Set the current vCPU state. */
111 sl_lock(&current->lock);
112 current->state = vcpu_state;
113 sl_unlock(&current->lock);
114
115 return next;
116}
117
118/**
Fuad Tabbab0ef2a42019-12-19 11:19:25 +0000119 * Switches the physical CPU back to the corresponding vCPU of the primary VM.
Andrew Scullaa039b32018-10-04 15:02:26 +0100120 *
121 * This triggers the scheduling logic to run. Run in the context of secondary VM
Andrew Walbranb5ab43c2020-04-30 11:32:54 +0100122 * to cause FFA_RUN to return and the primary VM to regain control of the CPU.
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +0100123 */
Wedson Almeida Filho00df6c72018-10-18 11:19:24 +0100124static struct vcpu *api_switch_to_primary(struct vcpu *current,
Andrew Walbranb5ab43c2020-04-30 11:32:54 +0100125 struct ffa_value primary_ret,
Wedson Almeida Filhoba641ef2018-12-03 04:19:44 +0000126 enum vcpu_state secondary_state)
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +0100127{
Andrew Walbran508e63c2018-12-20 17:02:37 +0000128 /*
129 * If the secondary is blocked but has a timer running, sleep until the
130 * timer fires rather than indefinitely.
131 */
Andrew Walbran7a1ea0b2019-10-02 18:18:44 +0100132 switch (primary_ret.func) {
Andrew Walbranb5ab43c2020-04-30 11:32:54 +0100133 case HF_FFA_RUN_WAIT_FOR_INTERRUPT:
134 case FFA_MSG_WAIT_32: {
Andrew Walbran7a1ea0b2019-10-02 18:18:44 +0100135 if (arch_timer_enabled_current()) {
136 uint64_t remaining_ns =
137 arch_timer_remaining_ns_current();
138
139 if (remaining_ns == 0) {
140 /*
141 * Timer is pending, so the current vCPU should
142 * be run again right away.
143 */
Andrew Walbranb5ab43c2020-04-30 11:32:54 +0100144 primary_ret.func = FFA_INTERRUPT_32;
Andrew Walbran7a1ea0b2019-10-02 18:18:44 +0100145 /*
146 * primary_ret.arg1 should already be set to the
147 * current VM ID and vCPU ID.
148 */
149 primary_ret.arg2 = 0;
150 } else {
151 primary_ret.arg2 = remaining_ns;
152 }
153 } else {
Andrew Walbranb5ab43c2020-04-30 11:32:54 +0100154 primary_ret.arg2 = FFA_SLEEP_INDEFINITE;
Andrew Walbran7a1ea0b2019-10-02 18:18:44 +0100155 }
Andrew Scullb06d1752019-02-04 10:15:48 +0000156 break;
Andrew Walbran7a1ea0b2019-10-02 18:18:44 +0100157 }
Andrew Scullb06d1752019-02-04 10:15:48 +0000158
159 default:
160 /* Do nothing. */
161 break;
Andrew Walbran508e63c2018-12-20 17:02:37 +0000162 }
163
J-Alvesfe7f7372020-11-09 11:32:12 +0000164 return api_switch_to_vm(current, primary_ret, secondary_state,
165 HF_PRIMARY_VM_ID);
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +0100166}
167
168/**
Olivier Deprez2ebae3a2020-06-11 16:34:30 +0200169 * Choose next vCPU to run to be the counterpart vCPU in the other
170 * world (run the normal world if currently running in the secure
171 * world). Set current vCPU state to the given vcpu_state parameter.
172 * Set FF-A return values to the target vCPU in the other world.
173 *
174 * Called in context of a direct message response from a secure
175 * partition to a VM.
176 */
177static struct vcpu *api_switch_to_other_world(struct vcpu *current,
178 struct ffa_value other_world_ret,
179 enum vcpu_state vcpu_state)
180{
J-Alvesfe7f7372020-11-09 11:32:12 +0000181 return api_switch_to_vm(current, other_world_ret, vcpu_state,
182 HF_OTHER_WORLD_ID);
Olivier Deprez2ebae3a2020-06-11 16:34:30 +0200183}
184
185/**
Fuad Tabbae4efcc32020-07-16 15:37:27 +0100186 * Checks whether the given `to` VM's mailbox is currently busy, and optionally
187 * registers the `from` VM to be notified when it becomes available.
188 */
189static bool msg_receiver_busy(struct vm_locked to, struct vm *from, bool notify)
190{
191 if (to.vm->mailbox.state != MAILBOX_STATE_EMPTY ||
192 to.vm->mailbox.recv == NULL) {
193 /*
194 * Fail if the receiver isn't currently ready to receive data,
195 * setting up for notification if requested.
196 */
197 if (notify) {
198 struct wait_entry *entry =
199 vm_get_wait_entry(from, to.vm->id);
200
201 /* Append waiter only if it's not there yet. */
202 if (list_empty(&entry->wait_links)) {
203 list_append(&to.vm->mailbox.waiter_list,
204 &entry->wait_links);
205 }
206 }
207
208 return true;
209 }
210
211 return false;
212}
213
214/**
Olivier Deprezee9d6a92019-11-26 09:14:11 +0000215 * Returns true if the given vCPU is executing in context of an
216 * FFA_MSG_SEND_DIRECT_REQ invocation.
217 */
218static bool is_ffa_direct_msg_request_ongoing(struct vcpu_locked locked)
219{
220 return locked.vcpu->direct_request_origin_vm_id != HF_INVALID_VM_ID;
221}
222
223/**
Fuad Tabbab0ef2a42019-12-19 11:19:25 +0000224 * Returns to the primary VM and signals that the vCPU still has work to do so.
Andrew Scull33fecd32019-01-08 14:48:27 +0000225 */
226struct vcpu *api_preempt(struct vcpu *current)
227{
Andrew Walbranb5ab43c2020-04-30 11:32:54 +0100228 struct ffa_value ret = {
229 .func = FFA_INTERRUPT_32,
230 .arg1 = ffa_vm_vcpu(current->vm->id, vcpu_index(current)),
Andrew Scull33fecd32019-01-08 14:48:27 +0000231 };
232
Andrew Sculld6ee1102019-04-05 22:12:42 +0100233 return api_switch_to_primary(current, ret, VCPU_STATE_READY);
Andrew Scull33fecd32019-01-08 14:48:27 +0000234}
235
236/**
Fuad Tabbab0ef2a42019-12-19 11:19:25 +0000237 * Puts the current vCPU in wait for interrupt mode, and returns to the primary
Fuad Tabbaed294af2019-12-20 10:43:01 +0000238 * VM.
Andrew Scullaa039b32018-10-04 15:02:26 +0100239 */
Wedson Almeida Filho00df6c72018-10-18 11:19:24 +0100240struct vcpu *api_wait_for_interrupt(struct vcpu *current)
Andrew Scullaa039b32018-10-04 15:02:26 +0100241{
Andrew Walbranb5ab43c2020-04-30 11:32:54 +0100242 struct ffa_value ret = {
243 .func = HF_FFA_RUN_WAIT_FOR_INTERRUPT,
244 .arg1 = ffa_vm_vcpu(current->vm->id, vcpu_index(current)),
Andrew Scull6d2db332018-10-10 15:28:17 +0100245 };
Wedson Almeida Filho81568c42019-01-04 13:33:02 +0000246
Wedson Almeida Filhoba641ef2018-12-03 04:19:44 +0000247 return api_switch_to_primary(current, ret,
Andrew Sculld6ee1102019-04-05 22:12:42 +0100248 VCPU_STATE_BLOCKED_INTERRUPT);
Andrew Scullaa039b32018-10-04 15:02:26 +0100249}
250
251/**
Andrew Walbran33645652019-04-15 12:29:31 +0100252 * Puts the current vCPU in off mode, and returns to the primary VM.
253 */
254struct vcpu *api_vcpu_off(struct vcpu *current)
255{
Andrew Walbranb5ab43c2020-04-30 11:32:54 +0100256 struct ffa_value ret = {
257 .func = HF_FFA_RUN_WAIT_FOR_INTERRUPT,
258 .arg1 = ffa_vm_vcpu(current->vm->id, vcpu_index(current)),
Andrew Walbran33645652019-04-15 12:29:31 +0100259 };
260
261 /*
262 * Disable the timer, so the scheduler doesn't get told to call back
263 * based on it.
264 */
265 arch_timer_disable_current();
266
267 return api_switch_to_primary(current, ret, VCPU_STATE_OFF);
268}
269
270/**
Fuad Tabbab0ef2a42019-12-19 11:19:25 +0000271 * Returns to the primary VM to allow this CPU to be used for other tasks as the
272 * vCPU does not have work to do at this moment. The current vCPU is marked as
Andrew Walbran16075b62019-09-03 17:11:07 +0100273 * ready to be scheduled again.
Andrew Scull66d62bf2019-02-01 13:54:10 +0000274 */
Olivier Deprezee9d6a92019-11-26 09:14:11 +0000275struct ffa_value api_yield(struct vcpu *current, struct vcpu **next)
Andrew Scull66d62bf2019-02-01 13:54:10 +0000276{
Olivier Deprezee9d6a92019-11-26 09:14:11 +0000277 struct ffa_value ret = (struct ffa_value){.func = FFA_SUCCESS_32};
278 struct vcpu_locked current_locked;
279 bool is_direct_request_ongoing;
Andrew Scull66d62bf2019-02-01 13:54:10 +0000280
281 if (current->vm->id == HF_PRIMARY_VM_ID) {
Fuad Tabbab0ef2a42019-12-19 11:19:25 +0000282 /* NOOP on the primary as it makes the scheduling decisions. */
Olivier Deprezee9d6a92019-11-26 09:14:11 +0000283 return ret;
Andrew Scull66d62bf2019-02-01 13:54:10 +0000284 }
285
Olivier Deprezee9d6a92019-11-26 09:14:11 +0000286 current_locked = vcpu_lock(current);
287 is_direct_request_ongoing =
288 is_ffa_direct_msg_request_ongoing(current_locked);
289 vcpu_unlock(&current_locked);
290
291 if (is_direct_request_ongoing) {
292 return ffa_error(FFA_DENIED);
293 }
294
295 *next = api_switch_to_primary(
296 current,
297 (struct ffa_value){.func = FFA_YIELD_32,
298 .arg1 = ffa_vm_vcpu(current->vm->id,
299 vcpu_index(current))},
300 VCPU_STATE_READY);
301
302 return ret;
Andrew Scull66d62bf2019-02-01 13:54:10 +0000303}
304
305/**
Andrew Walbran33645652019-04-15 12:29:31 +0100306 * Switches to the primary so that it can switch to the target, or kick it if it
307 * is already running on a different physical CPU.
308 */
309struct vcpu *api_wake_up(struct vcpu *current, struct vcpu *target_vcpu)
310{
Andrew Walbranb5ab43c2020-04-30 11:32:54 +0100311 struct ffa_value ret = {
312 .func = HF_FFA_RUN_WAKE_UP,
313 .arg1 = ffa_vm_vcpu(target_vcpu->vm->id,
314 vcpu_index(target_vcpu)),
Andrew Walbran33645652019-04-15 12:29:31 +0100315 };
316 return api_switch_to_primary(current, ret, VCPU_STATE_READY);
317}
318
319/**
Andrew Scull38772ab2019-01-24 15:16:50 +0000320 * Aborts the vCPU and triggers its VM to abort fully.
Andrew Scull9726c252019-01-23 13:44:19 +0000321 */
322struct vcpu *api_abort(struct vcpu *current)
323{
Andrew Walbranb5ab43c2020-04-30 11:32:54 +0100324 struct ffa_value ret = ffa_error(FFA_ABORTED);
Andrew Scull9726c252019-01-23 13:44:19 +0000325
Olivier Deprezf92e5d42020-11-13 16:00:54 +0100326 dlog_notice("Aborting VM %#x vCPU %u\n", current->vm->id,
Andrew Walbran17eebf92020-02-05 16:35:49 +0000327 vcpu_index(current));
Andrew Scull9726c252019-01-23 13:44:19 +0000328
329 if (current->vm->id == HF_PRIMARY_VM_ID) {
330 /* TODO: what to do when the primary aborts? */
331 for (;;) {
332 /* Do nothing. */
333 }
334 }
335
336 atomic_store_explicit(&current->vm->aborting, true,
337 memory_order_relaxed);
338
339 /* TODO: free resources once all vCPUs abort. */
340
Andrew Sculld6ee1102019-04-05 22:12:42 +0100341 return api_switch_to_primary(current, ret, VCPU_STATE_ABORTED);
Andrew Scull9726c252019-01-23 13:44:19 +0000342}
343
Fuad Tabbae4efcc32020-07-16 15:37:27 +0100344struct ffa_value api_ffa_partition_info_get(struct vcpu *current,
345 const struct ffa_uuid *uuid)
346{
347 struct vm *current_vm = current->vm;
348 struct vm_locked current_vm_locked;
349 ffa_vm_count_t vm_count = 0;
350 bool uuid_is_null = ffa_uuid_is_null(uuid);
351 struct ffa_value ret;
352 uint32_t size;
353 struct ffa_partition_info partitions[MAX_VMS];
354
355 /*
356 * Iterate through the VMs to find the ones with a matching UUID.
357 * A Null UUID retrieves information for all VMs.
358 */
359 for (uint16_t index = 0; index < vm_get_count(); ++index) {
360 const struct vm *vm = vm_find_index(index);
361
362 if (uuid_is_null || ffa_uuid_equal(uuid, &vm->uuid)) {
363 partitions[vm_count].vm_id = vm->id;
364 partitions[vm_count].vcpu_count = vm->vcpu_count;
Fuad Tabbae4efcc32020-07-16 15:37:27 +0100365 partitions[vm_count].properties =
Olivier Deprez764fd2e2020-07-29 15:14:09 +0200366 arch_vm_partition_properties(vm->id);
Fuad Tabbae4efcc32020-07-16 15:37:27 +0100367
368 ++vm_count;
369 }
370 }
371
372 /* Unrecognized UUID: does not match any of the VMs and is not Null. */
373 if (vm_count == 0) {
374 return ffa_error(FFA_INVALID_PARAMETERS);
375 }
376
377 size = vm_count * sizeof(partitions[0]);
378 if (size > FFA_MSG_PAYLOAD_MAX) {
379 dlog_error(
380 "Partition information does not fit in the VM's RX "
381 "buffer.\n");
382 return ffa_error(FFA_NO_MEMORY);
383 }
384
385 /*
386 * Partition information is returned in the VM's RX buffer, which is why
387 * the lock is needed.
388 */
389 current_vm_locked = vm_lock(current_vm);
390
391 if (msg_receiver_busy(current_vm_locked, NULL, false)) {
392 /*
393 * Can't retrieve memory information if the mailbox is not
394 * available.
395 */
396 dlog_verbose("RX buffer not ready.\n");
397 ret = ffa_error(FFA_BUSY);
398 goto out_unlock;
399 }
400
401 /* Populate the VM's RX buffer with the partition information. */
402 memcpy_s(current_vm->mailbox.recv, FFA_MSG_PAYLOAD_MAX, partitions,
403 size);
404 current_vm->mailbox.recv_size = size;
405 current_vm->mailbox.recv_sender = HF_HYPERVISOR_VM_ID;
406 current_vm->mailbox.recv_func = FFA_PARTITION_INFO_GET_32;
407 current_vm->mailbox.state = MAILBOX_STATE_READ;
408
409 /* Return the count of partition information descriptors in w2. */
410 ret = (struct ffa_value){.func = FFA_SUCCESS_32, .arg2 = vm_count};
411
412out_unlock:
413 vm_unlock(&current_vm_locked);
414
415 return ret;
416}
417
Andrew Scull9726c252019-01-23 13:44:19 +0000418/**
Andrew Scull55c4d8b2018-12-18 18:50:18 +0000419 * Returns the ID of the VM.
420 */
Andrew Walbranb5ab43c2020-04-30 11:32:54 +0100421struct ffa_value api_ffa_id_get(const struct vcpu *current)
Andrew Scull55c4d8b2018-12-18 18:50:18 +0000422{
Andrew Walbranb5ab43c2020-04-30 11:32:54 +0100423 return (struct ffa_value){.func = FFA_SUCCESS_32,
424 .arg2 = current->vm->id};
Andrew Scull55c4d8b2018-12-18 18:50:18 +0000425}
426
427/**
Wedson Almeida Filho03306112018-11-26 00:08:03 +0000428 * This function is called by the architecture-specific context switching
Fuad Tabbab0ef2a42019-12-19 11:19:25 +0000429 * function to indicate that register state for the given vCPU has been saved
430 * and can therefore be used by other pCPUs.
Wedson Almeida Filho03306112018-11-26 00:08:03 +0000431 */
432void api_regs_state_saved(struct vcpu *vcpu)
433{
434 sl_lock(&vcpu->lock);
435 vcpu->regs_available = true;
436 sl_unlock(&vcpu->lock);
437}
438
439/**
Wedson Almeida Filhoea62e2e2019-01-09 19:14:59 +0000440 * Retrieves the next waiter and removes it from the wait list if the VM's
441 * mailbox is in a writable state.
442 */
443static struct wait_entry *api_fetch_waiter(struct vm_locked locked_vm)
444{
445 struct wait_entry *entry;
446 struct vm *vm = locked_vm.vm;
447
Andrew Sculld6ee1102019-04-05 22:12:42 +0100448 if (vm->mailbox.state != MAILBOX_STATE_EMPTY ||
Wedson Almeida Filhoea62e2e2019-01-09 19:14:59 +0000449 vm->mailbox.recv == NULL || list_empty(&vm->mailbox.waiter_list)) {
450 /* The mailbox is not writable or there are no waiters. */
451 return NULL;
452 }
453
454 /* Remove waiter from the wait list. */
455 entry = CONTAINER_OF(vm->mailbox.waiter_list.next, struct wait_entry,
456 wait_links);
457 list_remove(&entry->wait_links);
458 return entry;
459}
460
461/**
Andrew Walbran508e63c2018-12-20 17:02:37 +0000462 * Assuming that the arguments have already been checked by the caller, injects
463 * a virtual interrupt of the given ID into the given target vCPU. This doesn't
464 * cause the vCPU to actually be run immediately; it will be taken when the vCPU
465 * is next run, which is up to the scheduler.
466 *
467 * Returns:
468 * - 0 on success if no further action is needed.
469 * - 1 if it was called by the primary VM and the primary VM now needs to wake
470 * up or kick the target vCPU.
471 */
Olivier Deprezc19a6ea2020-08-06 11:16:07 +0200472static int64_t internal_interrupt_inject_locked(
473 struct vcpu_locked target_locked, uint32_t intid, struct vcpu *current,
474 struct vcpu **next)
Andrew Walbran508e63c2018-12-20 17:02:37 +0000475{
476 uint32_t intid_index = intid / INTERRUPT_REGISTER_BITS;
Andrew Walbrane52006c2019-10-22 18:01:28 +0100477 uint32_t intid_mask = 1U << (intid % INTERRUPT_REGISTER_BITS);
Andrew Walbran508e63c2018-12-20 17:02:37 +0000478 int64_t ret = 0;
479
Andrew Walbran508e63c2018-12-20 17:02:37 +0000480 /*
481 * We only need to change state and (maybe) trigger a virtual IRQ if it
482 * is enabled and was not previously pending. Otherwise we can skip
483 * everything except setting the pending bit.
484 *
485 * If you change this logic make sure to update the need_vm_lock logic
486 * above to match.
487 */
Olivier Deprezc19a6ea2020-08-06 11:16:07 +0200488 if (!(target_locked.vcpu->interrupts.interrupt_enabled[intid_index] &
489 ~target_locked.vcpu->interrupts.interrupt_pending[intid_index] &
Andrew Walbran508e63c2018-12-20 17:02:37 +0000490 intid_mask)) {
491 goto out;
492 }
493
494 /* Increment the count. */
Olivier Deprezc19a6ea2020-08-06 11:16:07 +0200495 target_locked.vcpu->interrupts.enabled_and_pending_count++;
Andrew Walbran508e63c2018-12-20 17:02:37 +0000496
497 /*
498 * Only need to update state if there was not already an
499 * interrupt enabled and pending.
500 */
Olivier Deprezc19a6ea2020-08-06 11:16:07 +0200501 if (target_locked.vcpu->interrupts.enabled_and_pending_count != 1) {
Andrew Walbran508e63c2018-12-20 17:02:37 +0000502 goto out;
503 }
504
Andrew Walbran508e63c2018-12-20 17:02:37 +0000505 if (current->vm->id == HF_PRIMARY_VM_ID) {
506 /*
507 * If the call came from the primary VM, let it know that it
508 * should run or kick the target vCPU.
509 */
510 ret = 1;
Olivier Deprezc19a6ea2020-08-06 11:16:07 +0200511 } else if (current != target_locked.vcpu && next != NULL) {
512 *next = api_wake_up(current, target_locked.vcpu);
Andrew Walbran508e63c2018-12-20 17:02:37 +0000513 }
514
515out:
516 /* Either way, make it pending. */
Olivier Deprezc19a6ea2020-08-06 11:16:07 +0200517 target_locked.vcpu->interrupts.interrupt_pending[intid_index] |=
518 intid_mask;
Andrew Walbran508e63c2018-12-20 17:02:37 +0000519
Olivier Deprezc19a6ea2020-08-06 11:16:07 +0200520 return ret;
521}
522
523/* Wrapper to internal_interrupt_inject with locking of target vCPU */
524static int64_t internal_interrupt_inject(struct vcpu *target_vcpu,
525 uint32_t intid, struct vcpu *current,
526 struct vcpu **next)
527{
528 int64_t ret;
529 struct vcpu_locked target_locked;
530
531 target_locked = vcpu_lock(target_vcpu);
532 ret = internal_interrupt_inject_locked(target_locked, intid, current,
533 next);
534 vcpu_unlock(&target_locked);
Andrew Walbran508e63c2018-12-20 17:02:37 +0000535
536 return ret;
537}
538
539/**
Andrew Walbranb5ab43c2020-04-30 11:32:54 +0100540 * Constructs an FFA_MSG_SEND value to return from a successful FFA_MSG_POLL
541 * or FFA_MSG_WAIT call.
Andrew Walbrand4d2fa12019-10-01 16:47:25 +0100542 */
Andrew Walbranb5ab43c2020-04-30 11:32:54 +0100543static struct ffa_value ffa_msg_recv_return(const struct vm *receiver)
Andrew Walbrand4d2fa12019-10-01 16:47:25 +0100544{
Andrew Walbrane7ad3c02019-12-24 17:03:04 +0000545 switch (receiver->mailbox.recv_func) {
Andrew Walbranb5ab43c2020-04-30 11:32:54 +0100546 case FFA_MSG_SEND_32:
547 return (struct ffa_value){
548 .func = FFA_MSG_SEND_32,
Andrew Walbrane7ad3c02019-12-24 17:03:04 +0000549 .arg1 = (receiver->mailbox.recv_sender << 16) |
550 receiver->id,
551 .arg3 = receiver->mailbox.recv_size};
Andrew Walbrane7ad3c02019-12-24 17:03:04 +0000552 default:
553 /* This should never be reached, but return an error in case. */
Andrew Walbran17eebf92020-02-05 16:35:49 +0000554 dlog_error("Tried to return an invalid message function %#x\n",
555 receiver->mailbox.recv_func);
Andrew Walbranb5ab43c2020-04-30 11:32:54 +0100556 return ffa_error(FFA_DENIED);
Andrew Walbrane7ad3c02019-12-24 17:03:04 +0000557 }
Andrew Walbrand4d2fa12019-10-01 16:47:25 +0100558}
559
560/**
Fuad Tabbab0ef2a42019-12-19 11:19:25 +0000561 * Prepares the vCPU to run by updating its state and fetching whether a return
Wedson Almeida Filho03306112018-11-26 00:08:03 +0000562 * value needs to be forced onto the vCPU.
563 */
Andrew Scull38772ab2019-01-24 15:16:50 +0000564static bool api_vcpu_prepare_run(const struct vcpu *current, struct vcpu *vcpu,
Andrew Walbranb5ab43c2020-04-30 11:32:54 +0100565 struct ffa_value *run_ret)
Wedson Almeida Filho03306112018-11-26 00:08:03 +0000566{
Max Shvetsov40108e72020-08-27 12:39:50 +0100567 struct vcpu_locked vcpu_locked;
568 struct vm_locked vm_locked;
Andrew Scullb06d1752019-02-04 10:15:48 +0000569 bool need_vm_lock;
Wedson Almeida Filho03306112018-11-26 00:08:03 +0000570 bool ret;
571
Andrew Scullb06d1752019-02-04 10:15:48 +0000572 /*
Andrew Walbrand81c7d82019-11-27 18:34:46 +0000573 * Check that the registers are available so that the vCPU can be run.
Andrew Scullb06d1752019-02-04 10:15:48 +0000574 *
Andrew Scull4caadaf2019-07-03 13:13:47 +0100575 * The VM lock is not needed in the common case so it must only be taken
576 * when it is going to be needed. This ensures there are no inter-vCPU
577 * dependencies in the common run case meaning the sensitive context
578 * switch performance is consistent.
Andrew Scullb06d1752019-02-04 10:15:48 +0000579 */
Max Shvetsov40108e72020-08-27 12:39:50 +0100580 vcpu_locked = vcpu_lock(vcpu);
581
582#if SECURE_WORLD == 1
583
584 if (vcpu_secondary_reset_and_start(vcpu_locked, vcpu->vm->secondary_ep,
585 0)) {
586 dlog_verbose("%s secondary cold boot vmid %#x vcpu id %#x\n",
587 __func__, vcpu->vm->id, current->cpu->id);
588 }
589
590#endif
Andrew Scullb06d1752019-02-04 10:15:48 +0000591
Andrew Walbrand81c7d82019-11-27 18:34:46 +0000592 /* The VM needs to be locked to deliver mailbox messages. */
593 need_vm_lock = vcpu->state == VCPU_STATE_BLOCKED_MAILBOX;
594 if (need_vm_lock) {
Max Shvetsov40108e72020-08-27 12:39:50 +0100595 vcpu_unlock(&vcpu_locked);
596 vm_locked = vm_lock(vcpu->vm);
597 vcpu_locked = vcpu_lock(vcpu);
Andrew Walbrand81c7d82019-11-27 18:34:46 +0000598 }
599
600 /*
601 * If the vCPU is already running somewhere then we can't run it here
602 * simultaneously. While it is actually running then the state should be
603 * `VCPU_STATE_RUNNING` and `regs_available` should be false. Once it
604 * stops running but while Hafnium is in the process of switching back
605 * to the primary there will be a brief period while the state has been
606 * updated but `regs_available` is still false (until
607 * `api_regs_state_saved` is called). We can't start running it again
608 * until this has finished, so count this state as still running for the
609 * purposes of this check.
610 */
611 if (vcpu->state == VCPU_STATE_RUNNING || !vcpu->regs_available) {
612 /*
613 * vCPU is running on another pCPU.
614 *
615 * It's okay not to return the sleep duration here because the
616 * other physical CPU that is currently running this vCPU will
617 * return the sleep duration if needed.
618 */
Andrew Walbranb5ab43c2020-04-30 11:32:54 +0100619 *run_ret = ffa_error(FFA_BUSY);
Andrew Walbrand81c7d82019-11-27 18:34:46 +0000620 ret = false;
621 goto out;
Andrew Scullb06d1752019-02-04 10:15:48 +0000622 }
Andrew Scull9726c252019-01-23 13:44:19 +0000623
624 if (atomic_load_explicit(&vcpu->vm->aborting, memory_order_relaxed)) {
Andrew Sculld6ee1102019-04-05 22:12:42 +0100625 if (vcpu->state != VCPU_STATE_ABORTED) {
Olivier Deprezf92e5d42020-11-13 16:00:54 +0100626 dlog_notice("Aborting VM %#x vCPU %u\n", vcpu->vm->id,
Andrew Walbran17eebf92020-02-05 16:35:49 +0000627 vcpu_index(vcpu));
Andrew Sculld6ee1102019-04-05 22:12:42 +0100628 vcpu->state = VCPU_STATE_ABORTED;
Andrew Scull9726c252019-01-23 13:44:19 +0000629 }
630 ret = false;
631 goto out;
632 }
633
Andrew Walbran508e63c2018-12-20 17:02:37 +0000634 switch (vcpu->state) {
Andrew Sculld6ee1102019-04-05 22:12:42 +0100635 case VCPU_STATE_RUNNING:
636 case VCPU_STATE_OFF:
637 case VCPU_STATE_ABORTED:
Wedson Almeida Filho03306112018-11-26 00:08:03 +0000638 ret = false;
639 goto out;
Andrew Scullb06d1752019-02-04 10:15:48 +0000640
Andrew Sculld6ee1102019-04-05 22:12:42 +0100641 case VCPU_STATE_BLOCKED_MAILBOX:
Andrew Scullb06d1752019-02-04 10:15:48 +0000642 /*
643 * A pending message allows the vCPU to run so the message can
644 * be delivered directly.
645 */
Andrew Sculld6ee1102019-04-05 22:12:42 +0100646 if (vcpu->vm->mailbox.state == MAILBOX_STATE_RECEIVED) {
Andrew Walbrand4d2fa12019-10-01 16:47:25 +0100647 arch_regs_set_retval(&vcpu->regs,
Andrew Walbranb5ab43c2020-04-30 11:32:54 +0100648 ffa_msg_recv_return(vcpu->vm));
Andrew Sculld6ee1102019-04-05 22:12:42 +0100649 vcpu->vm->mailbox.state = MAILBOX_STATE_READ;
Andrew Scullb06d1752019-02-04 10:15:48 +0000650 break;
651 }
652 /* Fall through. */
Andrew Sculld6ee1102019-04-05 22:12:42 +0100653 case VCPU_STATE_BLOCKED_INTERRUPT:
Andrew Scullb06d1752019-02-04 10:15:48 +0000654 /* Allow virtual interrupts to be delivered. */
655 if (vcpu->interrupts.enabled_and_pending_count > 0) {
656 break;
657 }
658
Andrew Walbran4692a3a2020-08-07 12:42:01 +0100659 uint64_t timer_remaining_ns = FFA_SLEEP_INDEFINITE;
660
Andrew Walbran508e63c2018-12-20 17:02:37 +0000661 if (arch_timer_enabled(&vcpu->regs)) {
Andrew Walbran4692a3a2020-08-07 12:42:01 +0100662 timer_remaining_ns =
Andrew Walbran2fc856a2019-11-04 15:17:24 +0000663 arch_timer_remaining_ns(&vcpu->regs);
664
665 /*
666 * The timer expired so allow the interrupt to be
667 * delivered.
668 */
669 if (timer_remaining_ns == 0) {
670 break;
671 }
Andrew Walbran4692a3a2020-08-07 12:42:01 +0100672 }
Andrew Walbran2fc856a2019-11-04 15:17:24 +0000673
Andrew Walbran4692a3a2020-08-07 12:42:01 +0100674 /*
675 * The vCPU is not ready to run, return the appropriate code to
676 * the primary which called vcpu_run.
677 */
678 run_ret->func = vcpu->state == VCPU_STATE_BLOCKED_MAILBOX
Andrew Walbranb5ab43c2020-04-30 11:32:54 +0100679 ? FFA_MSG_WAIT_32
680 : HF_FFA_RUN_WAIT_FOR_INTERRUPT;
Andrew Walbran4692a3a2020-08-07 12:42:01 +0100681 run_ret->arg1 = ffa_vm_vcpu(vcpu->vm->id, vcpu_index(vcpu));
682 run_ret->arg2 = timer_remaining_ns;
Andrew Walbran508e63c2018-12-20 17:02:37 +0000683
684 ret = false;
685 goto out;
Andrew Scullb06d1752019-02-04 10:15:48 +0000686
Andrew Sculld6ee1102019-04-05 22:12:42 +0100687 case VCPU_STATE_READY:
Andrew Walbran508e63c2018-12-20 17:02:37 +0000688 break;
Wedson Almeida Filho03306112018-11-26 00:08:03 +0000689 }
690
Andrew Scullb06d1752019-02-04 10:15:48 +0000691 /* It has been decided that the vCPU should be run. */
Wedson Almeida Filho03306112018-11-26 00:08:03 +0000692 vcpu->cpu = current->cpu;
Andrew Sculld6ee1102019-04-05 22:12:42 +0100693 vcpu->state = VCPU_STATE_RUNNING;
Wedson Almeida Filho03306112018-11-26 00:08:03 +0000694
Wedson Almeida Filho03306112018-11-26 00:08:03 +0000695 /*
Wedson Almeida Filho03306112018-11-26 00:08:03 +0000696 * Mark the registers as unavailable now that we're about to reflect
697 * them onto the real registers. This will also prevent another physical
698 * CPU from trying to read these registers.
699 */
700 vcpu->regs_available = false;
701
702 ret = true;
703
704out:
Max Shvetsov40108e72020-08-27 12:39:50 +0100705 vcpu_unlock(&vcpu_locked);
Andrew Scullb06d1752019-02-04 10:15:48 +0000706 if (need_vm_lock) {
Max Shvetsov40108e72020-08-27 12:39:50 +0100707 vm_unlock(&vm_locked);
Andrew Scullb06d1752019-02-04 10:15:48 +0000708 }
709
Wedson Almeida Filho03306112018-11-26 00:08:03 +0000710 return ret;
711}
712
Andrew Walbranb5ab43c2020-04-30 11:32:54 +0100713struct ffa_value api_ffa_run(ffa_vm_id_t vm_id, ffa_vcpu_index_t vcpu_idx,
714 const struct vcpu *current, struct vcpu **next)
Wedson Almeida Filho3fcbcff2018-07-10 23:53:39 +0100715{
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +0100716 struct vm *vm;
Wedson Almeida Filho3fcbcff2018-07-10 23:53:39 +0100717 struct vcpu *vcpu;
Andrew Walbranb5ab43c2020-04-30 11:32:54 +0100718 struct ffa_value ret = ffa_error(FFA_INVALID_PARAMETERS);
Wedson Almeida Filho3fcbcff2018-07-10 23:53:39 +0100719
Fuad Tabbab0ef2a42019-12-19 11:19:25 +0000720 /* Only the primary VM can switch vCPUs. */
Wedson Almeida Filho00df6c72018-10-18 11:19:24 +0100721 if (current->vm->id != HF_PRIMARY_VM_ID) {
Andrew Walbranb5ab43c2020-04-30 11:32:54 +0100722 ret.arg2 = FFA_DENIED;
Andrew Scull6d2db332018-10-10 15:28:17 +0100723 goto out;
Andrew Scull7364a8e2018-07-19 15:39:29 +0100724 }
Wedson Almeida Filho3fcbcff2018-07-10 23:53:39 +0100725
Fuad Tabbab0ef2a42019-12-19 11:19:25 +0000726 /* Only secondary VM vCPUs can be run. */
Andrew Scull19503262018-09-20 14:48:39 +0100727 if (vm_id == HF_PRIMARY_VM_ID) {
Andrew Scull6d2db332018-10-10 15:28:17 +0100728 goto out;
Andrew Scull7364a8e2018-07-19 15:39:29 +0100729 }
Wedson Almeida Filho3fcbcff2018-07-10 23:53:39 +0100730
Andrew Scull19503262018-09-20 14:48:39 +0100731 /* The requested VM must exist. */
Andrew Walbran42347a92019-05-09 13:59:03 +0100732 vm = vm_find(vm_id);
Andrew Scull19503262018-09-20 14:48:39 +0100733 if (vm == NULL) {
Andrew Scull6d2db332018-10-10 15:28:17 +0100734 goto out;
Andrew Scull19503262018-09-20 14:48:39 +0100735 }
736
Fuad Tabbaed294af2019-12-20 10:43:01 +0000737 /* The requested vCPU must exist. */
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +0100738 if (vcpu_idx >= vm->vcpu_count) {
Andrew Scull6d2db332018-10-10 15:28:17 +0100739 goto out;
Andrew Scull7364a8e2018-07-19 15:39:29 +0100740 }
Wedson Almeida Filho3fcbcff2018-07-10 23:53:39 +0100741
Wedson Almeida Filho03306112018-11-26 00:08:03 +0000742 /* Update state if allowed. */
Andrew Walbrane1310df2019-04-29 17:28:28 +0100743 vcpu = vm_get_vcpu(vm, vcpu_idx);
Andrew Scullb06d1752019-02-04 10:15:48 +0000744 if (!api_vcpu_prepare_run(current, vcpu, &ret)) {
Wedson Almeida Filho03306112018-11-26 00:08:03 +0000745 goto out;
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +0100746 }
Wedson Almeida Filho03306112018-11-26 00:08:03 +0000747
Andrew Walbran508e63c2018-12-20 17:02:37 +0000748 /*
749 * Inject timer interrupt if timer has expired. It's safe to access
750 * vcpu->regs here because api_vcpu_prepare_run already made sure that
751 * regs_available was true (and then set it to false) before returning
752 * true.
753 */
754 if (arch_timer_pending(&vcpu->regs)) {
755 /* Make virtual timer interrupt pending. */
Andrew Walbranfc9d4382019-05-10 18:07:21 +0100756 internal_interrupt_inject(vcpu, HF_VIRTUAL_TIMER_INTID, vcpu,
757 NULL);
Andrew Walbran508e63c2018-12-20 17:02:37 +0000758
759 /*
760 * Set the mask bit so the hardware interrupt doesn't fire
761 * again. Ideally we wouldn't do this because it affects what
762 * the secondary vCPU sees, but if we don't then we end up with
763 * a loop of the interrupt firing each time we try to return to
764 * the secondary vCPU.
765 */
766 arch_timer_mask(&vcpu->regs);
767 }
768
Fuad Tabbaed294af2019-12-20 10:43:01 +0000769 /* Switch to the vCPU. */
Wedson Almeida Filho03306112018-11-26 00:08:03 +0000770 *next = vcpu;
Wedson Almeida Filho03306112018-11-26 00:08:03 +0000771
Andrew Scull33fecd32019-01-08 14:48:27 +0000772 /*
773 * Set a placeholder return code to the scheduler. This will be
774 * overwritten when the switch back to the primary occurs.
775 */
Andrew Walbranb5ab43c2020-04-30 11:32:54 +0100776 ret.func = FFA_INTERRUPT_32;
777 ret.arg1 = ffa_vm_vcpu(vm_id, vcpu_idx);
Andrew Walbran7a1ea0b2019-10-02 18:18:44 +0100778 ret.arg2 = 0;
Andrew Scull33fecd32019-01-08 14:48:27 +0000779
Andrew Scull6d2db332018-10-10 15:28:17 +0100780out:
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +0100781 return ret;
Wedson Almeida Filho3fcbcff2018-07-10 23:53:39 +0100782}
783
784/**
Andrew Scull81e85092018-12-12 12:56:20 +0000785 * Check that the mode indicates memory that is valid, owned and exclusive.
786 */
Andrew Walbran1281ed42019-10-22 17:23:40 +0100787static bool api_mode_valid_owned_and_exclusive(uint32_t mode)
Andrew Scull81e85092018-12-12 12:56:20 +0000788{
Andrew Scullb5f49e02019-10-02 13:20:47 +0100789 return (mode & (MM_MODE_D | MM_MODE_INVALID | MM_MODE_UNOWNED |
790 MM_MODE_SHARED)) == 0;
Andrew Scull81e85092018-12-12 12:56:20 +0000791}
792
793/**
Andrew Walbranc8a01972020-09-22 11:23:30 +0100794 * Determines the value to be returned by api_ffa_rxtx_map and
795 * api_ffa_rx_release after they've succeeded. If a secondary VM is running and
796 * there are waiters, it also switches back to the primary VM for it to wake
797 * waiters up.
Wedson Almeida Filhoea62e2e2019-01-09 19:14:59 +0000798 */
Andrew Walbranb5ab43c2020-04-30 11:32:54 +0100799static struct ffa_value api_waiter_result(struct vm_locked locked_vm,
800 struct vcpu *current,
801 struct vcpu **next)
Wedson Almeida Filhoea62e2e2019-01-09 19:14:59 +0000802{
803 struct vm *vm = locked_vm.vm;
Wedson Almeida Filhoea62e2e2019-01-09 19:14:59 +0000804
805 if (list_empty(&vm->mailbox.waiter_list)) {
806 /* No waiters, nothing else to do. */
Andrew Walbranb5ab43c2020-04-30 11:32:54 +0100807 return (struct ffa_value){.func = FFA_SUCCESS_32};
Wedson Almeida Filhoea62e2e2019-01-09 19:14:59 +0000808 }
809
810 if (vm->id == HF_PRIMARY_VM_ID) {
811 /* The caller is the primary VM. Tell it to wake up waiters. */
Andrew Walbranb5ab43c2020-04-30 11:32:54 +0100812 return (struct ffa_value){.func = FFA_RX_RELEASE_32};
Wedson Almeida Filhoea62e2e2019-01-09 19:14:59 +0000813 }
814
815 /*
816 * Switch back to the primary VM, informing it that there are waiters
817 * that need to be notified.
818 */
Andrew Walbranbfffb0f2019-11-05 14:02:34 +0000819 *next = api_switch_to_primary(
Andrew Walbranb5ab43c2020-04-30 11:32:54 +0100820 current, (struct ffa_value){.func = FFA_RX_RELEASE_32},
Andrew Walbranbfffb0f2019-11-05 14:02:34 +0000821 VCPU_STATE_READY);
Wedson Almeida Filhoea62e2e2019-01-09 19:14:59 +0000822
Andrew Walbranb5ab43c2020-04-30 11:32:54 +0100823 return (struct ffa_value){.func = FFA_SUCCESS_32};
Wedson Almeida Filhoea62e2e2019-01-09 19:14:59 +0000824}
825
826/**
Manish Pandeyd34f8892020-06-19 17:41:07 +0100827 * Configures the hypervisor's stage-1 view of the send and receive pages.
Andrew Sculle1322792019-07-01 17:46:10 +0100828 */
Manish Pandeyd34f8892020-06-19 17:41:07 +0100829static bool api_vm_configure_stage1(struct mm_stage1_locked mm_stage1_locked,
830 struct vm_locked vm_locked,
Andrew Sculle1322792019-07-01 17:46:10 +0100831 paddr_t pa_send_begin, paddr_t pa_send_end,
832 paddr_t pa_recv_begin, paddr_t pa_recv_end,
Olivier Deprez96a2a262020-06-11 17:21:38 +0200833 uint32_t extra_attributes,
Andrew Sculle1322792019-07-01 17:46:10 +0100834 struct mpool *local_page_pool)
835{
836 bool ret;
Andrew Sculle1322792019-07-01 17:46:10 +0100837
838 /* Map the send page as read-only in the hypervisor address space. */
839 vm_locked.vm->mailbox.send =
840 mm_identity_map(mm_stage1_locked, pa_send_begin, pa_send_end,
Olivier Deprez96a2a262020-06-11 17:21:38 +0200841 MM_MODE_R | extra_attributes, local_page_pool);
Andrew Sculle1322792019-07-01 17:46:10 +0100842 if (!vm_locked.vm->mailbox.send) {
843 /* TODO: partial defrag of failed range. */
844 /* Recover any memory consumed in failed mapping. */
845 mm_defrag(mm_stage1_locked, local_page_pool);
846 goto fail;
847 }
848
849 /*
850 * Map the receive page as writable in the hypervisor address space. On
851 * failure, unmap the send page before returning.
852 */
853 vm_locked.vm->mailbox.recv =
854 mm_identity_map(mm_stage1_locked, pa_recv_begin, pa_recv_end,
Olivier Deprez96a2a262020-06-11 17:21:38 +0200855 MM_MODE_W | extra_attributes, local_page_pool);
Andrew Sculle1322792019-07-01 17:46:10 +0100856 if (!vm_locked.vm->mailbox.recv) {
857 /* TODO: partial defrag of failed range. */
858 /* Recover any memory consumed in failed mapping. */
859 mm_defrag(mm_stage1_locked, local_page_pool);
860 goto fail_undo_send;
861 }
862
863 ret = true;
864 goto out;
865
866 /*
867 * The following mappings will not require more memory than is available
868 * in the local pool.
869 */
870fail_undo_send:
871 vm_locked.vm->mailbox.send = NULL;
Andrew Scull7e8de322019-07-02 13:00:56 +0100872 CHECK(mm_unmap(mm_stage1_locked, pa_send_begin, pa_send_end,
873 local_page_pool));
Andrew Sculle1322792019-07-01 17:46:10 +0100874
875fail:
876 ret = false;
877
878out:
Andrew Sculle1322792019-07-01 17:46:10 +0100879 return ret;
880}
881
882/**
Manish Pandeyd34f8892020-06-19 17:41:07 +0100883 * Sanity checks and configures the send and receive pages in the VM stage-2
884 * and hypervisor stage-1 page tables.
885 *
886 * Returns:
887 * - FFA_ERROR FFA_INVALID_PARAMETERS if the given addresses are not properly
888 * aligned or are the same.
889 * - FFA_ERROR FFA_NO_MEMORY if the hypervisor was unable to map the buffers
890 * due to insuffient page table memory.
891 * - FFA_ERROR FFA_DENIED if the pages are already mapped or are not owned by
892 * the caller.
893 * - FFA_SUCCESS on success if no further action is needed.
Andrew Sculle1322792019-07-01 17:46:10 +0100894 */
Manish Pandeyd34f8892020-06-19 17:41:07 +0100895
896struct ffa_value api_vm_configure_pages(
897 struct mm_stage1_locked mm_stage1_locked, struct vm_locked vm_locked,
898 ipaddr_t send, ipaddr_t recv, uint32_t page_count,
899 struct mpool *local_page_pool)
Andrew Sculle1322792019-07-01 17:46:10 +0100900{
Manish Pandeyd34f8892020-06-19 17:41:07 +0100901 struct ffa_value ret;
902 paddr_t pa_send_begin;
903 paddr_t pa_send_end;
904 paddr_t pa_recv_begin;
905 paddr_t pa_recv_end;
906 uint32_t orig_send_mode;
907 uint32_t orig_recv_mode;
Olivier Deprez96a2a262020-06-11 17:21:38 +0200908 uint32_t extra_attributes;
Manish Pandeyd34f8892020-06-19 17:41:07 +0100909
910 /* We only allow these to be setup once. */
911 if (vm_locked.vm->mailbox.send || vm_locked.vm->mailbox.recv) {
912 ret = ffa_error(FFA_DENIED);
913 goto out;
914 }
915
916 /* Hafnium only supports a fixed size of RX/TX buffers. */
917 if (page_count != HF_MAILBOX_SIZE / FFA_PAGE_SIZE) {
918 ret = ffa_error(FFA_INVALID_PARAMETERS);
919 goto out;
920 }
921
922 /* Fail if addresses are not page-aligned. */
923 if (!is_aligned(ipa_addr(send), PAGE_SIZE) ||
924 !is_aligned(ipa_addr(recv), PAGE_SIZE)) {
925 ret = ffa_error(FFA_INVALID_PARAMETERS);
926 goto out;
927 }
928
929 /* Convert to physical addresses. */
930 pa_send_begin = pa_from_ipa(send);
931 pa_send_end = pa_add(pa_send_begin, HF_MAILBOX_SIZE);
932 pa_recv_begin = pa_from_ipa(recv);
933 pa_recv_end = pa_add(pa_recv_begin, HF_MAILBOX_SIZE);
934
935 /* Fail if the same page is used for the send and receive pages. */
936 if (pa_addr(pa_send_begin) == pa_addr(pa_recv_begin)) {
937 ret = ffa_error(FFA_INVALID_PARAMETERS);
938 goto out;
939 }
Andrew Sculle1322792019-07-01 17:46:10 +0100940
941 /*
Manish Pandeyd34f8892020-06-19 17:41:07 +0100942 * Ensure the pages are valid, owned and exclusive to the VM and that
943 * the VM has the required access to the memory.
Andrew Sculle1322792019-07-01 17:46:10 +0100944 */
Manish Pandeyd34f8892020-06-19 17:41:07 +0100945 if (!mm_vm_get_mode(&vm_locked.vm->ptable, send,
946 ipa_add(send, PAGE_SIZE), &orig_send_mode) ||
947 !api_mode_valid_owned_and_exclusive(orig_send_mode) ||
948 (orig_send_mode & MM_MODE_R) == 0 ||
949 (orig_send_mode & MM_MODE_W) == 0) {
950 ret = ffa_error(FFA_DENIED);
951 goto out;
952 }
953
954 if (!mm_vm_get_mode(&vm_locked.vm->ptable, recv,
955 ipa_add(recv, PAGE_SIZE), &orig_recv_mode) ||
956 !api_mode_valid_owned_and_exclusive(orig_recv_mode) ||
957 (orig_recv_mode & MM_MODE_R) == 0) {
958 ret = ffa_error(FFA_DENIED);
959 goto out;
960 }
Andrew Sculle1322792019-07-01 17:46:10 +0100961
962 /* Take memory ownership away from the VM and mark as shared. */
Andrew Scull3c257452019-11-26 13:32:50 +0000963 if (!vm_identity_map(
964 vm_locked, pa_send_begin, pa_send_end,
Andrew Sculle1322792019-07-01 17:46:10 +0100965 MM_MODE_UNOWNED | MM_MODE_SHARED | MM_MODE_R | MM_MODE_W,
Manish Pandeyd34f8892020-06-19 17:41:07 +0100966 local_page_pool, NULL)) {
967 ret = ffa_error(FFA_NO_MEMORY);
968 goto out;
Andrew Sculle1322792019-07-01 17:46:10 +0100969 }
970
Andrew Scull3c257452019-11-26 13:32:50 +0000971 if (!vm_identity_map(vm_locked, pa_recv_begin, pa_recv_end,
972 MM_MODE_UNOWNED | MM_MODE_SHARED | MM_MODE_R,
Manish Pandeyd34f8892020-06-19 17:41:07 +0100973 local_page_pool, NULL)) {
Andrew Sculle1322792019-07-01 17:46:10 +0100974 /* TODO: partial defrag of failed range. */
975 /* Recover any memory consumed in failed mapping. */
Manish Pandeyd34f8892020-06-19 17:41:07 +0100976 mm_vm_defrag(&vm_locked.vm->ptable, local_page_pool);
Andrew Sculle1322792019-07-01 17:46:10 +0100977 goto fail_undo_send;
978 }
979
Olivier Deprez96a2a262020-06-11 17:21:38 +0200980 /* Get extra send/recv pages mapping attributes for the given VM ID. */
981 extra_attributes = arch_mm_extra_attributes_from_vm(vm_locked.vm->id);
982
Manish Pandeyd34f8892020-06-19 17:41:07 +0100983 if (!api_vm_configure_stage1(mm_stage1_locked, vm_locked, pa_send_begin,
984 pa_send_end, pa_recv_begin, pa_recv_end,
Olivier Deprez96a2a262020-06-11 17:21:38 +0200985 extra_attributes, local_page_pool)) {
Andrew Sculle1322792019-07-01 17:46:10 +0100986 goto fail_undo_send_and_recv;
987 }
988
Manish Pandeyd34f8892020-06-19 17:41:07 +0100989 ret = (struct ffa_value){.func = FFA_SUCCESS_32};
Andrew Sculle1322792019-07-01 17:46:10 +0100990 goto out;
991
Andrew Sculle1322792019-07-01 17:46:10 +0100992fail_undo_send_and_recv:
Andrew Scull3c257452019-11-26 13:32:50 +0000993 CHECK(vm_identity_map(vm_locked, pa_recv_begin, pa_recv_end,
Manish Pandeyd34f8892020-06-19 17:41:07 +0100994 orig_send_mode, local_page_pool, NULL));
Andrew Sculle1322792019-07-01 17:46:10 +0100995
996fail_undo_send:
Andrew Scull3c257452019-11-26 13:32:50 +0000997 CHECK(vm_identity_map(vm_locked, pa_send_begin, pa_send_end,
Manish Pandeyd34f8892020-06-19 17:41:07 +0100998 orig_send_mode, local_page_pool, NULL));
999 ret = ffa_error(FFA_NO_MEMORY);
Andrew Sculle1322792019-07-01 17:46:10 +01001000
1001out:
Andrew Sculle1322792019-07-01 17:46:10 +01001002 return ret;
1003}
1004
1005/**
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +01001006 * Configures the VM to send/receive data through the specified pages. The pages
Manish Pandeyd34f8892020-06-19 17:41:07 +01001007 * must not be shared. Locking of the page tables combined with a local memory
1008 * pool ensures there will always be enough memory to recover from any errors
1009 * that arise. The stage-1 page tables must be locked so memory cannot be taken
1010 * by another core which could result in this transaction being unable to roll
1011 * back in the case of an error.
Wedson Almeida Filhoea62e2e2019-01-09 19:14:59 +00001012 *
1013 * Returns:
Andrew Walbranb5ab43c2020-04-30 11:32:54 +01001014 * - FFA_ERROR FFA_INVALID_PARAMETERS if the given addresses are not properly
Andrew Walbranbfffb0f2019-11-05 14:02:34 +00001015 * aligned or are the same.
Andrew Walbranb5ab43c2020-04-30 11:32:54 +01001016 * - FFA_ERROR FFA_NO_MEMORY if the hypervisor was unable to map the buffers
Andrew Walbranbfffb0f2019-11-05 14:02:34 +00001017 * due to insuffient page table memory.
Andrew Walbranb5ab43c2020-04-30 11:32:54 +01001018 * - FFA_ERROR FFA_DENIED if the pages are already mapped or are not owned by
Andrew Walbranbfffb0f2019-11-05 14:02:34 +00001019 * the caller.
Andrew Walbranb5ab43c2020-04-30 11:32:54 +01001020 * - FFA_SUCCESS on success if no further action is needed.
1021 * - FFA_RX_RELEASE if it was called by the primary VM and the primary VM now
Andrew Walbranbfffb0f2019-11-05 14:02:34 +00001022 * needs to wake up or kick waiters.
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +01001023 */
Andrew Walbranb5ab43c2020-04-30 11:32:54 +01001024struct ffa_value api_ffa_rxtx_map(ipaddr_t send, ipaddr_t recv,
1025 uint32_t page_count, struct vcpu *current,
1026 struct vcpu **next)
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +01001027{
Wedson Almeida Filho00df6c72018-10-18 11:19:24 +01001028 struct vm *vm = current->vm;
Andrew Walbranb5ab43c2020-04-30 11:32:54 +01001029 struct ffa_value ret;
Manish Pandeyd34f8892020-06-19 17:41:07 +01001030 struct vm_locked vm_locked;
1031 struct mm_stage1_locked mm_stage1_locked;
1032 struct mpool local_page_pool;
Andrew Scull220e6212018-12-21 18:09:00 +00001033
Andrew Scull3c0a90a2019-07-01 11:55:53 +01001034 /*
Manish Pandeyd34f8892020-06-19 17:41:07 +01001035 * Create a local pool so any freed memory can't be used by another
1036 * thread. This is to ensure the original mapping can be restored if any
1037 * stage of the process fails.
Andrew Scull3c0a90a2019-07-01 11:55:53 +01001038 */
Manish Pandeyd34f8892020-06-19 17:41:07 +01001039 mpool_init_with_fallback(&local_page_pool, &api_page_pool);
1040
Andrew Sculle1322792019-07-01 17:46:10 +01001041 vm_locked = vm_lock(vm);
Manish Pandeyd34f8892020-06-19 17:41:07 +01001042 mm_stage1_locked = mm_lock_stage1();
Andrew Scull220e6212018-12-21 18:09:00 +00001043
Manish Pandeyd34f8892020-06-19 17:41:07 +01001044 ret = api_vm_configure_pages(mm_stage1_locked, vm_locked, send, recv,
1045 page_count, &local_page_pool);
1046 if (ret.func != FFA_SUCCESS_32) {
Andrew Walbranbfffb0f2019-11-05 14:02:34 +00001047 goto exit;
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +01001048 }
1049
Wedson Almeida Filhoea62e2e2019-01-09 19:14:59 +00001050 /* Tell caller about waiters, if any. */
Andrew Sculle1322792019-07-01 17:46:10 +01001051 ret = api_waiter_result(vm_locked, current, next);
Andrew Scull220e6212018-12-21 18:09:00 +00001052
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +01001053exit:
Manish Pandeyd34f8892020-06-19 17:41:07 +01001054 mpool_fini(&local_page_pool);
1055
1056 mm_unlock_stage1(&mm_stage1_locked);
Andrew Sculle1322792019-07-01 17:46:10 +01001057 vm_unlock(&vm_locked);
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +01001058
1059 return ret;
1060}
1061
1062/**
Andrew Walbrane0f575f2019-10-16 16:00:12 +01001063 * Notifies the `to` VM about the message currently in its mailbox, possibly
1064 * with the help of the primary VM.
1065 */
Andrew Walbranb5ab43c2020-04-30 11:32:54 +01001066static struct ffa_value deliver_msg(struct vm_locked to, ffa_vm_id_t from_id,
1067 struct vcpu *current, struct vcpu **next)
Andrew Walbrane0f575f2019-10-16 16:00:12 +01001068{
Andrew Walbranb5ab43c2020-04-30 11:32:54 +01001069 struct ffa_value ret = (struct ffa_value){.func = FFA_SUCCESS_32};
1070 struct ffa_value primary_ret = {
1071 .func = FFA_MSG_SEND_32,
Andrew Walbranf76f5752019-12-03 18:33:08 +00001072 .arg1 = ((uint32_t)from_id << 16) | to.vm->id,
Andrew Walbrane0f575f2019-10-16 16:00:12 +01001073 };
1074
Andrew Walbrane0f575f2019-10-16 16:00:12 +01001075 /* Messages for the primary VM are delivered directly. */
1076 if (to.vm->id == HF_PRIMARY_VM_ID) {
1077 /*
Andrew Walbrane7ad3c02019-12-24 17:03:04 +00001078 * Only tell the primary VM the size and other details if the
1079 * message is for it, to avoid leaking data about messages for
1080 * other VMs.
Andrew Walbrane0f575f2019-10-16 16:00:12 +01001081 */
Andrew Walbranb5ab43c2020-04-30 11:32:54 +01001082 primary_ret = ffa_msg_recv_return(to.vm);
Andrew Walbrane0f575f2019-10-16 16:00:12 +01001083
1084 to.vm->mailbox.state = MAILBOX_STATE_READ;
1085 *next = api_switch_to_primary(current, primary_ret,
1086 VCPU_STATE_READY);
Andrew Walbran2619e0a2020-01-10 16:37:50 +00001087 return ret;
Andrew Walbrane0f575f2019-10-16 16:00:12 +01001088 }
1089
Andrew Walbran11cff3a2020-02-28 11:33:17 +00001090 to.vm->mailbox.state = MAILBOX_STATE_RECEIVED;
1091
Andrew Walbran2619e0a2020-01-10 16:37:50 +00001092 /* Messages for the TEE are sent on via the dispatcher. */
1093 if (to.vm->id == HF_TEE_VM_ID) {
Andrew Walbranb5ab43c2020-04-30 11:32:54 +01001094 struct ffa_value call = ffa_msg_recv_return(to.vm);
Andrew Walbran2619e0a2020-01-10 16:37:50 +00001095
Olivier Deprez112d2b52020-09-30 07:39:23 +02001096 ret = arch_other_world_call(call);
Andrew Walbran11cff3a2020-02-28 11:33:17 +00001097 /*
1098 * After the call to the TEE completes it must have finished
1099 * reading its RX buffer, so it is ready for another message.
1100 */
1101 to.vm->mailbox.state = MAILBOX_STATE_EMPTY;
Andrew Walbran2619e0a2020-01-10 16:37:50 +00001102 /*
1103 * Don't return to the primary VM in this case, as the TEE is
Andrew Walbranb5ab43c2020-04-30 11:32:54 +01001104 * not (yet) scheduled via FF-A.
Andrew Walbran2619e0a2020-01-10 16:37:50 +00001105 */
Andrew Walbran11cff3a2020-02-28 11:33:17 +00001106 return ret;
Andrew Walbran2619e0a2020-01-10 16:37:50 +00001107 }
1108
Andrew Walbrane0f575f2019-10-16 16:00:12 +01001109 /* Return to the primary VM directly or with a switch. */
Andrew Walbranf76f5752019-12-03 18:33:08 +00001110 if (from_id != HF_PRIMARY_VM_ID) {
Andrew Walbrane0f575f2019-10-16 16:00:12 +01001111 *next = api_switch_to_primary(current, primary_ret,
1112 VCPU_STATE_READY);
1113 }
Andrew Walbran2619e0a2020-01-10 16:37:50 +00001114
1115 return ret;
Andrew Walbrane0f575f2019-10-16 16:00:12 +01001116}
1117
1118/**
Andrew Scullaa039b32018-10-04 15:02:26 +01001119 * Copies data from the sender's send buffer to the recipient's receive buffer
1120 * and notifies the recipient.
Wedson Almeida Filho17c997f2019-01-09 18:50:09 +00001121 *
1122 * If the recipient's receive buffer is busy, it can optionally register the
1123 * caller to be notified when the recipient's receive buffer becomes available.
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +01001124 */
Andrew Walbranb5ab43c2020-04-30 11:32:54 +01001125struct ffa_value api_ffa_msg_send(ffa_vm_id_t sender_vm_id,
1126 ffa_vm_id_t receiver_vm_id, uint32_t size,
1127 uint32_t attributes, struct vcpu *current,
1128 struct vcpu **next)
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +01001129{
Wedson Almeida Filho00df6c72018-10-18 11:19:24 +01001130 struct vm *from = current->vm;
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +01001131 struct vm *to;
Andrew Walbran82d6d152019-12-24 15:02:06 +00001132 struct vm_locked to_locked;
Andrew Walbran70bc8622019-10-07 14:15:58 +01001133 const void *from_msg;
Andrew Walbranb5ab43c2020-04-30 11:32:54 +01001134 struct ffa_value ret;
Olivier Deprezee9d6a92019-11-26 09:14:11 +00001135 struct vcpu_locked current_locked;
1136 bool is_direct_request_ongoing;
Andrew Walbranb5ab43c2020-04-30 11:32:54 +01001137 bool notify =
1138 (attributes & FFA_MSG_SEND_NOTIFY_MASK) == FFA_MSG_SEND_NOTIFY;
Andrew Scull19503262018-09-20 14:48:39 +01001139
Andrew Walbran70bc8622019-10-07 14:15:58 +01001140 /* Ensure sender VM ID corresponds to the current VM. */
1141 if (sender_vm_id != from->id) {
Andrew Walbranb5ab43c2020-04-30 11:32:54 +01001142 return ffa_error(FFA_INVALID_PARAMETERS);
Andrew Walbran70bc8622019-10-07 14:15:58 +01001143 }
1144
1145 /* Disallow reflexive requests as this suggests an error in the VM. */
1146 if (receiver_vm_id == from->id) {
Andrew Walbranb5ab43c2020-04-30 11:32:54 +01001147 return ffa_error(FFA_INVALID_PARAMETERS);
Andrew Walbran70bc8622019-10-07 14:15:58 +01001148 }
1149
1150 /* Limit the size of transfer. */
Andrew Walbranb5ab43c2020-04-30 11:32:54 +01001151 if (size > FFA_MSG_PAYLOAD_MAX) {
1152 return ffa_error(FFA_INVALID_PARAMETERS);
Andrew Walbran70bc8622019-10-07 14:15:58 +01001153 }
1154
Olivier Deprezee9d6a92019-11-26 09:14:11 +00001155 /*
1156 * Deny if vCPU is executing in context of an FFA_MSG_SEND_DIRECT_REQ
1157 * invocation.
1158 */
1159 current_locked = vcpu_lock(current);
1160 is_direct_request_ongoing =
1161 is_ffa_direct_msg_request_ongoing(current_locked);
1162 vcpu_unlock(&current_locked);
1163
1164 if (is_direct_request_ongoing) {
1165 return ffa_error(FFA_DENIED);
1166 }
1167
Andrew Walbran0b60c4f2019-12-10 17:05:29 +00001168 /* Ensure the receiver VM exists. */
1169 to = vm_find(receiver_vm_id);
1170 if (to == NULL) {
Andrew Walbranb5ab43c2020-04-30 11:32:54 +01001171 return ffa_error(FFA_INVALID_PARAMETERS);
Andrew Walbran0b60c4f2019-12-10 17:05:29 +00001172 }
1173
Jose Marinhoa1dfeda2019-02-27 16:46:03 +00001174 /*
Andrew Walbran70bc8622019-10-07 14:15:58 +01001175 * Check that the sender has configured its send buffer. If the tx
1176 * mailbox at from_msg is configured (i.e. from_msg != NULL) then it can
1177 * be safely accessed after releasing the lock since the tx mailbox
1178 * address can only be configured once.
Jose Marinhoa1dfeda2019-02-27 16:46:03 +00001179 */
1180 sl_lock(&from->lock);
1181 from_msg = from->mailbox.send;
1182 sl_unlock(&from->lock);
1183
1184 if (from_msg == NULL) {
Andrew Walbranb5ab43c2020-04-30 11:32:54 +01001185 return ffa_error(FFA_INVALID_PARAMETERS);
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +01001186 }
1187
Andrew Walbran82d6d152019-12-24 15:02:06 +00001188 to_locked = vm_lock(to);
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +01001189
Andrew Walbran82d6d152019-12-24 15:02:06 +00001190 if (msg_receiver_busy(to_locked, from, notify)) {
Andrew Walbranb5ab43c2020-04-30 11:32:54 +01001191 ret = ffa_error(FFA_BUSY);
Andrew Scullaa039b32018-10-04 15:02:26 +01001192 goto out;
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +01001193 }
1194
Andrew Walbran82d6d152019-12-24 15:02:06 +00001195 /* Copy data. */
Andrew Walbranb5ab43c2020-04-30 11:32:54 +01001196 memcpy_s(to->mailbox.recv, FFA_MSG_PAYLOAD_MAX, from_msg, size);
Andrew Walbran82d6d152019-12-24 15:02:06 +00001197 to->mailbox.recv_size = size;
1198 to->mailbox.recv_sender = sender_vm_id;
Andrew Walbranb5ab43c2020-04-30 11:32:54 +01001199 to->mailbox.recv_func = FFA_MSG_SEND_32;
Andrew Walbran2619e0a2020-01-10 16:37:50 +00001200 ret = deliver_msg(to_locked, sender_vm_id, current, next);
Andrew Scullaa039b32018-10-04 15:02:26 +01001201
1202out:
Andrew Walbran82d6d152019-12-24 15:02:06 +00001203 vm_unlock(&to_locked);
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +01001204
Wedson Almeida Filho80eb4a32018-11-30 17:11:15 +00001205 return ret;
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +01001206}
1207
1208/**
Andrew Scullec52ddf2019-08-20 10:41:01 +01001209 * Checks whether the vCPU's attempt to block for a message has already been
1210 * interrupted or whether it is allowed to block.
1211 */
Andrew Walbranb5ab43c2020-04-30 11:32:54 +01001212bool api_ffa_msg_recv_block_interrupted(struct vcpu *current)
Andrew Scullec52ddf2019-08-20 10:41:01 +01001213{
1214 bool interrupted;
1215
1216 sl_lock(&current->lock);
1217
1218 /*
1219 * Don't block if there are enabled and pending interrupts, to match
1220 * behaviour of wait_for_interrupt.
1221 */
1222 interrupted = (current->interrupts.enabled_and_pending_count > 0);
1223
1224 sl_unlock(&current->lock);
1225
1226 return interrupted;
1227}
1228
1229/**
Andrew Scullaa039b32018-10-04 15:02:26 +01001230 * Receives a message from the mailbox. If one isn't available, this function
1231 * can optionally block the caller until one becomes available.
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +01001232 *
Andrew Scullaa039b32018-10-04 15:02:26 +01001233 * No new messages can be received until the mailbox has been cleared.
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +01001234 */
Andrew Walbranb5ab43c2020-04-30 11:32:54 +01001235struct ffa_value api_ffa_msg_recv(bool block, struct vcpu *current,
1236 struct vcpu **next)
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +01001237{
Olivier Deprezee9d6a92019-11-26 09:14:11 +00001238 bool is_direct_request_ongoing;
1239 struct vcpu_locked current_locked;
Wedson Almeida Filho00df6c72018-10-18 11:19:24 +01001240 struct vm *vm = current->vm;
Andrew Walbranb5ab43c2020-04-30 11:32:54 +01001241 struct ffa_value return_code;
J-Alvesb37fd082020-10-22 12:29:21 +01001242 bool is_from_secure_world =
1243 (current->vm->id & HF_VM_ID_WORLD_MASK) != 0;
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +01001244
Andrew Scullaa039b32018-10-04 15:02:26 +01001245 /*
1246 * The primary VM will receive messages as a status code from running
Fuad Tabbab0ef2a42019-12-19 11:19:25 +00001247 * vCPUs and must not call this function.
Andrew Scullaa039b32018-10-04 15:02:26 +01001248 */
J-Alvesb37fd082020-10-22 12:29:21 +01001249 if (!is_from_secure_world && vm->id == HF_PRIMARY_VM_ID) {
Andrew Walbranb5ab43c2020-04-30 11:32:54 +01001250 return ffa_error(FFA_NOT_SUPPORTED);
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +01001251 }
1252
Olivier Deprezee9d6a92019-11-26 09:14:11 +00001253 /*
1254 * Deny if vCPU is executing in context of an FFA_MSG_SEND_DIRECT_REQ
1255 * invocation.
1256 */
1257 current_locked = vcpu_lock(current);
1258 is_direct_request_ongoing =
1259 is_ffa_direct_msg_request_ongoing(current_locked);
1260 vcpu_unlock(&current_locked);
1261
1262 if (is_direct_request_ongoing) {
1263 return ffa_error(FFA_DENIED);
1264 }
1265
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +01001266 sl_lock(&vm->lock);
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +01001267
Andrew Scullaa039b32018-10-04 15:02:26 +01001268 /* Return pending messages without blocking. */
Andrew Sculld6ee1102019-04-05 22:12:42 +01001269 if (vm->mailbox.state == MAILBOX_STATE_RECEIVED) {
1270 vm->mailbox.state = MAILBOX_STATE_READ;
Andrew Walbranb5ab43c2020-04-30 11:32:54 +01001271 return_code = ffa_msg_recv_return(vm);
Jose Marinho3e2442f2019-03-12 13:30:37 +00001272 goto out;
1273 }
1274
1275 /* No pending message so fail if not allowed to block. */
1276 if (!block) {
Andrew Walbranb5ab43c2020-04-30 11:32:54 +01001277 return_code = ffa_error(FFA_RETRY);
Andrew Scullaa039b32018-10-04 15:02:26 +01001278 goto out;
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +01001279 }
Andrew Scullaa039b32018-10-04 15:02:26 +01001280
Andrew Walbran9311c9a2019-03-12 16:59:04 +00001281 /*
Jose Marinho3e2442f2019-03-12 13:30:37 +00001282 * From this point onward this call can only be interrupted or a message
1283 * received. If a message is received the return value will be set at
Andrew Walbranb5ab43c2020-04-30 11:32:54 +01001284 * that time to FFA_SUCCESS.
Andrew Walbran9311c9a2019-03-12 16:59:04 +00001285 */
Andrew Walbranb5ab43c2020-04-30 11:32:54 +01001286 return_code = ffa_error(FFA_INTERRUPTED);
1287 if (api_ffa_msg_recv_block_interrupted(current)) {
Andrew Scullaa039b32018-10-04 15:02:26 +01001288 goto out;
1289 }
1290
J-Alvesb37fd082020-10-22 12:29:21 +01001291 if (is_from_secure_world) {
1292 /* Return to other world if caller is a SP. */
1293 *next = api_switch_to_other_world(
1294 current, (struct ffa_value){.func = FFA_MSG_WAIT_32},
1295 VCPU_STATE_BLOCKED_MAILBOX);
1296 } else {
1297 /* Switch back to primary VM to block. */
Andrew Walbranb5ab43c2020-04-30 11:32:54 +01001298 struct ffa_value run_return = {
1299 .func = FFA_MSG_WAIT_32,
1300 .arg1 = ffa_vm_vcpu(vm->id, vcpu_index(current)),
Andrew Walbranb4816552018-12-05 17:35:42 +00001301 };
Wedson Almeida Filho81568c42019-01-04 13:33:02 +00001302
Andrew Walbranb4816552018-12-05 17:35:42 +00001303 *next = api_switch_to_primary(current, run_return,
Andrew Sculld6ee1102019-04-05 22:12:42 +01001304 VCPU_STATE_BLOCKED_MAILBOX);
Andrew Walbranb4816552018-12-05 17:35:42 +00001305 }
Andrew Scullaa039b32018-10-04 15:02:26 +01001306out:
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +01001307 sl_unlock(&vm->lock);
1308
Jose Marinho3e2442f2019-03-12 13:30:37 +00001309 return return_code;
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +01001310}
1311
1312/**
Wedson Almeida Filhoea62e2e2019-01-09 19:14:59 +00001313 * Retrieves the next VM whose mailbox became writable. For a VM to be notified
1314 * by this function, the caller must have called api_mailbox_send before with
1315 * the notify argument set to true, and this call must have failed because the
1316 * mailbox was not available.
1317 *
1318 * It should be called repeatedly to retrieve a list of VMs.
1319 *
1320 * Returns -1 if no VM became writable, or the id of the VM whose mailbox
1321 * became writable.
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +01001322 */
Wedson Almeida Filhoea62e2e2019-01-09 19:14:59 +00001323int64_t api_mailbox_writable_get(const struct vcpu *current)
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +01001324{
Wedson Almeida Filho00df6c72018-10-18 11:19:24 +01001325 struct vm *vm = current->vm;
Wedson Almeida Filhoea62e2e2019-01-09 19:14:59 +00001326 struct wait_entry *entry;
Andrew Scullc0e569a2018-10-02 18:05:21 +01001327 int64_t ret;
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +01001328
1329 sl_lock(&vm->lock);
Wedson Almeida Filhoea62e2e2019-01-09 19:14:59 +00001330 if (list_empty(&vm->mailbox.ready_list)) {
1331 ret = -1;
1332 goto exit;
1333 }
1334
1335 entry = CONTAINER_OF(vm->mailbox.ready_list.next, struct wait_entry,
1336 ready_links);
1337 list_remove(&entry->ready_links);
Andrew Walbranaad8f982019-12-04 10:56:39 +00001338 ret = vm_id_for_wait_entry(vm, entry);
Wedson Almeida Filhoea62e2e2019-01-09 19:14:59 +00001339
1340exit:
1341 sl_unlock(&vm->lock);
1342 return ret;
1343}
1344
1345/**
1346 * Retrieves the next VM waiting to be notified that the mailbox of the
1347 * specified VM became writable. Only primary VMs are allowed to call this.
1348 *
Wedson Almeida Filhob790f652019-01-22 23:41:56 +00001349 * Returns -1 on failure or if there are no waiters; the VM id of the next
1350 * waiter otherwise.
Wedson Almeida Filhoea62e2e2019-01-09 19:14:59 +00001351 */
Andrew Walbranb5ab43c2020-04-30 11:32:54 +01001352int64_t api_mailbox_waiter_get(ffa_vm_id_t vm_id, const struct vcpu *current)
Wedson Almeida Filhoea62e2e2019-01-09 19:14:59 +00001353{
1354 struct vm *vm;
1355 struct vm_locked locked;
1356 struct wait_entry *entry;
1357 struct vm *waiting_vm;
1358
1359 /* Only primary VMs are allowed to call this function. */
1360 if (current->vm->id != HF_PRIMARY_VM_ID) {
1361 return -1;
1362 }
1363
Andrew Walbran42347a92019-05-09 13:59:03 +01001364 vm = vm_find(vm_id);
Wedson Almeida Filhoea62e2e2019-01-09 19:14:59 +00001365 if (vm == NULL) {
1366 return -1;
1367 }
1368
Fuad Tabbaed294af2019-12-20 10:43:01 +00001369 /* Check if there are outstanding notifications from given VM. */
Andrew Walbran7e932bd2019-04-29 16:47:06 +01001370 locked = vm_lock(vm);
Wedson Almeida Filhoea62e2e2019-01-09 19:14:59 +00001371 entry = api_fetch_waiter(locked);
1372 vm_unlock(&locked);
1373
1374 if (entry == NULL) {
1375 return -1;
1376 }
1377
1378 /* Enqueue notification to waiting VM. */
1379 waiting_vm = entry->waiting_vm;
1380
1381 sl_lock(&waiting_vm->lock);
1382 if (list_empty(&entry->ready_links)) {
1383 list_append(&waiting_vm->mailbox.ready_list,
1384 &entry->ready_links);
1385 }
1386 sl_unlock(&waiting_vm->lock);
1387
1388 return waiting_vm->id;
1389}
1390
1391/**
Andrew Walbran8a0f5ca2019-11-05 13:12:23 +00001392 * Releases the caller's mailbox so that a new message can be received. The
1393 * caller must have copied out all data they wish to preserve as new messages
1394 * will overwrite the old and will arrive asynchronously.
Wedson Almeida Filhoea62e2e2019-01-09 19:14:59 +00001395 *
1396 * Returns:
Andrew Walbranb5ab43c2020-04-30 11:32:54 +01001397 * - FFA_ERROR FFA_DENIED on failure, if the mailbox hasn't been read.
1398 * - FFA_SUCCESS on success if no further action is needed.
1399 * - FFA_RX_RELEASE if it was called by the primary VM and the primary VM now
Andrew Walbran8a0f5ca2019-11-05 13:12:23 +00001400 * needs to wake up or kick waiters. Waiters should be retrieved by calling
Wedson Almeida Filhoea62e2e2019-01-09 19:14:59 +00001401 * hf_mailbox_waiter_get.
1402 */
Andrew Walbranb5ab43c2020-04-30 11:32:54 +01001403struct ffa_value api_ffa_rx_release(struct vcpu *current, struct vcpu **next)
Wedson Almeida Filhoea62e2e2019-01-09 19:14:59 +00001404{
1405 struct vm *vm = current->vm;
1406 struct vm_locked locked;
Andrew Walbranb5ab43c2020-04-30 11:32:54 +01001407 struct ffa_value ret;
Wedson Almeida Filhoea62e2e2019-01-09 19:14:59 +00001408
Andrew Walbran7e932bd2019-04-29 16:47:06 +01001409 locked = vm_lock(vm);
Andrew Scullaa7db8e2019-02-01 14:12:19 +00001410 switch (vm->mailbox.state) {
Andrew Sculld6ee1102019-04-05 22:12:42 +01001411 case MAILBOX_STATE_EMPTY:
Andrew Sculld6ee1102019-04-05 22:12:42 +01001412 case MAILBOX_STATE_RECEIVED:
Andrew Walbranb5ab43c2020-04-30 11:32:54 +01001413 ret = ffa_error(FFA_DENIED);
Andrew Scullaa7db8e2019-02-01 14:12:19 +00001414 break;
1415
Andrew Sculld6ee1102019-04-05 22:12:42 +01001416 case MAILBOX_STATE_READ:
Andrew Walbranbfffb0f2019-11-05 14:02:34 +00001417 ret = api_waiter_result(locked, current, next);
Andrew Sculld6ee1102019-04-05 22:12:42 +01001418 vm->mailbox.state = MAILBOX_STATE_EMPTY;
Andrew Scullaa7db8e2019-02-01 14:12:19 +00001419 break;
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +01001420 }
Wedson Almeida Filhoea62e2e2019-01-09 19:14:59 +00001421 vm_unlock(&locked);
Wedson Almeida Filho2f94ec12018-07-26 16:00:48 +01001422
1423 return ret;
Wedson Almeida Filho3fcbcff2018-07-10 23:53:39 +01001424}
Andrew Walbran318f5732018-11-20 16:23:42 +00001425
1426/**
1427 * Enables or disables a given interrupt ID for the calling vCPU.
1428 *
1429 * Returns 0 on success, or -1 if the intid is invalid.
1430 */
Wedson Almeida Filhoc559d132019-01-09 19:33:40 +00001431int64_t api_interrupt_enable(uint32_t intid, bool enable, struct vcpu *current)
Andrew Walbran318f5732018-11-20 16:23:42 +00001432{
1433 uint32_t intid_index = intid / INTERRUPT_REGISTER_BITS;
Andrew Walbrane52006c2019-10-22 18:01:28 +01001434 uint32_t intid_mask = 1U << (intid % INTERRUPT_REGISTER_BITS);
Wedson Almeida Filho81568c42019-01-04 13:33:02 +00001435
Andrew Walbran318f5732018-11-20 16:23:42 +00001436 if (intid >= HF_NUM_INTIDS) {
1437 return -1;
1438 }
1439
1440 sl_lock(&current->lock);
1441 if (enable) {
Andrew Walbran3d84a262018-12-13 14:41:19 +00001442 /*
1443 * If it is pending and was not enabled before, increment the
1444 * count.
1445 */
1446 if (current->interrupts.interrupt_pending[intid_index] &
1447 ~current->interrupts.interrupt_enabled[intid_index] &
1448 intid_mask) {
1449 current->interrupts.enabled_and_pending_count++;
1450 }
Andrew Walbran318f5732018-11-20 16:23:42 +00001451 current->interrupts.interrupt_enabled[intid_index] |=
1452 intid_mask;
Andrew Walbran318f5732018-11-20 16:23:42 +00001453 } else {
Andrew Walbran3d84a262018-12-13 14:41:19 +00001454 /*
1455 * If it is pending and was enabled before, decrement the count.
1456 */
1457 if (current->interrupts.interrupt_pending[intid_index] &
1458 current->interrupts.interrupt_enabled[intid_index] &
1459 intid_mask) {
1460 current->interrupts.enabled_and_pending_count--;
1461 }
Andrew Walbran318f5732018-11-20 16:23:42 +00001462 current->interrupts.interrupt_enabled[intid_index] &=
1463 ~intid_mask;
1464 }
1465
1466 sl_unlock(&current->lock);
1467 return 0;
1468}
1469
1470/**
1471 * Returns the ID of the next pending interrupt for the calling vCPU, and
1472 * acknowledges it (i.e. marks it as no longer pending). Returns
1473 * HF_INVALID_INTID if there are no pending interrupts.
1474 */
Wedson Almeida Filhoc559d132019-01-09 19:33:40 +00001475uint32_t api_interrupt_get(struct vcpu *current)
Andrew Walbran318f5732018-11-20 16:23:42 +00001476{
1477 uint8_t i;
1478 uint32_t first_interrupt = HF_INVALID_INTID;
Andrew Walbran318f5732018-11-20 16:23:42 +00001479
1480 /*
1481 * Find the first enabled and pending interrupt ID, return it, and
1482 * deactivate it.
1483 */
1484 sl_lock(&current->lock);
1485 for (i = 0; i < HF_NUM_INTIDS / INTERRUPT_REGISTER_BITS; ++i) {
1486 uint32_t enabled_and_pending =
1487 current->interrupts.interrupt_enabled[i] &
1488 current->interrupts.interrupt_pending[i];
Wedson Almeida Filho81568c42019-01-04 13:33:02 +00001489
Andrew Walbran318f5732018-11-20 16:23:42 +00001490 if (enabled_and_pending != 0) {
Andrew Walbran3d84a262018-12-13 14:41:19 +00001491 uint8_t bit_index = ctz(enabled_and_pending);
1492 /*
1493 * Mark it as no longer pending and decrement the count.
1494 */
1495 current->interrupts.interrupt_pending[i] &=
Andrew Walbrane52006c2019-10-22 18:01:28 +01001496 ~(1U << bit_index);
Andrew Walbran3d84a262018-12-13 14:41:19 +00001497 current->interrupts.enabled_and_pending_count--;
1498 first_interrupt =
1499 i * INTERRUPT_REGISTER_BITS + bit_index;
Andrew Walbran318f5732018-11-20 16:23:42 +00001500 break;
1501 }
1502 }
Andrew Walbran318f5732018-11-20 16:23:42 +00001503
1504 sl_unlock(&current->lock);
1505 return first_interrupt;
1506}
1507
1508/**
Andrew Walbran4cf217a2018-12-14 15:24:50 +00001509 * Returns whether the current vCPU is allowed to inject an interrupt into the
Andrew Walbran318f5732018-11-20 16:23:42 +00001510 * given VM and vCPU.
1511 */
1512static inline bool is_injection_allowed(uint32_t target_vm_id,
1513 struct vcpu *current)
1514{
1515 uint32_t current_vm_id = current->vm->id;
Wedson Almeida Filho81568c42019-01-04 13:33:02 +00001516
Andrew Walbran318f5732018-11-20 16:23:42 +00001517 /*
1518 * The primary VM is allowed to inject interrupts into any VM. Secondary
1519 * VMs are only allowed to inject interrupts into their own vCPUs.
1520 */
1521 return current_vm_id == HF_PRIMARY_VM_ID ||
1522 current_vm_id == target_vm_id;
1523}
1524
1525/**
1526 * Injects a virtual interrupt of the given ID into the given target vCPU.
1527 * This doesn't cause the vCPU to actually be run immediately; it will be taken
1528 * when the vCPU is next run, which is up to the scheduler.
1529 *
Andrew Walbran3d84a262018-12-13 14:41:19 +00001530 * Returns:
1531 * - -1 on failure because the target VM or vCPU doesn't exist, the interrupt
1532 * ID is invalid, or the current VM is not allowed to inject interrupts to
1533 * the target VM.
1534 * - 0 on success if no further action is needed.
1535 * - 1 if it was called by the primary VM and the primary VM now needs to wake
1536 * up or kick the target vCPU.
Andrew Walbran318f5732018-11-20 16:23:42 +00001537 */
Andrew Walbranb5ab43c2020-04-30 11:32:54 +01001538int64_t api_interrupt_inject(ffa_vm_id_t target_vm_id,
1539 ffa_vcpu_index_t target_vcpu_idx, uint32_t intid,
Andrew Walbran42347a92019-05-09 13:59:03 +01001540 struct vcpu *current, struct vcpu **next)
Andrew Walbran318f5732018-11-20 16:23:42 +00001541{
Andrew Walbran318f5732018-11-20 16:23:42 +00001542 struct vcpu *target_vcpu;
Andrew Walbran42347a92019-05-09 13:59:03 +01001543 struct vm *target_vm = vm_find(target_vm_id);
Andrew Walbran318f5732018-11-20 16:23:42 +00001544
1545 if (intid >= HF_NUM_INTIDS) {
1546 return -1;
1547 }
Wedson Almeida Filho81568c42019-01-04 13:33:02 +00001548
Andrew Walbran318f5732018-11-20 16:23:42 +00001549 if (target_vm == NULL) {
1550 return -1;
1551 }
Wedson Almeida Filho81568c42019-01-04 13:33:02 +00001552
Andrew Walbran318f5732018-11-20 16:23:42 +00001553 if (target_vcpu_idx >= target_vm->vcpu_count) {
Fuad Tabbab0ef2a42019-12-19 11:19:25 +00001554 /* The requested vCPU must exist. */
Andrew Walbran318f5732018-11-20 16:23:42 +00001555 return -1;
1556 }
Wedson Almeida Filho81568c42019-01-04 13:33:02 +00001557
Andrew Walbran318f5732018-11-20 16:23:42 +00001558 if (!is_injection_allowed(target_vm_id, current)) {
1559 return -1;
1560 }
Wedson Almeida Filho81568c42019-01-04 13:33:02 +00001561
Andrew Walbrane1310df2019-04-29 17:28:28 +01001562 target_vcpu = vm_get_vcpu(target_vm, target_vcpu_idx);
Andrew Walbran318f5732018-11-20 16:23:42 +00001563
Olivier Deprezf92e5d42020-11-13 16:00:54 +01001564 dlog_info("Injecting IRQ %u for VM %#x vCPU %u from VM %#x vCPU %u\n",
Andrew Walbran17eebf92020-02-05 16:35:49 +00001565 intid, target_vm_id, target_vcpu_idx, current->vm->id,
Olivier Deprezf92e5d42020-11-13 16:00:54 +01001566 vcpu_index(current));
Andrew Walbranfc9d4382019-05-10 18:07:21 +01001567 return internal_interrupt_inject(target_vcpu, intid, current, next);
Andrew Walbran318f5732018-11-20 16:23:42 +00001568}
Andrew Scull6386f252018-12-06 13:29:10 +00001569
Andrew Walbranb5ab43c2020-04-30 11:32:54 +01001570/** Returns the version of the implemented FF-A specification. */
1571struct ffa_value api_ffa_version(uint32_t requested_version)
Jose Marinhofc0b2b62019-06-06 11:18:45 +01001572{
1573 /*
1574 * Ensure that both major and minor revision representation occupies at
1575 * most 15 bits.
1576 */
Andrew Walbranb5ab43c2020-04-30 11:32:54 +01001577 static_assert(0x8000 > FFA_VERSION_MAJOR,
Andrew Walbran9fd29072020-04-22 12:12:14 +01001578 "Major revision representation takes more than 15 bits.");
Andrew Walbranb5ab43c2020-04-30 11:32:54 +01001579 static_assert(0x10000 > FFA_VERSION_MINOR,
Andrew Walbran9fd29072020-04-22 12:12:14 +01001580 "Minor revision representation takes more than 16 bits.");
Andrew Walbranb5ab43c2020-04-30 11:32:54 +01001581 if (requested_version & FFA_VERSION_RESERVED_BIT) {
Andrew Walbran9fd29072020-04-22 12:12:14 +01001582 /* Invalid encoding, return an error. */
J-Alves13318e32021-02-22 17:21:00 +00001583 return (struct ffa_value){.func = (uint32_t)FFA_NOT_SUPPORTED};
Andrew Walbran9fd29072020-04-22 12:12:14 +01001584 }
Jose Marinhofc0b2b62019-06-06 11:18:45 +01001585
Andrew Walbranb5ab43c2020-04-30 11:32:54 +01001586 return (struct ffa_value){
1587 .func = (FFA_VERSION_MAJOR << FFA_VERSION_MAJOR_OFFSET) |
1588 FFA_VERSION_MINOR};
Jose Marinhofc0b2b62019-06-06 11:18:45 +01001589}
Andrew Walbranc1ad4ce2019-05-09 11:41:39 +01001590
1591int64_t api_debug_log(char c, struct vcpu *current)
1592{
Andrew Sculld54e1be2019-08-20 11:09:42 +01001593 bool flush;
Andrew Walbranc1ad4ce2019-05-09 11:41:39 +01001594 struct vm *vm = current->vm;
1595 struct vm_locked vm_locked = vm_lock(vm);
1596
Andrew Sculld54e1be2019-08-20 11:09:42 +01001597 if (c == '\n' || c == '\0') {
1598 flush = true;
1599 } else {
1600 vm->log_buffer[vm->log_buffer_length++] = c;
1601 flush = (vm->log_buffer_length == sizeof(vm->log_buffer));
1602 }
1603
1604 if (flush) {
Andrew Walbran7f904bf2019-07-12 16:38:38 +01001605 dlog_flush_vm_buffer(vm->id, vm->log_buffer,
1606 vm->log_buffer_length);
1607 vm->log_buffer_length = 0;
Andrew Walbranc1ad4ce2019-05-09 11:41:39 +01001608 }
1609
1610 vm_unlock(&vm_locked);
1611
1612 return 0;
1613}
Jose Marinhoc0f4ff22019-10-09 10:37:42 +01001614
1615/**
1616 * Discovery function returning information about the implementation of optional
Andrew Walbranb5ab43c2020-04-30 11:32:54 +01001617 * FF-A interfaces.
Jose Marinhoc0f4ff22019-10-09 10:37:42 +01001618 */
Andrew Walbranb5ab43c2020-04-30 11:32:54 +01001619struct ffa_value api_ffa_features(uint32_t function_id)
Jose Marinhoc0f4ff22019-10-09 10:37:42 +01001620{
1621 switch (function_id) {
Andrew Walbranb5ab43c2020-04-30 11:32:54 +01001622 case FFA_ERROR_32:
1623 case FFA_SUCCESS_32:
1624 case FFA_INTERRUPT_32:
1625 case FFA_VERSION_32:
1626 case FFA_FEATURES_32:
1627 case FFA_RX_RELEASE_32:
1628 case FFA_RXTX_MAP_64:
Fuad Tabbae4efcc32020-07-16 15:37:27 +01001629 case FFA_PARTITION_INFO_GET_32:
Andrew Walbranb5ab43c2020-04-30 11:32:54 +01001630 case FFA_ID_GET_32:
1631 case FFA_MSG_POLL_32:
1632 case FFA_MSG_WAIT_32:
1633 case FFA_YIELD_32:
1634 case FFA_RUN_32:
1635 case FFA_MSG_SEND_32:
1636 case FFA_MEM_DONATE_32:
1637 case FFA_MEM_LEND_32:
1638 case FFA_MEM_SHARE_32:
1639 case FFA_MEM_RETRIEVE_REQ_32:
1640 case FFA_MEM_RETRIEVE_RESP_32:
1641 case FFA_MEM_RELINQUISH_32:
1642 case FFA_MEM_RECLAIM_32:
J-Alvesbc3de8b2020-12-07 14:32:04 +00001643 case FFA_MSG_SEND_DIRECT_RESP_64:
Olivier Deprezee9d6a92019-11-26 09:14:11 +00001644 case FFA_MSG_SEND_DIRECT_RESP_32:
J-Alvesbc3de8b2020-12-07 14:32:04 +00001645 case FFA_MSG_SEND_DIRECT_REQ_64:
Olivier Deprezee9d6a92019-11-26 09:14:11 +00001646 case FFA_MSG_SEND_DIRECT_REQ_32:
Andrew Walbranb5ab43c2020-04-30 11:32:54 +01001647 return (struct ffa_value){.func = FFA_SUCCESS_32};
Jose Marinhoc0f4ff22019-10-09 10:37:42 +01001648 default:
Andrew Walbranb5ab43c2020-04-30 11:32:54 +01001649 return ffa_error(FFA_NOT_SUPPORTED);
Jose Marinhoc0f4ff22019-10-09 10:37:42 +01001650 }
1651}
Andrew Walbrane908c4a2019-12-02 17:13:47 +00001652
Olivier Deprezee9d6a92019-11-26 09:14:11 +00001653/**
J-Alves645eabe2021-02-22 16:08:27 +00001654 * FF-A specification states that x2/w2 Must Be Zero for direct messaging
1655 * interfaces.
1656 */
1657static inline bool api_ffa_dir_msg_is_arg2_zero(struct ffa_value args)
1658{
1659 return args.arg2 == 0U;
1660}
1661
1662/**
J-Alves76d99af2021-03-10 17:42:11 +00001663 * Limits size of arguments in ffa_value structure to 32-bit.
1664 */
1665static struct ffa_value api_ffa_value_copy32(struct ffa_value args)
1666{
1667 return (struct ffa_value){
1668 .func = (uint32_t)args.func,
1669 .arg1 = (uint32_t)args.arg1,
1670 .arg2 = (uint32_t)0,
1671 .arg3 = (uint32_t)args.arg3,
1672 .arg4 = (uint32_t)args.arg4,
1673 .arg5 = (uint32_t)args.arg5,
1674 .arg6 = (uint32_t)args.arg6,
1675 .arg7 = (uint32_t)args.arg7,
1676 };
1677}
1678
1679/**
1680 * Helper to copy direct message payload, depending on SMC used and expected
1681 * registers size.
1682 */
1683static struct ffa_value api_ffa_dir_msg_value(struct ffa_value args)
1684{
1685 if (args.func == FFA_MSG_SEND_DIRECT_REQ_32 ||
1686 args.func == FFA_MSG_SEND_DIRECT_RESP_32) {
1687 return api_ffa_value_copy32(args);
1688 }
1689
1690 return (struct ffa_value){
1691 .func = args.func,
1692 .arg1 = args.arg1,
1693 .arg2 = 0,
1694 .arg3 = args.arg3,
1695 .arg4 = args.arg4,
1696 .arg5 = args.arg5,
1697 .arg6 = args.arg6,
1698 .arg7 = args.arg7,
1699 };
1700}
1701
1702/**
Olivier Deprezee9d6a92019-11-26 09:14:11 +00001703 * Send an FF-A direct message request.
1704 */
1705struct ffa_value api_ffa_msg_send_direct_req(ffa_vm_id_t sender_vm_id,
1706 ffa_vm_id_t receiver_vm_id,
1707 struct ffa_value args,
1708 struct vcpu *current,
1709 struct vcpu **next)
1710{
1711 struct ffa_value ret = (struct ffa_value){.func = FFA_INTERRUPT_32};
Olivier Deprezee9d6a92019-11-26 09:14:11 +00001712 struct vm *receiver_vm;
1713 struct vcpu *receiver_vcpu;
1714 struct two_vcpu_locked vcpus_locked;
1715
J-Alves645eabe2021-02-22 16:08:27 +00001716 if (!api_ffa_dir_msg_is_arg2_zero(args)) {
1717 return ffa_error(FFA_INVALID_PARAMETERS);
1718 }
1719
Olivier Deprez2ebae3a2020-06-11 16:34:30 +02001720 if (!arch_other_world_is_direct_request_valid(current, sender_vm_id,
1721 receiver_vm_id)) {
J-Alvesaa336102021-03-01 13:02:45 +00001722 return ffa_error(FFA_INVALID_PARAMETERS);
Olivier Deprezee9d6a92019-11-26 09:14:11 +00001723 }
1724
Olivier Deprezee9d6a92019-11-26 09:14:11 +00001725 receiver_vm = vm_find(receiver_vm_id);
1726 if (receiver_vm == NULL) {
1727 return ffa_error(FFA_INVALID_PARAMETERS);
1728 }
1729
1730 /*
1731 * Per PSA FF-A EAC spec section 4.4.1 the firmware framework supports
1732 * UP (migratable) or MP partitions with a number of vCPUs matching the
1733 * number of PEs in the system. It further states that MP partitions
1734 * accepting direct request messages cannot migrate.
1735 */
J-Alvesad6a0432021-04-09 16:06:21 +01001736 receiver_vcpu = api_ffa_get_vm_vcpu(receiver_vm, current);
Olivier Deprezee9d6a92019-11-26 09:14:11 +00001737 if (receiver_vcpu == NULL) {
1738 return ffa_error(FFA_INVALID_PARAMETERS);
1739 }
1740
1741 vcpus_locked = vcpu_lock_both(receiver_vcpu, current);
1742
1743 /*
1744 * If destination vCPU is executing or already received an
1745 * FFA_MSG_SEND_DIRECT_REQ then return to caller hinting recipient is
1746 * busy. There is a brief period of time where the vCPU state has
1747 * changed but regs_available is still false thus consider this case as
1748 * the vCPU not yet ready to receive a direct message request.
1749 */
1750 if (is_ffa_direct_msg_request_ongoing(vcpus_locked.vcpu1) ||
1751 receiver_vcpu->state == VCPU_STATE_RUNNING ||
1752 !receiver_vcpu->regs_available) {
1753 ret = ffa_error(FFA_BUSY);
1754 goto out;
1755 }
1756
1757 if (atomic_load_explicit(&receiver_vcpu->vm->aborting,
1758 memory_order_relaxed)) {
1759 if (receiver_vcpu->state != VCPU_STATE_ABORTED) {
Olivier Deprezf92e5d42020-11-13 16:00:54 +01001760 dlog_notice("Aborting VM %#x vCPU %u\n",
Olivier Deprezee9d6a92019-11-26 09:14:11 +00001761 receiver_vcpu->vm->id,
1762 vcpu_index(receiver_vcpu));
1763 receiver_vcpu->state = VCPU_STATE_ABORTED;
1764 }
1765
1766 ret = ffa_error(FFA_ABORTED);
1767 goto out;
1768 }
1769
1770 switch (receiver_vcpu->state) {
1771 case VCPU_STATE_OFF:
1772 case VCPU_STATE_RUNNING:
1773 case VCPU_STATE_ABORTED:
1774 case VCPU_STATE_READY:
1775 case VCPU_STATE_BLOCKED_INTERRUPT:
1776 ret = ffa_error(FFA_BUSY);
1777 goto out;
1778 case VCPU_STATE_BLOCKED_MAILBOX:
1779 /*
1780 * Expect target vCPU to be blocked after having called
1781 * ffa_msg_wait or sent a direct message response.
1782 */
1783 break;
1784 }
1785
1786 /* Inject timer interrupt if any pending */
1787 if (arch_timer_pending(&receiver_vcpu->regs)) {
1788 internal_interrupt_inject_locked(vcpus_locked.vcpu1,
1789 HF_VIRTUAL_TIMER_INTID,
1790 current, NULL);
1791
1792 arch_timer_mask(&receiver_vcpu->regs);
1793 }
1794
1795 /* The receiver vCPU runs upon direct message invocation */
1796 receiver_vcpu->cpu = current->cpu;
1797 receiver_vcpu->state = VCPU_STATE_RUNNING;
1798 receiver_vcpu->regs_available = false;
Olivier Deprez2ebae3a2020-06-11 16:34:30 +02001799 receiver_vcpu->direct_request_origin_vm_id = sender_vm_id;
Olivier Deprezee9d6a92019-11-26 09:14:11 +00001800
J-Alves76d99af2021-03-10 17:42:11 +00001801 arch_regs_set_retval(&receiver_vcpu->regs, api_ffa_dir_msg_value(args));
Olivier Deprezee9d6a92019-11-26 09:14:11 +00001802
1803 current->state = VCPU_STATE_BLOCKED_MAILBOX;
1804
1805 /* Switch to receiver vCPU targeted to by direct msg request */
1806 *next = receiver_vcpu;
1807
1808 /*
1809 * Since this flow will lead to a VM switch, the return value will not
1810 * be applied to current vCPU.
1811 */
1812
1813out:
1814 sl_unlock(&receiver_vcpu->lock);
1815 sl_unlock(&current->lock);
1816
1817 return ret;
1818}
1819
1820/**
1821 * Send an FF-A direct message response.
1822 */
1823struct ffa_value api_ffa_msg_send_direct_resp(ffa_vm_id_t sender_vm_id,
1824 ffa_vm_id_t receiver_vm_id,
1825 struct ffa_value args,
1826 struct vcpu *current,
1827 struct vcpu **next)
1828{
Olivier Deprez2ebae3a2020-06-11 16:34:30 +02001829 struct vcpu_locked current_locked;
J-Alves645eabe2021-02-22 16:08:27 +00001830
1831 if (!api_ffa_dir_msg_is_arg2_zero(args)) {
1832 return ffa_error(FFA_INVALID_PARAMETERS);
1833 }
1834
J-Alves76d99af2021-03-10 17:42:11 +00001835 struct ffa_value to_ret = api_ffa_dir_msg_value(args);
Olivier Deprezee9d6a92019-11-26 09:14:11 +00001836
Olivier Deprez2ebae3a2020-06-11 16:34:30 +02001837 if (!arch_other_world_is_direct_response_valid(current, sender_vm_id,
1838 receiver_vm_id)) {
J-Alvesaa336102021-03-01 13:02:45 +00001839 return ffa_error(FFA_INVALID_PARAMETERS);
Olivier Deprezee9d6a92019-11-26 09:14:11 +00001840 }
1841
Olivier Deprez2ebae3a2020-06-11 16:34:30 +02001842 current_locked = vcpu_lock(current);
Olivier Deprezee9d6a92019-11-26 09:14:11 +00001843
1844 /*
1845 * Ensure the terminating FFA_MSG_SEND_DIRECT_REQ had a
1846 * defined originator.
1847 */
Olivier Deprez2ebae3a2020-06-11 16:34:30 +02001848 if (!is_ffa_direct_msg_request_ongoing(current_locked)) {
Olivier Deprezee9d6a92019-11-26 09:14:11 +00001849 /*
1850 * Sending direct response but direct request origin vCPU is
1851 * not set.
1852 */
Olivier Deprez2ebae3a2020-06-11 16:34:30 +02001853 vcpu_unlock(&current_locked);
Olivier Deprezee9d6a92019-11-26 09:14:11 +00001854 return ffa_error(FFA_DENIED);
1855 }
1856
1857 if (current->direct_request_origin_vm_id != receiver_vm_id) {
Olivier Deprez2ebae3a2020-06-11 16:34:30 +02001858 vcpu_unlock(&current_locked);
Olivier Deprezee9d6a92019-11-26 09:14:11 +00001859 return ffa_error(FFA_DENIED);
1860 }
1861
1862 /* Clear direct request origin for the caller. */
1863 current->direct_request_origin_vm_id = HF_INVALID_VM_ID;
1864
Olivier Deprez2ebae3a2020-06-11 16:34:30 +02001865 vcpu_unlock(&current_locked);
Olivier Deprezee9d6a92019-11-26 09:14:11 +00001866
Olivier Deprez2ebae3a2020-06-11 16:34:30 +02001867 if (!vm_id_is_current_world(receiver_vm_id)) {
J-Alvesfe7f7372020-11-09 11:32:12 +00001868 *next = api_switch_to_other_world(current, to_ret,
Olivier Deprez2ebae3a2020-06-11 16:34:30 +02001869 VCPU_STATE_BLOCKED_MAILBOX);
1870 } else if (receiver_vm_id == HF_PRIMARY_VM_ID) {
J-Alvesfe7f7372020-11-09 11:32:12 +00001871 *next = api_switch_to_primary(current, to_ret,
Olivier Deprez2ebae3a2020-06-11 16:34:30 +02001872 VCPU_STATE_BLOCKED_MAILBOX);
J-Alvesfe7f7372020-11-09 11:32:12 +00001873 } else if (vm_id_is_current_world(receiver_vm_id)) {
1874 /*
1875 * It is expected the receiver_vm_id to be from an SP, otherwise
1876 * 'arch_other_world_is_direct_response_valid' should have
1877 * made function return error before getting to this point.
1878 */
1879 *next = api_switch_to_vm(current, to_ret,
1880 VCPU_STATE_BLOCKED_MAILBOX,
1881 receiver_vm_id);
Olivier Deprez2ebae3a2020-06-11 16:34:30 +02001882 } else {
1883 panic("Invalid direct message response invocation");
1884 }
Olivier Deprezee9d6a92019-11-26 09:14:11 +00001885
1886 return (struct ffa_value){.func = FFA_INTERRUPT_32};
1887}
1888
Andrew Walbranb5ab43c2020-04-30 11:32:54 +01001889struct ffa_value api_ffa_mem_send(uint32_t share_func, uint32_t length,
1890 uint32_t fragment_length, ipaddr_t address,
Andrew Walbran1a86aa92020-05-15 17:22:28 +01001891 uint32_t page_count, struct vcpu *current)
Andrew Walbrane908c4a2019-12-02 17:13:47 +00001892{
1893 struct vm *from = current->vm;
1894 struct vm *to;
1895 const void *from_msg;
Andrew Walbranb5ab43c2020-04-30 11:32:54 +01001896 struct ffa_memory_region *memory_region;
1897 struct ffa_value ret;
Andrew Walbrane908c4a2019-12-02 17:13:47 +00001898
1899 if (ipa_addr(address) != 0 || page_count != 0) {
1900 /*
1901 * Hafnium only supports passing the descriptor in the TX
1902 * mailbox.
1903 */
Andrew Walbranb5ab43c2020-04-30 11:32:54 +01001904 return ffa_error(FFA_INVALID_PARAMETERS);
Andrew Walbrane908c4a2019-12-02 17:13:47 +00001905 }
1906
Andrew Walbranca808b12020-05-15 17:22:28 +01001907 if (fragment_length > length) {
1908 dlog_verbose(
1909 "Fragment length %d greater than total length %d.\n",
1910 fragment_length, length);
1911 return ffa_error(FFA_INVALID_PARAMETERS);
1912 }
1913 if (fragment_length < sizeof(struct ffa_memory_region) +
1914 sizeof(struct ffa_memory_access)) {
1915 dlog_verbose(
1916 "Initial fragment length %d smaller than header size "
1917 "%d.\n",
1918 fragment_length,
1919 sizeof(struct ffa_memory_region) +
1920 sizeof(struct ffa_memory_access));
Andrew Walbranb5ab43c2020-04-30 11:32:54 +01001921 return ffa_error(FFA_INVALID_PARAMETERS);
Andrew Walbrane908c4a2019-12-02 17:13:47 +00001922 }
1923
1924 /*
1925 * Check that the sender has configured its send buffer. If the TX
1926 * mailbox at from_msg is configured (i.e. from_msg != NULL) then it can
1927 * be safely accessed after releasing the lock since the TX mailbox
1928 * address can only be configured once.
1929 */
1930 sl_lock(&from->lock);
1931 from_msg = from->mailbox.send;
1932 sl_unlock(&from->lock);
1933
1934 if (from_msg == NULL) {
Andrew Walbranb5ab43c2020-04-30 11:32:54 +01001935 return ffa_error(FFA_INVALID_PARAMETERS);
Andrew Walbrane908c4a2019-12-02 17:13:47 +00001936 }
1937
1938 /*
Andrew Walbran5de9c3d2020-02-10 13:35:29 +00001939 * Copy the memory region descriptor to a fresh page from the memory
1940 * pool. This prevents the sender from changing it underneath us, and
1941 * also lets us keep it around in the share state table if needed.
Andrew Walbrane908c4a2019-12-02 17:13:47 +00001942 */
Andrew Walbran1a86aa92020-05-15 17:22:28 +01001943 if (fragment_length > HF_MAILBOX_SIZE ||
1944 fragment_length > MM_PPOOL_ENTRY_SIZE) {
Andrew Walbranb5ab43c2020-04-30 11:32:54 +01001945 return ffa_error(FFA_INVALID_PARAMETERS);
Andrew Walbrane908c4a2019-12-02 17:13:47 +00001946 }
Andrew Walbranb5ab43c2020-04-30 11:32:54 +01001947 memory_region = (struct ffa_memory_region *)mpool_alloc(&api_page_pool);
Andrew Walbran5de9c3d2020-02-10 13:35:29 +00001948 if (memory_region == NULL) {
1949 dlog_verbose("Failed to allocate memory region copy.\n");
Andrew Walbranb5ab43c2020-04-30 11:32:54 +01001950 return ffa_error(FFA_NO_MEMORY);
Andrew Walbran5de9c3d2020-02-10 13:35:29 +00001951 }
Andrew Walbran1a86aa92020-05-15 17:22:28 +01001952 memcpy_s(memory_region, MM_PPOOL_ENTRY_SIZE, from_msg, fragment_length);
Andrew Walbrane908c4a2019-12-02 17:13:47 +00001953
1954 /* The sender must match the caller. */
1955 if (memory_region->sender != from->id) {
Andrew Walbran5de9c3d2020-02-10 13:35:29 +00001956 dlog_verbose("Memory region sender doesn't match caller.\n");
Andrew Walbranb5ab43c2020-04-30 11:32:54 +01001957 ret = ffa_error(FFA_INVALID_PARAMETERS);
Andrew Walbran5de9c3d2020-02-10 13:35:29 +00001958 goto out;
Andrew Walbrane908c4a2019-12-02 17:13:47 +00001959 }
1960
Andrew Walbrana65a1322020-04-06 19:32:32 +01001961 if (memory_region->receiver_count != 1) {
Andrew Walbrane908c4a2019-12-02 17:13:47 +00001962 /* Hafnium doesn't support multi-way memory sharing for now. */
Andrew Walbran5de9c3d2020-02-10 13:35:29 +00001963 dlog_verbose(
1964 "Multi-way memory sharing not supported (got %d "
Andrew Walbrana65a1322020-04-06 19:32:32 +01001965 "endpoint memory access descriptors, expected 1).\n",
1966 memory_region->receiver_count);
Andrew Walbranb5ab43c2020-04-30 11:32:54 +01001967 ret = ffa_error(FFA_INVALID_PARAMETERS);
Andrew Walbran5de9c3d2020-02-10 13:35:29 +00001968 goto out;
Andrew Walbrane908c4a2019-12-02 17:13:47 +00001969 }
1970
1971 /*
1972 * Ensure that the receiver VM exists and isn't the same as the sender.
1973 */
Andrew Walbrana65a1322020-04-06 19:32:32 +01001974 to = vm_find(memory_region->receivers[0].receiver_permissions.receiver);
Andrew Walbrane908c4a2019-12-02 17:13:47 +00001975 if (to == NULL || to == from) {
Andrew Walbran5de9c3d2020-02-10 13:35:29 +00001976 dlog_verbose("Invalid receiver.\n");
Andrew Walbranb5ab43c2020-04-30 11:32:54 +01001977 ret = ffa_error(FFA_INVALID_PARAMETERS);
Andrew Walbran5de9c3d2020-02-10 13:35:29 +00001978 goto out;
1979 }
1980
1981 if (to->id == HF_TEE_VM_ID) {
1982 /*
1983 * The 'to' VM lock is only needed in the case that it is the
1984 * TEE VM.
1985 */
1986 struct two_vm_locked vm_to_from_lock = vm_lock_both(to, from);
1987
1988 if (msg_receiver_busy(vm_to_from_lock.vm1, from, false)) {
Andrew Walbranb5ab43c2020-04-30 11:32:54 +01001989 ret = ffa_error(FFA_BUSY);
Andrew Walbran5de9c3d2020-02-10 13:35:29 +00001990 goto out_unlock;
1991 }
1992
Andrew Walbran1a86aa92020-05-15 17:22:28 +01001993 ret = ffa_memory_tee_send(
1994 vm_to_from_lock.vm2, vm_to_from_lock.vm1, memory_region,
1995 length, fragment_length, share_func, &api_page_pool);
1996 /*
1997 * ffa_tee_memory_send takes ownership of the memory_region, so
1998 * make sure we don't free it.
1999 */
2000 memory_region = NULL;
Andrew Walbran5de9c3d2020-02-10 13:35:29 +00002001
2002 out_unlock:
2003 vm_unlock(&vm_to_from_lock.vm1);
2004 vm_unlock(&vm_to_from_lock.vm2);
2005 } else {
2006 struct vm_locked from_locked = vm_lock(from);
2007
Andrew Walbran1a86aa92020-05-15 17:22:28 +01002008 ret = ffa_memory_send(from_locked, memory_region, length,
2009 fragment_length, share_func,
2010 &api_page_pool);
Andrew Walbran5de9c3d2020-02-10 13:35:29 +00002011 /*
Andrew Walbranb5ab43c2020-04-30 11:32:54 +01002012 * ffa_memory_send takes ownership of the memory_region, so
Andrew Walbran5de9c3d2020-02-10 13:35:29 +00002013 * make sure we don't free it.
2014 */
2015 memory_region = NULL;
2016
2017 vm_unlock(&from_locked);
2018 }
2019
2020out:
2021 if (memory_region != NULL) {
2022 mpool_free(&api_page_pool, memory_region);
2023 }
2024
2025 return ret;
2026}
2027
Andrew Walbranb5ab43c2020-04-30 11:32:54 +01002028struct ffa_value api_ffa_mem_retrieve_req(uint32_t length,
2029 uint32_t fragment_length,
2030 ipaddr_t address, uint32_t page_count,
2031 struct vcpu *current)
Andrew Walbran5de9c3d2020-02-10 13:35:29 +00002032{
2033 struct vm *to = current->vm;
2034 struct vm_locked to_locked;
2035 const void *to_msg;
Andrew Walbranb5ab43c2020-04-30 11:32:54 +01002036 struct ffa_memory_region *retrieve_request;
Andrew Walbran5de9c3d2020-02-10 13:35:29 +00002037 uint32_t message_buffer_size;
Andrew Walbranb5ab43c2020-04-30 11:32:54 +01002038 struct ffa_value ret;
Andrew Walbran5de9c3d2020-02-10 13:35:29 +00002039
2040 if (ipa_addr(address) != 0 || page_count != 0) {
2041 /*
2042 * Hafnium only supports passing the descriptor in the TX
2043 * mailbox.
2044 */
Andrew Walbranb5ab43c2020-04-30 11:32:54 +01002045 return ffa_error(FFA_INVALID_PARAMETERS);
Andrew Walbrane908c4a2019-12-02 17:13:47 +00002046 }
2047
Andrew Walbrana65a1322020-04-06 19:32:32 +01002048 if (fragment_length != length) {
2049 dlog_verbose("Fragmentation not yet supported.\n");
Andrew Walbranb5ab43c2020-04-30 11:32:54 +01002050 return ffa_error(FFA_INVALID_PARAMETERS);
Andrew Walbran5de9c3d2020-02-10 13:35:29 +00002051 }
Andrew Walbrane908c4a2019-12-02 17:13:47 +00002052
Andrew Walbran5de9c3d2020-02-10 13:35:29 +00002053 retrieve_request =
Andrew Walbranb5ab43c2020-04-30 11:32:54 +01002054 (struct ffa_memory_region *)cpu_get_buffer(current->cpu);
Andrew Walbran5de9c3d2020-02-10 13:35:29 +00002055 message_buffer_size = cpu_get_buffer_size(current->cpu);
2056 if (length > HF_MAILBOX_SIZE || length > message_buffer_size) {
2057 dlog_verbose("Retrieve request too long.\n");
Andrew Walbranb5ab43c2020-04-30 11:32:54 +01002058 return ffa_error(FFA_INVALID_PARAMETERS);
Andrew Walbran5de9c3d2020-02-10 13:35:29 +00002059 }
2060
2061 to_locked = vm_lock(to);
2062 to_msg = to->mailbox.send;
2063
2064 if (to_msg == NULL) {
2065 dlog_verbose("TX buffer not setup.\n");
Andrew Walbranb5ab43c2020-04-30 11:32:54 +01002066 ret = ffa_error(FFA_INVALID_PARAMETERS);
Andrew Walbran5de9c3d2020-02-10 13:35:29 +00002067 goto out;
2068 }
2069
2070 /*
2071 * Copy the retrieve request descriptor to an internal buffer, so that
2072 * the caller can't change it underneath us.
2073 */
2074 memcpy_s(retrieve_request, message_buffer_size, to_msg, length);
2075
2076 if (msg_receiver_busy(to_locked, NULL, false)) {
2077 /*
2078 * Can't retrieve memory information if the mailbox is not
2079 * available.
2080 */
2081 dlog_verbose("RX buffer not ready.\n");
Andrew Walbranb5ab43c2020-04-30 11:32:54 +01002082 ret = ffa_error(FFA_BUSY);
Andrew Walbrane908c4a2019-12-02 17:13:47 +00002083 goto out;
2084 }
2085
Andrew Walbranb5ab43c2020-04-30 11:32:54 +01002086 ret = ffa_memory_retrieve(to_locked, retrieve_request, length,
2087 &api_page_pool);
Andrew Walbrane908c4a2019-12-02 17:13:47 +00002088
2089out:
Andrew Walbran5de9c3d2020-02-10 13:35:29 +00002090 vm_unlock(&to_locked);
2091 return ret;
2092}
2093
Andrew Walbranb5ab43c2020-04-30 11:32:54 +01002094struct ffa_value api_ffa_mem_relinquish(struct vcpu *current)
Andrew Walbran5de9c3d2020-02-10 13:35:29 +00002095{
2096 struct vm *from = current->vm;
2097 struct vm_locked from_locked;
2098 const void *from_msg;
Andrew Walbranb5ab43c2020-04-30 11:32:54 +01002099 struct ffa_mem_relinquish *relinquish_request;
Andrew Walbran5de9c3d2020-02-10 13:35:29 +00002100 uint32_t message_buffer_size;
Andrew Walbranb5ab43c2020-04-30 11:32:54 +01002101 struct ffa_value ret;
Andrew Walbran5de9c3d2020-02-10 13:35:29 +00002102 uint32_t length;
2103
2104 from_locked = vm_lock(from);
2105 from_msg = from->mailbox.send;
2106
2107 if (from_msg == NULL) {
2108 dlog_verbose("TX buffer not setup.\n");
Andrew Walbranb5ab43c2020-04-30 11:32:54 +01002109 ret = ffa_error(FFA_INVALID_PARAMETERS);
Andrew Walbran5de9c3d2020-02-10 13:35:29 +00002110 goto out;
2111 }
2112
2113 /*
2114 * Calculate length from relinquish descriptor before copying. We will
2115 * check again later to make sure it hasn't changed.
2116 */
Andrew Walbranb5ab43c2020-04-30 11:32:54 +01002117 length = sizeof(struct ffa_mem_relinquish) +
2118 ((struct ffa_mem_relinquish *)from_msg)->endpoint_count *
2119 sizeof(ffa_vm_id_t);
Andrew Walbran5de9c3d2020-02-10 13:35:29 +00002120 /*
2121 * Copy the relinquish descriptor to an internal buffer, so that the
2122 * caller can't change it underneath us.
2123 */
2124 relinquish_request =
Andrew Walbranb5ab43c2020-04-30 11:32:54 +01002125 (struct ffa_mem_relinquish *)cpu_get_buffer(current->cpu);
Andrew Walbran5de9c3d2020-02-10 13:35:29 +00002126 message_buffer_size = cpu_get_buffer_size(current->cpu);
2127 if (length > HF_MAILBOX_SIZE || length > message_buffer_size) {
2128 dlog_verbose("Relinquish message too long.\n");
Andrew Walbranb5ab43c2020-04-30 11:32:54 +01002129 ret = ffa_error(FFA_INVALID_PARAMETERS);
Andrew Walbran5de9c3d2020-02-10 13:35:29 +00002130 goto out;
2131 }
2132 memcpy_s(relinquish_request, message_buffer_size, from_msg, length);
2133
Andrew Walbranb5ab43c2020-04-30 11:32:54 +01002134 if (sizeof(struct ffa_mem_relinquish) +
2135 relinquish_request->endpoint_count * sizeof(ffa_vm_id_t) !=
Andrew Walbran5de9c3d2020-02-10 13:35:29 +00002136 length) {
2137 dlog_verbose(
2138 "Endpoint count changed while copying to internal "
2139 "buffer.\n");
Andrew Walbranb5ab43c2020-04-30 11:32:54 +01002140 ret = ffa_error(FFA_INVALID_PARAMETERS);
Andrew Walbran5de9c3d2020-02-10 13:35:29 +00002141 goto out;
2142 }
2143
Andrew Walbranb5ab43c2020-04-30 11:32:54 +01002144 ret = ffa_memory_relinquish(from_locked, relinquish_request,
2145 &api_page_pool);
Andrew Walbran5de9c3d2020-02-10 13:35:29 +00002146
2147out:
2148 vm_unlock(&from_locked);
2149 return ret;
2150}
2151
Andrew Walbranb5ab43c2020-04-30 11:32:54 +01002152struct ffa_value api_ffa_mem_reclaim(ffa_memory_handle_t handle,
2153 ffa_memory_region_flags_t flags,
2154 struct vcpu *current)
Andrew Walbran5de9c3d2020-02-10 13:35:29 +00002155{
2156 struct vm *to = current->vm;
Andrew Walbranb5ab43c2020-04-30 11:32:54 +01002157 struct ffa_value ret;
Andrew Walbran5de9c3d2020-02-10 13:35:29 +00002158
J-Alves917d2f22020-10-30 18:39:30 +00002159 if (ffa_memory_handle_allocated_by_current_world(handle)) {
Andrew Walbran290b0c92020-02-03 16:37:14 +00002160 struct vm_locked to_locked = vm_lock(to);
2161
Andrew Walbranca808b12020-05-15 17:22:28 +01002162 ret = ffa_memory_reclaim(to_locked, handle, flags,
Andrew Walbranb5ab43c2020-04-30 11:32:54 +01002163 &api_page_pool);
Andrew Walbran5de9c3d2020-02-10 13:35:29 +00002164
Andrew Walbran290b0c92020-02-03 16:37:14 +00002165 vm_unlock(&to_locked);
2166 } else {
2167 struct vm *from = vm_find(HF_TEE_VM_ID);
2168 struct two_vm_locked vm_to_from_lock = vm_lock_both(to, from);
2169
Andrew Walbranca808b12020-05-15 17:22:28 +01002170 ret = ffa_memory_tee_reclaim(vm_to_from_lock.vm1,
2171 vm_to_from_lock.vm2, handle, flags,
2172 &api_page_pool);
2173
2174 vm_unlock(&vm_to_from_lock.vm1);
2175 vm_unlock(&vm_to_from_lock.vm2);
2176 }
2177
2178 return ret;
2179}
2180
2181struct ffa_value api_ffa_mem_frag_rx(ffa_memory_handle_t handle,
2182 uint32_t fragment_offset,
2183 ffa_vm_id_t sender_vm_id,
2184 struct vcpu *current)
2185{
2186 struct vm *to = current->vm;
2187 struct vm_locked to_locked;
2188 struct ffa_value ret;
2189
2190 /* Sender ID MBZ at virtual instance. */
2191 if (sender_vm_id != 0) {
2192 return ffa_error(FFA_INVALID_PARAMETERS);
2193 }
2194
2195 to_locked = vm_lock(to);
2196
2197 if (msg_receiver_busy(to_locked, NULL, false)) {
2198 /*
2199 * Can't retrieve memory information if the mailbox is not
2200 * available.
2201 */
2202 dlog_verbose("RX buffer not ready.\n");
2203 ret = ffa_error(FFA_BUSY);
2204 goto out;
2205 }
2206
2207 ret = ffa_memory_retrieve_continue(to_locked, handle, fragment_offset,
2208 &api_page_pool);
2209
2210out:
2211 vm_unlock(&to_locked);
2212 return ret;
2213}
2214
2215struct ffa_value api_ffa_mem_frag_tx(ffa_memory_handle_t handle,
2216 uint32_t fragment_length,
2217 ffa_vm_id_t sender_vm_id,
2218 struct vcpu *current)
2219{
2220 struct vm *from = current->vm;
2221 const void *from_msg;
2222 void *fragment_copy;
2223 struct ffa_value ret;
2224
2225 /* Sender ID MBZ at virtual instance. */
2226 if (sender_vm_id != 0) {
2227 return ffa_error(FFA_INVALID_PARAMETERS);
2228 }
2229
2230 /*
2231 * Check that the sender has configured its send buffer. If the TX
2232 * mailbox at from_msg is configured (i.e. from_msg != NULL) then it can
2233 * be safely accessed after releasing the lock since the TX mailbox
2234 * address can only be configured once.
2235 */
2236 sl_lock(&from->lock);
2237 from_msg = from->mailbox.send;
2238 sl_unlock(&from->lock);
2239
2240 if (from_msg == NULL) {
2241 return ffa_error(FFA_INVALID_PARAMETERS);
2242 }
2243
2244 /*
2245 * Copy the fragment to a fresh page from the memory pool. This prevents
2246 * the sender from changing it underneath us, and also lets us keep it
2247 * around in the share state table if needed.
2248 */
2249 if (fragment_length > HF_MAILBOX_SIZE ||
2250 fragment_length > MM_PPOOL_ENTRY_SIZE) {
2251 dlog_verbose(
2252 "Fragment length %d larger than mailbox size %d.\n",
2253 fragment_length, HF_MAILBOX_SIZE);
2254 return ffa_error(FFA_INVALID_PARAMETERS);
2255 }
2256 if (fragment_length < sizeof(struct ffa_memory_region_constituent) ||
2257 fragment_length % sizeof(struct ffa_memory_region_constituent) !=
2258 0) {
2259 dlog_verbose("Invalid fragment length %d.\n", fragment_length);
2260 return ffa_error(FFA_INVALID_PARAMETERS);
2261 }
2262 fragment_copy = mpool_alloc(&api_page_pool);
2263 if (fragment_copy == NULL) {
2264 dlog_verbose("Failed to allocate fragment copy.\n");
2265 return ffa_error(FFA_NO_MEMORY);
2266 }
2267 memcpy_s(fragment_copy, MM_PPOOL_ENTRY_SIZE, from_msg, fragment_length);
2268
2269 /*
2270 * Hafnium doesn't support fragmentation of memory retrieve requests
2271 * (because it doesn't support caller-specified mappings, so a request
2272 * will never be larger than a single page), so this must be part of a
2273 * memory send (i.e. donate, lend or share) request.
2274 *
2275 * We can tell from the handle whether the memory transaction is for the
2276 * TEE or not.
2277 */
2278 if ((handle & FFA_MEMORY_HANDLE_ALLOCATOR_MASK) ==
2279 FFA_MEMORY_HANDLE_ALLOCATOR_HYPERVISOR) {
2280 struct vm_locked from_locked = vm_lock(from);
2281
2282 ret = ffa_memory_send_continue(from_locked, fragment_copy,
2283 fragment_length, handle,
2284 &api_page_pool);
2285 /*
2286 * `ffa_memory_send_continue` takes ownership of the
2287 * fragment_copy, so we don't need to free it here.
2288 */
2289 vm_unlock(&from_locked);
2290 } else {
2291 struct vm *to = vm_find(HF_TEE_VM_ID);
2292 struct two_vm_locked vm_to_from_lock = vm_lock_both(to, from);
2293
2294 /*
2295 * The TEE RX buffer state is checked in
2296 * `ffa_memory_tee_send_continue` rather than here, as we need
2297 * to return `FFA_MEM_FRAG_RX` with the current offset rather
2298 * than FFA_ERROR FFA_BUSY in case it is busy.
2299 */
2300
2301 ret = ffa_memory_tee_send_continue(
2302 vm_to_from_lock.vm2, vm_to_from_lock.vm1, fragment_copy,
2303 fragment_length, handle, &api_page_pool);
2304 /*
2305 * `ffa_memory_tee_send_continue` takes ownership of the
2306 * fragment_copy, so we don't need to free it here.
2307 */
Andrew Walbran290b0c92020-02-03 16:37:14 +00002308
2309 vm_unlock(&vm_to_from_lock.vm1);
2310 vm_unlock(&vm_to_from_lock.vm2);
2311 }
Andrew Walbrane908c4a2019-12-02 17:13:47 +00002312
2313 return ret;
2314}
Max Shvetsov40108e72020-08-27 12:39:50 +01002315
2316struct ffa_value api_ffa_secondary_ep_register(ipaddr_t entry_point,
2317 struct vcpu *current)
2318{
2319 struct vm_locked vm_locked;
2320
2321 vm_locked = vm_lock(current->vm);
2322 vm_locked.vm->secondary_ep = entry_point;
2323 vm_unlock(&vm_locked);
2324
2325 return (struct ffa_value){.func = FFA_SUCCESS_32};
2326}