5 * Texas Instruments Incorporated, <www.ti.com>
7 * SPDX-License-Identifier: GPL-2.0+
13 #include <asm/arch/hardware.h>
39 void msmc_share_all_segments(int priv_id);
40 void msmc_get_ses_mpax(int priv_id, int ses_pair, u32 *mpax);
41 void msmc_set_ses_mpax(int priv_id, int ses_pair, u32 *mpax);
42 void msmc_map_ses_segment(int priv_id, int ses_pair,
43 u32 src_pfn, u32 dst_pfn, enum mpax_seg_size size);