59 void msmc_share_all_segments(int priv_id)  in msmc_share_all_segments()  argument
65 		msmc->sms[priv_id][j].mpaxh &= 0xffffff7ful;  in msmc_share_all_segments()
66 		msmc->ses[priv_id][j].mpaxh &= 0xffffff7ful;  in msmc_share_all_segments()
70 void msmc_map_ses_segment(int priv_id, int ses_pair,  in msmc_map_ses_segment()  argument
75 	msmc->ses[priv_id][ses_pair].mpaxh = src_pfn << 12 |  in msmc_map_ses_segment()
77 	msmc->ses[priv_id][ses_pair].mpaxl = dst_pfn << 8 | 0x3f;  in msmc_map_ses_segment()
80 void msmc_get_ses_mpax(int priv_id, int ses_pair, u32 *mpax)  in msmc_get_ses_mpax()  argument
84 	*mpax++ = msmc->ses[priv_id][ses_pair].mpaxl;  in msmc_get_ses_mpax()
85 	*mpax = msmc->ses[priv_id][ses_pair].mpaxh;  in msmc_get_ses_mpax()
88 void msmc_set_ses_mpax(int priv_id, int ses_pair, u32 *mpax)  in msmc_set_ses_mpax()  argument
92 	msmc->ses[priv_id][ses_pair].mpaxl = *mpax++;  in msmc_set_ses_mpax()
93 	msmc->ses[priv_id][ses_pair].mpaxh = *mpax;  in msmc_set_ses_mpax()