__ffa_host_share_ranges
u32 nshared = __ffa_host_share_ranges(ranges, nranges);
WARN_ON(__ffa_host_share_ranges(ranges, nunshared) != nunshared);