__psp_pa
data.address = __psp_pa(blob);
data.trans_address = __psp_pa(blob);
data.hdr_address = __psp_pa(hdr);
data.address = __psp_pa(blob);
data.pdh_cert_address = __psp_pa(pdh_cert);
data.plat_certs_address = __psp_pa(plat_certs);
data.amd_certs_address = __psp_pa(amd_certs);
data.session_address = __psp_pa(session_data);
data.hdr_address = __psp_pa(hdr);
data.trans_address = __psp_pa(trans_data);
start.pdh_cert_address = __psp_pa(pdh_data);
start.session_address = __psp_pa(session_data);
data.hdr_address = __psp_pa(hdr);
data.trans_address = __psp_pa(trans);
data.address = __psp_pa(context);
data.gctx_paddr = __psp_pa(sev->snp_context);
start.gctx_paddr = __psp_pa(sev->snp_context);
fw_args.gctx_paddr = __psp_pa(sev->snp_context);
data.gctx_paddr = __psp_pa(sev->snp_context);
data->gctx_paddr = __psp_pa(sev->snp_context);
buf.address = __psp_pa(status);
data.gctx_paddr = __psp_pa(sev->snp_context);
data.req_paddr = __psp_pa(sev->guest_req_buf);
data.res_paddr = __psp_pa(sev->guest_resp_buf);
dbg.gctx_paddr = __psp_pa(sev->snp_context);
dbg.dst_addr = __psp_pa(vmsa);
dbg.dst_addr = __psp_pa(vmsa);
req_addr = __psp_pa(req);
iowrite32(lower_32_bits(__psp_pa(cmdbuff)), cmdbuff_lo_reg);
iowrite32(upper_32_bits(__psp_pa(cmdbuff)), cmdbuff_hi_reg);
data_status.status_paddr = __psp_pa(tio_status_page);
data.nv_address = __psp_pa(sev_init_ex_buffer);
buf.address = __psp_pa(&sev->snp_plat_status);
snp_feat_info.feature_info_paddr = __psp_pa(feat_info);
data.list_paddr = __psp_pa(snp_range_list);
data.address = __psp_pa(blob);
data->address = __psp_pa(page_address(p) + data_size);
data.pek_cert_address = __psp_pa(pek_blob);
data.oca_cert_address = __psp_pa(oca_blob);
data.address = __psp_pa(id_blob);
data->address = __psp_pa(id_blob);
data.pdh_cert_address = __psp_pa(pdh_blob);
data.cert_chain_address = __psp_pa(cert_blob);
buf.address = __psp_pa(data);
input.vlek_wrapped_address = __psp_pa(blob);
*desc->paddr_ptr = __psp_pa(page_to_virt(page));
phys_lsb = data ? lower_32_bits(__psp_pa(cmd_buf)) : 0;
phys_msb = data ? upper_32_bits(__psp_pa(cmd_buf)) : 0;
rb_mgr->ring_pa = __psp_pa(start_addr);
paddr = __psp_pa(start[i].kaddr);
blob = __psp_pa(data);
shm->paddr = __psp_pa((void *)va);