Searched refs:page_size_in_bytes (Results 1 – 1 of 1) sorted by relevance
77 uint32_t page_size_in_bytes = mmu_hal_pages_to_bytes(mmu_id, 1); in mmu_hal_map_region() local78 HAL_ASSERT(vaddr % page_size_in_bytes == 0); in mmu_hal_map_region()79 HAL_ASSERT(paddr % page_size_in_bytes == 0); in mmu_hal_map_region()83 uint32_t page_num = (len + page_size_in_bytes - 1) / page_size_in_bytes; in mmu_hal_map_region()93 vaddr += page_size_in_bytes; 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() local102 HAL_ASSERT(vaddr % page_size_in_bytes == 0); in mmu_hal_unmap_region()105 uint32_t page_num = (len + page_size_in_bytes - 1) / page_size_in_bytes; in mmu_hal_unmap_region()110 vaddr += page_size_in_bytes; 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() local[all …]
