Searched defs:page_idx (Results 1 – 2 of 2) sorted by relevance
| /optee_os/core/include/mm/ |
| H A D | fobj.h | 120 unsigned int page_idx, void *va) in fobj_load_page()
137 unsigned int page_idx, const void *va) in fobj_save_page()
146 unsigned int page_idx) in fobj_get_iv_vaddr()
|
| /optee_os/core/mm/ |
| H A D | fobj.c | 183 unsigned int page_idx, void *va) in rwp_paged_iv_load_page()
197 unsigned int page_idx, const void *va) in rwp_paged_iv_save_page()
232 unsigned int page_idx) in rwp_paged_iv_get_iv_vaddr()
296 unsigned int page_idx, void *va) in rwp_unpaged_iv_load_page()
309 unsigned int page_idx, in rwp_unpaged_iv_save_page()
471 unsigned int page_idx, void *va) in rop_load_page_helper()
483 static TEE_Result rop_load_page(struct fobj *fobj, unsigned int page_idx, in rop_load_page()
645 static TEE_Result rrp_load_page(struct fobj *fobj, unsigned int page_idx, in rrp_load_page()
804 static paddr_t sec_mem_get_pa(struct fobj *fobj, unsigned int page_idx) in sec_mem_get_pa()
|