Searched refs:pgidx (Results 1 – 1 of 1) sorted by relevance
1839 unsigned int pgidx = 0; in tee_pager_add_pages() local1844 pgidx = core_mmu_va2idx(ti, va); in tee_pager_add_pages()1849 core_mmu_get_entry(ti, pgidx, &pa, &attr); in tee_pager_add_pages()1863 core_mmu_set_entry(ti, pgidx, 0, 0); in tee_pager_add_pages()