mk_pmb_addr
addr = mk_pmb_addr(pmbe->entry);
addr = mk_pmb_addr(i);
addr = __raw_readl(mk_pmb_addr(i));