Searched refs:paddr_base (Results 1 – 1 of 1) sorted by relevance
127 uint32_t paddr_base = mmu_ll_entry_id_to_paddr_base(mmu_id, entry_id); in mmu_hal_vaddr_to_paddr() local128 *out_paddr = paddr_base | offset; in mmu_hal_vaddr_to_paddr()