fix: add headers to ffa_memory_internal.h
In the absence of the headers the clang-tidy issues warnings
for missing type definition.
Patch also drops double definition of function
ffa_send_check_update.
Signed-off-by: J-Alves <joao.alves@arm.com>
Change-Id: I227f575ddf5f9e766e8e5f6f950b4c06e101acb9
diff --git a/inc/hf/ffa_memory_internal.h b/inc/hf/ffa_memory_internal.h
index dbf61582..dac2c94 100644
--- a/inc/hf/ffa_memory_internal.h
+++ b/inc/hf/ffa_memory_internal.h
@@ -13,6 +13,16 @@
*/
#define MAX_MEM_SHARES 100
+#include <stdbool.h>
+#include <stdint.h>
+
+#include "hf/check.h"
+#include "hf/ffa_memory.h"
+#include "hf/mpool.h"
+#include "hf/vm.h"
+
+#include "vmapi/hf/ffa.h"
+
/**
* The maximum number of fragments into which a memory sharing message may be
* broken.
@@ -153,13 +163,6 @@
struct share_states_locked share_states, ffa_memory_handle_t handle,
struct ffa_memory_share_state **share_state_ret, ffa_vm_id_t from_vm_id,
struct mpool *page_pool);
-struct ffa_value ffa_send_check_update(
- struct vm_locked from_locked,
- struct ffa_memory_region_constituent **fragments,
- uint32_t *fragment_constituent_counts, uint32_t fragment_count,
- uint32_t share_func, struct ffa_memory_access *receivers,
- uint32_t receivers_count, struct mpool *page_pool, bool clear,
- uint32_t *orig_from_mode_ret);
struct ffa_value ffa_retrieve_check_transition(
struct vm_locked to, uint32_t share_func,
struct ffa_memory_region_constituent **fragments,