read_mem
if (read_mem(fw_cfg_dma_addr, &fw_dma, sizeof(fw_dma)))
if (read_mem(acct.req_desc->addr, &req, sizeof(req))) {
int read_mem(paddr_t, void *, size_t);
if (read_mem(pte_paddr, &pte, pte_size)) {
ret = read_mem(pa, ve->vee.vee_insn_bytes, len);