blob: cacc1b279920806f4d7ee2d114b6d6aeb1ab6fa9 [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#include "hf/ffa.h"
10
Olivier Deprez55a189e2021-06-09 15:45:27 +020011#include "hf/vcpu.h"
Daniel Boulbyb2fb80e2021-02-03 15:09:23 +000012
13ffa_vm_id_t arch_ffa_spmc_id_get(void)
14{
15 return HF_SPMC_VM_ID;
16}
Olivier Deprez55a189e2021-06-09 15:45:27 +020017
18void plat_ffa_log_init(void)
19{
20}
21
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)
25{
26 (void)current;
27 (void)sender_vm_id;
28 (void)receiver_vm_id;
29
30 return true;
31}
32
33bool plat_ffa_is_direct_response_valid(struct vcpu *current,
34 ffa_vm_id_t sender_vm_id,
35 ffa_vm_id_t receiver_vm_id)
36{
37 (void)current;
38 (void)sender_vm_id;
39 (void)receiver_vm_id;
40
41 return true;
42}
43
44bool plat_ffa_direct_request_forward(ffa_vm_id_t receiver_vm_id,
45 struct ffa_value args,
46 struct ffa_value *ret)
47{
48 (void)receiver_vm_id;
49 (void)args;
50 (void)ret;
51 return false;
52}
53
54ffa_memory_handle_t plat_ffa_memory_handle_make(uint64_t index)
55{
56 return index;
57}
58
59bool plat_ffa_memory_handle_allocated_by_current_world(
60 ffa_memory_handle_t handle)
61{
62 (void)handle;
63 return false;
64}