Searched refs:tblidx2va (Results 1 – 1 of 1) sorted by relevance
460 static vaddr_t tblidx2va(struct tblidx tblidx) in tblidx2va() function467 vaddr_t va = tblidx2va(tblidx); in tblidx_tlbi_entry()1159 void *va = (void *)tblidx2va(tblidx); in tee_pager_set_um_region_attr()1260 void *va = (void *)tblidx2va(tblidx); in tee_pager_unhide_page()1479 FMSG("Dirty %#"PRIxVA, tblidx2va(tblidx)); in make_dirty_page()