Searched refs:FFA_MEM_HANDLE_HIGH (Results 1 – 2 of 2) sorted by relevance
| /rk3399_ARM-atf/bl32/tsp/ | ||
| H A D | ffa_helpers.h | 41 #define FFA_MEM_HANDLE_HIGH(x) (x >> 32) macro |
| H A D | ffa_helpers.c | 138 FFA_MEM_HANDLE_HIGH(handle), in ffa_mem_frag_rx() |