35 uint32_t mmu_hal_pages_to_bytes(uint32_t mmu_id, uint32_t page_num)  in mmu_hal_pages_to_bytes()  argument
37     mmu_page_size_t page_size = mmu_ll_get_page_size(mmu_id);  in mmu_hal_pages_to_bytes()
55 uint32_t mmu_hal_bytes_to_pages(uint32_t mmu_id, uint32_t bytes)  in mmu_hal_bytes_to_pages()  argument
57     mmu_page_size_t page_size = mmu_ll_get_page_size(mmu_id);  in mmu_hal_bytes_to_pages()
75 void mmu_hal_map_region(uint32_t mmu_id, mmu_target_t mem_type, uint32_t vaddr, uint32_t paddr, uin…  in mmu_hal_map_region()  argument
77     uint32_t page_size_in_bytes = mmu_hal_pages_to_bytes(mmu_id, 1);  in mmu_hal_map_region()
80     HAL_ASSERT(mmu_ll_check_valid_paddr_region(mmu_id, paddr, len));  in mmu_hal_map_region()
81 …HAL_ASSERT(mmu_hal_check_valid_ext_vaddr_region(mmu_id, vaddr, len, MMU_VADDR_DATA | MMU_VADDR_INS…  in mmu_hal_map_region()
87     *out_len = mmu_hal_pages_to_bytes(mmu_id, page_num);  in mmu_hal_map_region()
88     mmu_val = mmu_ll_format_paddr(mmu_id, paddr, mem_type);  in mmu_hal_map_region()
91         entry_id = mmu_ll_get_entry_id(mmu_id, vaddr);  in mmu_hal_map_region()
92         mmu_ll_write_entry(mmu_id, entry_id, mmu_val, mem_type);  in mmu_hal_map_region()
99 void mmu_hal_unmap_region(uint32_t mmu_id, uint32_t vaddr, uint32_t len)  in mmu_hal_unmap_region()  argument
101     uint32_t page_size_in_bytes = mmu_hal_pages_to_bytes(mmu_id, 1);  in mmu_hal_unmap_region()
103 …HAL_ASSERT(mmu_hal_check_valid_ext_vaddr_region(mmu_id, vaddr, len, MMU_VADDR_DATA | MMU_VADDR_INS…  in mmu_hal_unmap_region()
108         entry_id = mmu_ll_get_entry_id(mmu_id, vaddr);  in mmu_hal_unmap_region()
109         mmu_ll_set_entry_invalid(mmu_id, entry_id);  in mmu_hal_unmap_region()
115 bool mmu_hal_vaddr_to_paddr(uint32_t mmu_id, uint32_t vaddr, uint32_t *out_paddr, mmu_target_t *out…  in mmu_hal_vaddr_to_paddr()  argument
117 …HAL_ASSERT(mmu_hal_check_valid_ext_vaddr_region(mmu_id, vaddr, 1, MMU_VADDR_DATA | MMU_VADDR_INSTR…  in mmu_hal_vaddr_to_paddr()
118     uint32_t entry_id = mmu_ll_get_entry_id(mmu_id, vaddr);  in mmu_hal_vaddr_to_paddr()
119     if (!mmu_ll_check_entry_valid(mmu_id, entry_id)) {  in mmu_hal_vaddr_to_paddr()
123     uint32_t page_size_in_bytes = mmu_hal_pages_to_bytes(mmu_id, 1);  in mmu_hal_vaddr_to_paddr()
126     *out_target = mmu_ll_get_entry_target(mmu_id, entry_id);  in mmu_hal_vaddr_to_paddr()
127     uint32_t paddr_base = mmu_ll_entry_id_to_paddr_base(mmu_id, entry_id);  in mmu_hal_vaddr_to_paddr()
133 bool mmu_hal_paddr_to_vaddr(uint32_t mmu_id, uint32_t paddr, mmu_target_t target, mmu_vaddr_t type,…  in mmu_hal_paddr_to_vaddr()  argument
135     HAL_ASSERT(mmu_ll_check_valid_paddr_region(mmu_id, paddr, 1));  in mmu_hal_paddr_to_vaddr()
137     uint32_t mmu_val = mmu_ll_format_paddr(mmu_id, paddr, target);  in mmu_hal_paddr_to_vaddr()
138     int entry_id = mmu_ll_find_entry_id_based_on_map_value(mmu_id, mmu_val, target);  in mmu_hal_paddr_to_vaddr()
143     uint32_t page_size_in_bytes = mmu_hal_pages_to_bytes(mmu_id, 1);  in mmu_hal_paddr_to_vaddr()
145     uint32_t vaddr_base = mmu_ll_entry_id_to_vaddr_base(mmu_id, entry_id, type);  in mmu_hal_paddr_to_vaddr()
154 bool mmu_hal_check_valid_ext_vaddr_region(uint32_t mmu_id, uint32_t vaddr_start, uint32_t len, mmu_…  in mmu_hal_check_valid_ext_vaddr_region()  argument
156     return mmu_ll_check_valid_ext_vaddr_region(mmu_id, vaddr_start, len, type);  in mmu_hal_check_valid_ext_vaddr_region()