blob: eba1c9e1ad5d6c6b5651e2b3b32725e7f3beadb1 [file] [log] [blame]
J-Alves7581c382020-05-07 18:34:20 +01001/*
Max Shvetsov103e0562021-02-04 16:58:31 +00002 * Copyright (c) 2018-2021, Arm Limited. All rights reserved.
J-Alves7581c382020-05-07 18:34:20 +01003 *
4 * SPDX-License-Identifier: BSD-3-Clause
5 */
6
7#ifndef FFA_HELPERS_H
8#define FFA_HELPERS_H
9
J-Alves8f08a052020-05-26 17:14:40 +010010#include <ffa_svc.h>
J-Alves7581c382020-05-07 18:34:20 +010011#include <tftf_lib.h>
12#include <utils_def.h>
13
14/* This error code must be different to the ones used by FFA */
15#define FFA_TFTF_ERROR -42
16
Daniel Boulbye79d2072021-03-03 11:34:53 +000017typedef unsigned short ffa_id_t;
J-Alves5aecd982020-06-11 10:25:33 +010018typedef unsigned short ffa_vm_count_t;
19typedef unsigned short ffa_vcpu_count_t;
J-Alvesf3a393c2020-10-23 16:00:39 +010020typedef uint64_t ffa_memory_handle_t;
21/** Flags to indicate properties of receivers during memory region retrieval. */
22typedef uint8_t ffa_memory_receiver_flags_t;
J-Alves5aecd982020-06-11 10:25:33 +010023
J-Alvesd708c032020-11-19 12:14:21 +000024struct ffa_uuid {
25 const uint32_t uuid[4];
26};
27
J-Alves7581c382020-05-07 18:34:20 +010028#ifndef __ASSEMBLY__
29
J-Alves18c28052021-03-09 09:58:53 +000030#include <cassert.h>
J-Alves7581c382020-05-07 18:34:20 +010031#include <stdint.h>
32
Max Shvetsov0b7d25f2021-03-05 13:46:42 +000033/** Partition property: partition supports receipt of direct requests. */
34#define FFA_PARTITION_DIRECT_REQ_RECV 0x1
35
36/** Partition property: partition can send direct requests. */
37#define FFA_PARTITION_DIRECT_REQ_SEND 0x2
38
39/** Partition property: partition can send and receive indirect messages. */
40#define FFA_PARTITION_INDIRECT_MSG 0x4
41
Max Shvetsovc32f4782020-06-23 09:41:15 +010042struct ffa_partition_info {
43 /** The ID of the VM the information is about */
Daniel Boulbye79d2072021-03-03 11:34:53 +000044 ffa_id_t id;
Max Shvetsovc32f4782020-06-23 09:41:15 +010045 /** The number of execution contexts implemented by the partition */
46 uint16_t exec_context;
47 /** The Partition's properties, e.g. supported messaging methods */
48 uint32_t properties;
49};
50
J-Alvesf156ae92021-10-08 12:10:05 +010051static inline uint32_t ffa_func_id(smc_ret_values val)
52{
J-Alves6cb21d92021-01-07 15:18:12 +000053 return (uint32_t) val.ret0;
54}
55
J-Alvesf156ae92021-10-08 12:10:05 +010056static inline int32_t ffa_error_code(smc_ret_values val)
57{
J-Alves6cb21d92021-01-07 15:18:12 +000058 return (int32_t) val.ret2;
59}
60
Daniel Boulby198deda2021-03-03 11:35:25 +000061static inline ffa_id_t ffa_endpoint_id(smc_ret_values val) {
62 return (ffa_id_t) val.ret2 & 0xffff;
63}
64
J-Alves18c28052021-03-09 09:58:53 +000065typedef uint64_t ffa_notification_bitmap_t;
66
67#define FFA_NOTIFICATION(ID) (UINT64_C(1) << ID)
68
69#define MAX_FFA_NOTIFICATIONS UINT32_C(64)
70
71#define FFA_NOTIFICATIONS_FLAG_PER_VCPU UINT32_C(0x1 << 0)
72
73#define FFA_NOTIFICATIONS_FLAGS_VCPU_ID(id) UINT32_C((id & 0xFFFF) << 16)
74
J-Alvesf156ae92021-10-08 12:10:05 +010075#define FFA_NOTIFICATIONS_FLAG_BITMAP_SP UINT32_C(0x1 << 0)
76#define FFA_NOTIFICATIONS_FLAG_BITMAP_VM UINT32_C(0x1 << 1)
77#define FFA_NOTIFICATIONS_FLAG_BITMAP_SPM UINT32_C(0x1 << 2)
78#define FFA_NOTIFICATIONS_FLAG_BITMAP_HYP UINT32_C(0x1 << 3)
79
80#define FFA_NOTIFICATIONS_BITMAP(lo, hi) \
81 (ffa_notification_bitmap_t)(lo) | \
82 (((ffa_notification_bitmap_t)hi << 32) & 0xFFFFFFFF00000000ULL)
83
84#define FFA_NOTIFICATIONS_FLAGS_VCPU_ID(id) UINT32_C((id & 0xFFFF) << 16)
85
86static inline ffa_notification_bitmap_t ffa_notifications_get_from_sp(smc_ret_values val)
87{
88 return FFA_NOTIFICATIONS_BITMAP(val.ret2, val.ret3);
89}
90
91static inline ffa_notification_bitmap_t ffa_notifications_get_from_vm(smc_ret_values val)
92{
93 return FFA_NOTIFICATIONS_BITMAP(val.ret4, val.ret5);
94}
95
J-Alvesf3a393c2020-10-23 16:00:39 +010096enum ffa_data_access {
97 FFA_DATA_ACCESS_NOT_SPECIFIED,
98 FFA_DATA_ACCESS_RO,
99 FFA_DATA_ACCESS_RW,
100 FFA_DATA_ACCESS_RESERVED,
101};
102
103enum ffa_instruction_access {
104 FFA_INSTRUCTION_ACCESS_NOT_SPECIFIED,
105 FFA_INSTRUCTION_ACCESS_NX,
106 FFA_INSTRUCTION_ACCESS_X,
107 FFA_INSTRUCTION_ACCESS_RESERVED,
108};
109
110enum ffa_memory_type {
111 FFA_MEMORY_NOT_SPECIFIED_MEM,
112 FFA_MEMORY_DEVICE_MEM,
113 FFA_MEMORY_NORMAL_MEM,
114};
115
116enum ffa_memory_cacheability {
117 FFA_MEMORY_CACHE_RESERVED = 0x0,
118 FFA_MEMORY_CACHE_NON_CACHEABLE = 0x1,
119 FFA_MEMORY_CACHE_RESERVED_1 = 0x2,
120 FFA_MEMORY_CACHE_WRITE_BACK = 0x3,
121 FFA_MEMORY_DEV_NGNRNE = 0x0,
122 FFA_MEMORY_DEV_NGNRE = 0x1,
123 FFA_MEMORY_DEV_NGRE = 0x2,
124 FFA_MEMORY_DEV_GRE = 0x3,
125};
126
127enum ffa_memory_shareability {
128 FFA_MEMORY_SHARE_NON_SHAREABLE,
129 FFA_MEMORY_SHARE_RESERVED,
130 FFA_MEMORY_OUTER_SHAREABLE,
131 FFA_MEMORY_INNER_SHAREABLE,
132};
133
134typedef uint8_t ffa_memory_access_permissions_t;
135
136/**
137 * This corresponds to table "Memory region attributes descriptor" of the FF-A
138 * 1.0 specification.
139 */
140typedef uint8_t ffa_memory_attributes_t;
141
142#define FFA_DATA_ACCESS_OFFSET (0x0U)
143#define FFA_DATA_ACCESS_MASK ((0x3U) << FFA_DATA_ACCESS_OFFSET)
144
145#define FFA_INSTRUCTION_ACCESS_OFFSET (0x2U)
146#define FFA_INSTRUCTION_ACCESS_MASK ((0x3U) << FFA_INSTRUCTION_ACCESS_OFFSET)
147
148#define FFA_MEMORY_TYPE_OFFSET (0x4U)
149#define FFA_MEMORY_TYPE_MASK ((0x3U) << FFA_MEMORY_TYPE_OFFSET)
150
151#define FFA_MEMORY_CACHEABILITY_OFFSET (0x2U)
152#define FFA_MEMORY_CACHEABILITY_MASK ((0x3U) << FFA_MEMORY_CACHEABILITY_OFFSET)
153
154#define FFA_MEMORY_SHAREABILITY_OFFSET (0x0U)
155#define FFA_MEMORY_SHAREABILITY_MASK ((0x3U) << FFA_MEMORY_SHAREABILITY_OFFSET)
156
157#define ATTR_FUNCTION_SET(name, container_type, offset, mask) \
158 static inline void ffa_set_##name##_attr(container_type *attr, \
159 const enum ffa_##name perm) \
160 { \
161 *attr = (*attr & ~(mask)) | ((perm << offset) & mask); \
162 }
163
164#define ATTR_FUNCTION_GET(name, container_type, offset, mask) \
165 static inline enum ffa_##name ffa_get_##name##_attr( \
166 container_type attr) \
167 { \
168 return (enum ffa_##name)((attr & mask) >> offset); \
169 }
170
171ATTR_FUNCTION_SET(data_access, ffa_memory_access_permissions_t,
172 FFA_DATA_ACCESS_OFFSET, FFA_DATA_ACCESS_MASK)
173ATTR_FUNCTION_GET(data_access, ffa_memory_access_permissions_t,
174 FFA_DATA_ACCESS_OFFSET, FFA_DATA_ACCESS_MASK)
175
176ATTR_FUNCTION_SET(instruction_access, ffa_memory_access_permissions_t,
177 FFA_INSTRUCTION_ACCESS_OFFSET, FFA_INSTRUCTION_ACCESS_MASK)
178ATTR_FUNCTION_GET(instruction_access, ffa_memory_access_permissions_t,
179 FFA_INSTRUCTION_ACCESS_OFFSET, FFA_INSTRUCTION_ACCESS_MASK)
180
181ATTR_FUNCTION_SET(memory_type, ffa_memory_attributes_t, FFA_MEMORY_TYPE_OFFSET,
182 FFA_MEMORY_TYPE_MASK)
183ATTR_FUNCTION_GET(memory_type, ffa_memory_attributes_t, FFA_MEMORY_TYPE_OFFSET,
184 FFA_MEMORY_TYPE_MASK)
185
186ATTR_FUNCTION_SET(memory_cacheability, ffa_memory_attributes_t,
187 FFA_MEMORY_CACHEABILITY_OFFSET, FFA_MEMORY_CACHEABILITY_MASK)
188ATTR_FUNCTION_GET(memory_cacheability, ffa_memory_attributes_t,
189 FFA_MEMORY_CACHEABILITY_OFFSET, FFA_MEMORY_CACHEABILITY_MASK)
190
191ATTR_FUNCTION_SET(memory_shareability, ffa_memory_attributes_t,
192 FFA_MEMORY_SHAREABILITY_OFFSET, FFA_MEMORY_SHAREABILITY_MASK)
193ATTR_FUNCTION_GET(memory_shareability, ffa_memory_attributes_t,
194 FFA_MEMORY_SHAREABILITY_OFFSET, FFA_MEMORY_SHAREABILITY_MASK)
195
196#define FFA_MEMORY_HANDLE_ALLOCATOR_MASK \
197 ((ffa_memory_handle_t)(UINT64_C(1) << 63))
198#define FFA_MEMORY_HANDLE_ALLOCATOR_HYPERVISOR \
199 ((ffa_memory_handle_t)(UINT64_C(1) << 63))
200#define FFA_MEMORY_HANDLE_INVALID (~UINT64_C(0))
201
202/**
203 * A set of contiguous pages which is part of a memory region. This corresponds
204 * to table "Constituent memory region descriptor" of the FFA 1.0 specification.
205 */
206struct ffa_memory_region_constituent {
207 /**
208 * The base IPA of the constituent memory region, aligned to 4 kiB page
209 * size granularity.
210 */
211 void *address;
212 /** The number of 4 kiB pages in the constituent memory region. */
213 uint32_t page_count;
214 /** Reserved field, must be 0. */
215 uint32_t reserved;
216};
217
218/**
219 * A set of pages comprising a memory region. This corresponds to table
220 * "Composite memory region descriptor" of the FFA 1.0 specification.
221 */
222struct ffa_composite_memory_region {
223 /**
224 * The total number of 4 kiB pages included in this memory region. This
225 * must be equal to the sum of page counts specified in each
226 * `ffa_memory_region_constituent`.
227 */
228 uint32_t page_count;
229 /**
230 * The number of constituents (`ffa_memory_region_constituent`)
231 * included in this memory region range.
232 */
233 uint32_t constituent_count;
234 /** Reserved field, must be 0. */
235 uint64_t reserved_0;
236 /** An array of `constituent_count` memory region constituents. */
237 struct ffa_memory_region_constituent constituents[];
238};
239
240/**
241 * This corresponds to table "Memory access permissions descriptor" of the FFA
242 * 1.0 specification.
243 */
244struct ffa_memory_region_attributes {
245 /** The ID of the VM to which the memory is being given or shared. */
Daniel Boulbye79d2072021-03-03 11:34:53 +0000246 ffa_id_t receiver;
J-Alvesf3a393c2020-10-23 16:00:39 +0100247 /**
248 * The permissions with which the memory region should be mapped in the
249 * receiver's page table.
250 */
251 ffa_memory_access_permissions_t permissions;
252 /**
253 * Flags used during FFA_MEM_RETRIEVE_REQ and FFA_MEM_RETRIEVE_RESP
254 * for memory regions with multiple borrowers.
255 */
256 ffa_memory_receiver_flags_t flags;
257};
258
259/** Flags to control the behaviour of a memory sharing transaction. */
260typedef uint32_t ffa_memory_region_flags_t;
261
262/**
263 * Clear memory region contents after unmapping it from the sender and before
264 * mapping it for any receiver.
265 */
266#define FFA_MEMORY_REGION_FLAG_CLEAR 0x1U
267
268/**
269 * Whether the hypervisor may time slice the memory sharing or retrieval
270 * operation.
271 */
272#define FFA_MEMORY_REGION_FLAG_TIME_SLICE 0x2U
273
274/**
275 * Whether the hypervisor should clear the memory region after the receiver
276 * relinquishes it or is aborted.
277 */
278#define FFA_MEMORY_REGION_FLAG_CLEAR_RELINQUISH 0x4U
279
280#define FFA_MEMORY_REGION_TRANSACTION_TYPE_MASK ((0x3U) << 3)
281#define FFA_MEMORY_REGION_TRANSACTION_TYPE_UNSPECIFIED ((0x0U) << 3)
282#define FFA_MEMORY_REGION_TRANSACTION_TYPE_SHARE ((0x1U) << 3)
283#define FFA_MEMORY_REGION_TRANSACTION_TYPE_LEND ((0x2U) << 3)
284#define FFA_MEMORY_REGION_TRANSACTION_TYPE_DONATE ((0x3U) << 3)
285
J-Alves0435cae2020-11-06 10:49:56 +0000286/** The maximum number of recipients a memory region may be sent to. */
287#define MAX_MEM_SHARE_RECIPIENTS 1U
288
J-Alvesf3a393c2020-10-23 16:00:39 +0100289/**
290 * This corresponds to table "Endpoint memory access descriptor" of the FFA 1.0
291 * specification.
292 */
293struct ffa_memory_access {
294 struct ffa_memory_region_attributes receiver_permissions;
295 /**
296 * Offset in bytes from the start of the outer `ffa_memory_region` to
297 * an `ffa_composite_memory_region` struct.
298 */
299 uint32_t composite_memory_region_offset;
300 uint64_t reserved_0;
301};
302
303/**
304 * Information about a set of pages which are being shared. This corresponds to
305 * table "Lend, donate or share memory transaction descriptor" of the FFA
306 * 1.0 specification. Note that it is also used for retrieve requests and
307 * responses.
308 */
309struct ffa_memory_region {
310 /**
311 * The ID of the VM which originally sent the memory region, i.e. the
312 * owner.
313 */
Daniel Boulbye79d2072021-03-03 11:34:53 +0000314 ffa_id_t sender;
J-Alvesf3a393c2020-10-23 16:00:39 +0100315 ffa_memory_attributes_t attributes;
316 /** Reserved field, must be 0. */
317 uint8_t reserved_0;
318 /** Flags to control behaviour of the transaction. */
319 ffa_memory_region_flags_t flags;
320 ffa_memory_handle_t handle;
321 /**
322 * An implementation defined value associated with the receiver and the
323 * memory region.
324 */
325 uint64_t tag;
326 /** Reserved field, must be 0. */
327 uint32_t reserved_1;
328 /**
329 * The number of `ffa_memory_access` entries included in this
330 * transaction.
331 */
332 uint32_t receiver_count;
333 /**
334 * An array of `attribute_count` endpoint memory access descriptors.
335 * Each one specifies a memory region offset, an endpoint and the
336 * attributes with which this memory region should be mapped in that
337 * endpoint's page table.
338 */
339 struct ffa_memory_access receivers[];
340};
341
342/**
343 * Descriptor used for FFA_MEM_RELINQUISH requests. This corresponds to table
344 * "Descriptor to relinquish a memory region" of the FFA 1.0 specification.
345 */
346struct ffa_mem_relinquish {
347 ffa_memory_handle_t handle;
348 ffa_memory_region_flags_t flags;
349 uint32_t endpoint_count;
Daniel Boulbye79d2072021-03-03 11:34:53 +0000350 ffa_id_t endpoints[];
J-Alvesf3a393c2020-10-23 16:00:39 +0100351};
352
353static inline ffa_memory_handle_t ffa_assemble_handle(uint32_t h1, uint32_t h2)
354{
J-Alves18c28052021-03-09 09:58:53 +0000355 return (ffa_notification_bitmap_t)h1 |
356 (ffa_notification_bitmap_t)h2 << 32;
J-Alvesf3a393c2020-10-23 16:00:39 +0100357}
358
359static inline ffa_memory_handle_t ffa_mem_success_handle(smc_ret_values r)
360{
361 return ffa_assemble_handle(r.ret2, r.ret3);
362}
363
364/**
365 * Gets the `ffa_composite_memory_region` for the given receiver from an
366 * `ffa_memory_region`, or NULL if it is not valid.
367 */
368static inline struct ffa_composite_memory_region *
369ffa_memory_region_get_composite(struct ffa_memory_region *memory_region,
370 uint32_t receiver_index)
371{
372 uint32_t offset = memory_region->receivers[receiver_index]
373 .composite_memory_region_offset;
374
375 if (offset == 0) {
376 return NULL;
377 }
378
379 return (struct ffa_composite_memory_region *)((uint8_t *)memory_region +
380 offset);
381}
382
383static inline uint32_t ffa_mem_relinquish_init(
384 struct ffa_mem_relinquish *relinquish_request,
385 ffa_memory_handle_t handle, ffa_memory_region_flags_t flags,
Daniel Boulbye79d2072021-03-03 11:34:53 +0000386 ffa_id_t sender)
J-Alvesf3a393c2020-10-23 16:00:39 +0100387{
388 relinquish_request->handle = handle;
389 relinquish_request->flags = flags;
390 relinquish_request->endpoint_count = 1;
391 relinquish_request->endpoints[0] = sender;
Daniel Boulbye79d2072021-03-03 11:34:53 +0000392 return sizeof(struct ffa_mem_relinquish) + sizeof(ffa_id_t);
J-Alvesf3a393c2020-10-23 16:00:39 +0100393}
394
395uint32_t ffa_memory_retrieve_request_init(
396 struct ffa_memory_region *memory_region, ffa_memory_handle_t handle,
Daniel Boulbye79d2072021-03-03 11:34:53 +0000397 ffa_id_t sender, ffa_id_t receiver, uint32_t tag,
J-Alvesf3a393c2020-10-23 16:00:39 +0100398 ffa_memory_region_flags_t flags, enum ffa_data_access data_access,
399 enum ffa_instruction_access instruction_access,
400 enum ffa_memory_type type, enum ffa_memory_cacheability cacheability,
401 enum ffa_memory_shareability shareability);
402
403uint32_t ffa_memory_region_init(
404 struct ffa_memory_region *memory_region, size_t memory_region_max_size,
Daniel Boulbye79d2072021-03-03 11:34:53 +0000405 ffa_id_t sender, ffa_id_t receiver,
J-Alvesf3a393c2020-10-23 16:00:39 +0100406 const struct ffa_memory_region_constituent constituents[],
407 uint32_t constituent_count, uint32_t tag,
408 ffa_memory_region_flags_t flags, enum ffa_data_access data_access,
409 enum ffa_instruction_access instruction_access,
410 enum ffa_memory_type type, enum ffa_memory_cacheability cacheability,
411 enum ffa_memory_shareability shareability, uint32_t *total_length,
412 uint32_t *fragment_length);
413
Daniel Boulbye79d2072021-03-03 11:34:53 +0000414static inline ffa_id_t ffa_dir_msg_dest(smc_ret_values val) {
415 return (ffa_id_t)val.ret1 & U(0xFFFF);
J-Alves6cb21d92021-01-07 15:18:12 +0000416}
417
Daniel Boulbye79d2072021-03-03 11:34:53 +0000418static inline ffa_id_t ffa_dir_msg_source(smc_ret_values val) {
419 return (ffa_id_t)(val.ret1 >> 16U);
J-Alves6cb21d92021-01-07 15:18:12 +0000420}
421
Daniel Boulbye79d2072021-03-03 11:34:53 +0000422smc_ret_values ffa_msg_send_direct_req64(ffa_id_t source_id,
423 ffa_id_t dest_id, uint64_t arg0,
J-Alvesecd30742021-02-19 18:31:06 +0000424 uint64_t arg1, uint64_t arg2,
425 uint64_t arg3, uint64_t arg4);
J-Alvesd1aae292020-10-08 17:16:58 +0100426
Daniel Boulbye79d2072021-03-03 11:34:53 +0000427smc_ret_values ffa_msg_send_direct_req32(ffa_id_t source_id,
428 ffa_id_t dest_id, uint32_t arg0,
J-Alvesecd30742021-02-19 18:31:06 +0000429 uint32_t arg1, uint32_t arg2,
430 uint32_t arg3, uint32_t arg4);
431
Daniel Boulbye79d2072021-03-03 11:34:53 +0000432smc_ret_values ffa_msg_send_direct_resp64(ffa_id_t source_id,
433 ffa_id_t dest_id, uint64_t arg0,
J-Alvesecd30742021-02-19 18:31:06 +0000434 uint64_t arg1, uint64_t arg2,
435 uint64_t arg3, uint64_t arg4);
436
Daniel Boulbye79d2072021-03-03 11:34:53 +0000437smc_ret_values ffa_msg_send_direct_resp32(ffa_id_t source_id,
438 ffa_id_t dest_id, uint32_t arg0,
J-Alvesecd30742021-02-19 18:31:06 +0000439 uint32_t arg1, uint32_t arg2,
440 uint32_t arg3, uint32_t arg4);
J-Alves035b7d02021-02-11 10:40:35 +0000441
J-Alves7581c382020-05-07 18:34:20 +0100442smc_ret_values ffa_run(uint32_t dest_id, uint32_t vcpu_id);
J-Alves8f08a052020-05-26 17:14:40 +0100443smc_ret_values ffa_version(uint32_t input_version);
J-Alves5aecd982020-06-11 10:25:33 +0100444smc_ret_values ffa_id_get(void);
Daniel Boulby198deda2021-03-03 11:35:25 +0000445smc_ret_values ffa_spm_id_get(void);
J-Alves5aecd982020-06-11 10:25:33 +0100446smc_ret_values ffa_msg_wait(void);
J-Alves5aecd982020-06-11 10:25:33 +0100447smc_ret_values ffa_error(int32_t error_code);
Max Shvetsovc17c1d32020-06-11 15:03:01 +0100448smc_ret_values ffa_features(uint32_t feature);
Max Shvetsov0b7d25f2021-03-05 13:46:42 +0000449smc_ret_values ffa_partition_info_get(const struct ffa_uuid uuid);
Max Shvetsovc32f4782020-06-23 09:41:15 +0100450smc_ret_values ffa_rx_release(void);
Ruari Phippsbd0a7e42020-07-17 16:42:21 +0100451smc_ret_values ffa_rxtx_map(uintptr_t send, uintptr_t recv, uint32_t pages);
Daniel Boulbye0602902021-07-07 11:14:39 +0100452smc_ret_values ffa_rxtx_unmap(void);
J-Alves3ea46d12020-09-09 11:13:05 +0100453smc_ret_values ffa_mem_donate(uint32_t descriptor_length,
454 uint32_t fragment_length);
455smc_ret_values ffa_mem_lend(uint32_t descriptor_length,
456 uint32_t fragment_length);
457smc_ret_values ffa_mem_share(uint32_t descriptor_length,
458 uint32_t fragment_length);
459smc_ret_values ffa_mem_retrieve_req(uint32_t descriptor_length,
460 uint32_t fragment_length);
461smc_ret_values ffa_mem_relinquish(void);
462smc_ret_values ffa_mem_reclaim(uint64_t handle, uint32_t flags);
J-Alvesbcb1f972021-03-11 14:03:54 +0000463smc_ret_values ffa_notification_bitmap_create(ffa_id_t vm_id,
464 ffa_vcpu_count_t vcpu_count);
465smc_ret_values ffa_notification_bitmap_destroy(ffa_id_t vm_id);
J-Alves18c28052021-03-09 09:58:53 +0000466smc_ret_values ffa_notification_bind(ffa_id_t sender, ffa_id_t receiver,
467 uint32_t flags,
468 ffa_notification_bitmap_t notifications);
469smc_ret_values ffa_notification_unbind(ffa_id_t sender, ffa_id_t receiver,
470 ffa_notification_bitmap_t notifications);
J-Alvesf156ae92021-10-08 12:10:05 +0100471smc_ret_values ffa_notification_set(ffa_id_t sender, ffa_id_t receiver,
472 uint32_t flags,
473 ffa_notification_bitmap_t bitmap);
474smc_ret_values ffa_notification_get(ffa_id_t receiver, uint32_t vcpu_id,
475 uint32_t flags);
J-Alves7581c382020-05-07 18:34:20 +0100476#endif /* __ASSEMBLY__ */
477
478#endif /* FFA_HELPERS_H */