Searched refs:make_dirty_page (Results 1 – 1 of 1) sorted by relevance
| /optee_os/core/arch/arm/mm/ |
| H A D | tee_pager.c | 1472 static void make_dirty_page(struct tee_pager_pmem *pmem, in make_dirty_page() function
1544 make_dirty_page(pmem, reg, tblidx, pa); in make_iv_available()
1709 make_dirty_page(pmem, reg, tblidx, pa); in pager_update_permissions()
1716 make_dirty_page(pmem, reg, tblidx, pa); in pager_update_permissions()
|