blob: 2b55f1bc139e7be69e8ae9c21d60640f570e3afb [file] [log] [blame]
Daniel Boulbyb2fb80e2021-02-03 15:09:23 +00001/*
2 * Copyright 2021 The Hafnium Authors.
3 *
4 * Use of this source code is governed by a BSD-style
5 * license that can be found in the LICENSE file or at
6 * https://opensource.org/licenses/BSD-3-Clause.
7 */
8
9#pragma once
10
11#include "hf/ffa.h"
Olivier Deprez55a189e2021-06-09 15:45:27 +020012#include "hf/vcpu.h"
J-Alvesc003a7a2021-03-18 13:06:53 +000013#include "hf/vm.h"
Daniel Boulbyb2fb80e2021-02-03 15:09:23 +000014
Daniel Boulby87b2dc82021-08-04 14:07:43 +010015/** Returns information on features that are specific to the platform. */
16struct ffa_value plat_ffa_features(uint32_t function_id);
Daniel Boulbyb2fb80e2021-02-03 15:09:23 +000017/** Returns the SPMC ID. */
18struct ffa_value plat_ffa_spmc_id_get(void);
Olivier Deprez55a189e2021-06-09 15:45:27 +020019
20void plat_ffa_log_init(void);
21void plat_ffa_init(bool tee_enabled);
22bool plat_ffa_is_direct_request_valid(struct vcpu *current,
23 ffa_vm_id_t sender_vm_id,
24 ffa_vm_id_t receiver_vm_id);
25bool plat_ffa_is_direct_response_valid(struct vcpu *current,
26 ffa_vm_id_t sender_vm_id,
27 ffa_vm_id_t receiver_vm_id);
28bool plat_ffa_direct_request_forward(ffa_vm_id_t receiver_vm_id,
29 struct ffa_value args,
30 struct ffa_value *ret);
J-Alvesa0f317d2021-06-09 13:31:59 +010031bool plat_ffa_is_notifications_create_valid(struct vcpu *current,
32 ffa_vm_id_t vm_id);
J-Alvesc003a7a2021-03-18 13:06:53 +000033
34bool plat_ffa_is_notifications_bind_valid(struct vcpu *current,
35 ffa_vm_id_t sender_id,
36 ffa_vm_id_t receiver_id);
37
Olivier Deprez55a189e2021-06-09 15:45:27 +020038/**
Maksims Svecovs9ddf86a2021-05-06 17:17:21 +010039 * Checks whether managed exit is supported by given SP.
40 */
41bool plat_ffa_vm_managed_exit_supported(struct vm *vm);
42
43/**
Olivier Deprez55a189e2021-06-09 15:45:27 +020044 * Encodes memory handle according to section 5.10.2 of the FF-A v1.0 spec.
45 */
46ffa_memory_handle_t plat_ffa_memory_handle_make(uint64_t index);
47
48/**
49 * Checks whether given handle was allocated by current world, according to
50 * handle encoding rules.
51 */
52bool plat_ffa_memory_handle_allocated_by_current_world(
53 ffa_memory_handle_t handle);
Maksims Svecovsb596eab2021-04-27 00:52:27 +010054
55/**
56 * Return the FF-A partition info VM/SP properties given the VM id.
57 */
58ffa_partition_properties_t plat_ffa_partition_properties(
59 ffa_vm_id_t current_id, const struct vm *target);
J-Alves4ef6e842021-03-18 12:47:01 +000060
61/**
62 * Initializes the NWd VM structures for Notifications support.
63 */
64void plat_ffa_vm_init(void);
J-Alvesa0f317d2021-06-09 13:31:59 +010065
66/**
67 * Get NWd VM's structure.
68 */
69struct vm_locked plat_ffa_vm_find_locked(ffa_vm_id_t vm_id);
70
71/**
72 * Creates a bitmap for the VM of the given ID.
73 */
74struct ffa_value plat_ffa_notifications_bitmap_create(
75 ffa_vm_id_t vm_id, ffa_vcpu_count_t vcpu_count);
76
77/**
78 * Destroys the notifications bitmap for the given VM ID.
79 */
80struct ffa_value plat_ffa_notifications_bitmap_destroy(ffa_vm_id_t vm_id);
J-Alvesc003a7a2021-03-18 13:06:53 +000081
82/**
83 * Helper to get the struct notifications, depending on the sender's id.
84 */
85struct notifications *plat_ffa_vm_get_notifications_senders_world(
86 struct vm_locked vm_locked, ffa_vm_id_t sender_id);
87
88/**
89 * Helper to check if FF-A ID is a VM ID.
90 */
91bool plat_ffa_is_vm_id(ffa_vm_id_t vm_id);
Raghu Krishnamurthy62f97a72021-07-27 02:14:59 -070092
93/**
94 * Forward normal world calls of FFA_RUN ABI to other world.
95 */
96bool plat_ffa_run_forward(ffa_vm_id_t vm_id, ffa_vcpu_index_t vcpu_idx,
97 struct ffa_value *ret);