Searched refs:mmu_hal_pages_to_bytes (Results 1 – 2 of 2) sorted by relevance
35 uint32_t mmu_hal_pages_to_bytes(uint32_t mmu_id, uint32_t page_num) in mmu_hal_pages_to_bytes() function77 uint32_t page_size_in_bytes = mmu_hal_pages_to_bytes(mmu_id, 1); in mmu_hal_map_region()87 *out_len = mmu_hal_pages_to_bytes(mmu_id, page_num); in mmu_hal_map_region()101 uint32_t page_size_in_bytes = mmu_hal_pages_to_bytes(mmu_id, 1); in mmu_hal_unmap_region()123 uint32_t page_size_in_bytes = mmu_hal_pages_to_bytes(mmu_id, 1); in mmu_hal_vaddr_to_paddr()143 uint32_t page_size_in_bytes = mmu_hal_pages_to_bytes(mmu_id, 1); in mmu_hal_paddr_to_vaddr()
37 uint32_t mmu_hal_pages_to_bytes(uint32_t mmu_id, uint32_t page_num);
