FFA_FN64_MEM_SHARE
BUILD_BUG_ON((fid) != FFA_FN64_MEM_SHARE && \
case FFA_FN64_MEM_SHARE:
do_ffa_mem_xfer(FFA_FN64_MEM_SHARE, &res, host_ctxt);