blob: cacc1b279920806f4d7ee2d114b6d6aeb1ab6fa9 [file] [log] [blame]
/*
* Copyright 2021 The Hafnium Authors.
*
* Use of this source code is governed by a BSD-style
* license that can be found in the LICENSE file or at
* https://opensource.org/licenses/BSD-3-Clause.
*/
#include "hf/ffa.h"
#include "hf/vcpu.h"
ffa_vm_id_t arch_ffa_spmc_id_get(void)
{
return HF_SPMC_VM_ID;
}
void plat_ffa_log_init(void)
{
}
bool plat_ffa_is_direct_request_valid(struct vcpu *current,
ffa_vm_id_t sender_vm_id,
ffa_vm_id_t receiver_vm_id)
{
(void)current;
(void)sender_vm_id;
(void)receiver_vm_id;
return true;
}
bool plat_ffa_is_direct_response_valid(struct vcpu *current,
ffa_vm_id_t sender_vm_id,
ffa_vm_id_t receiver_vm_id)
{
(void)current;
(void)sender_vm_id;
(void)receiver_vm_id;
return true;
}
bool plat_ffa_direct_request_forward(ffa_vm_id_t receiver_vm_id,
struct ffa_value args,
struct ffa_value *ret)
{
(void)receiver_vm_id;
(void)args;
(void)ret;
return false;
}
ffa_memory_handle_t plat_ffa_memory_handle_make(uint64_t index)
{
return index;
}
bool plat_ffa_memory_handle_allocated_by_current_world(
ffa_memory_handle_t handle)
{
(void)handle;
return false;
}