__sme_page_pa
dst_paddr = __sme_page_pa(tpage);
paddr = __sme_page_pa(src_tpage);
__sme_page_pa(dst_tpage), size, error);
paddr = __sme_page_pa(dst_tpage);
__sme_page_pa(src_p[0]) + s_off,
__sme_page_pa(dst_p[0]) + d_off,
__sme_page_pa(src_p[0]) + s_off,
__sme_page_pa(dst_p[0]) + d_off,
data.guest_address = __sme_page_pa(pages[0]) + offset;
paddr = __sme_page_pa(inpages[idx]);
next_paddr = __sme_page_pa(inpages[i++]);
data.address = __sme_page_pa(inpages[i]) + offset;
sd->save_area_pa = __sme_page_pa(save_area_page);