Searched refs:l2_table (Results 1 – 2 of 2) sorted by relevance
81 uint32_t *l2_table = paddr_to_kvaddr(pte & ~OR1K_MMU_PG_FLAGS_MASK); in arch_mmu_query() local83 pte = l2_table[index]; in arch_mmu_query()165 uint32_t *l2_table; in arch_mmu_map() local174 l2_table = paddr_to_kvaddr(pte & ~OR1K_MMU_PG_FLAGS_MASK); in arch_mmu_map()175 LTRACEF("l2_table at %p\n", l2_table); in arch_mmu_map()177 l2_table = pmm_alloc_kpage(); in arch_mmu_map()178 if (!l2_table) { in arch_mmu_map()183 memset(l2_table, 0, PAGE_SIZE); in arch_mmu_map()184 paddr_t l2_pa = vaddr_to_paddr(l2_table); in arch_mmu_map()185 LTRACEF("allocated pagetable at %p, pa 0x%lx\n", l2_table, l2_pa); in arch_mmu_map()[all …]
295 uint32_t *l2_table = paddr_to_kvaddr(MMU_MEMORY_L1_PAGE_TABLE_ADDR(tt_entry)); in arch_mmu_query() local297 uint32_t l2_entry = l2_table[l2_index]; in arch_mmu_query()547 uint32_t *l2_table = paddr_to_kvaddr(MMU_MEMORY_L1_PAGE_TABLE_ADDR(tt_entry)); in arch_mmu_map() local548 LTRACEF("l2_table at %p\n", l2_table); in arch_mmu_map()550 DEBUG_ASSERT(l2_table); in arch_mmu_map()559 l2_table[l2_index++] = paddr | arch_flags; in arch_mmu_map()622 uint32_t *l2_table = paddr_to_kvaddr(MMU_MEMORY_L1_PAGE_TABLE_ADDR(tt_entry)); in arch_mmu_unmap() local628 l2_table[page_idx++] = 0; in arch_mmu_unmap()649 if (l2_table[page_idx++]) in arch_mmu_unmap()
Completed in 4 milliseconds