Home
last modified time | relevance | path

Searched refs:FFA_SWD_ID_MAX (Results 1 – 3 of 3) sorted by relevance

/optee_os/core/arch/arm/include/kernel/
H A Dthread_spmc.h20 #define FFA_SWD_ID_MAX UINT16_MAX macro
/optee_os/core/arch/arm/kernel/
H A Dsecure_partition.c203 id >= FFA_SWD_ID_MIN && id <= FFA_SWD_ID_MAX; in endpoint_id_is_valid()
211 for (id = FFA_SWD_ID_MIN; id <= FFA_SWD_ID_MAX; id++) { in new_session_id()
H A Dthread_spmc.c2435 id < FFA_SWD_ID_MIN || id > FFA_SWD_ID_MAX)) { in check_desc()
2477 assert(id <= FFA_SWD_ID_MAX); in find_unused_sp_id()