arch/arm64/mmu.cpp

307     volatile pte_t* page_table;
345     page_table = tt_virt_;
350         pte = page_table[index];
370         page_table = static_cast<volatile pte_t*>(paddr_to_physmap(pte_addr));
430                                               volatile pte_t* page_table) {
437     pte = page_table[index];
454         page_table[index] = pte;
456                 page_table, index, pte);
472 static bool page_table_is_clear(volatile pte_t* page_table, uint page_size_shift) {
478         pte = page_table[i];
480             LTRACEF("page_table at %p still in use, index %d is %#" PRIx64 "\n",
481                     page_table, i, pte);
486     LTRACEF("page table at %p is clear\n", page_table);
518                                         volatile pte_t* page_table) {
529     LTRACEF("vaddr 0x%lx, vaddr_rel 0x%lx, size 0x%lx, index shift %u, page_size_shift %u, page_table %p\n",
530             vaddr, vaddr_rel, size, index_shift, page_size_shift, page_table);
540         pte = page_table[index];
551                 LTRACEF("pte %p[0x%lx] = 0 (was page table)\n", page_table, index);
552                 page_table[index] = MMU_PTE_DESCRIPTOR_INVALID;
564             LTRACEF("pte %p[0x%lx] = 0\n", page_table, index);
565             page_table[index] = MMU_PTE_DESCRIPTOR_INVALID;
573             LTRACEF("pte %p[0x%lx] already clear\n", page_table, index);
589                                       volatile pte_t* page_table) {
606             ", index shift %u, page_size_shift %u, page_table %p\n",
608             index_shift, page_size_shift, page_table);
626             next_page_table = GetPageTable(index, page_size_shift, page_table);
636             pte = page_table[index];
651                     page_table, index, pte);
652             page_table[index] = pte;
665                    page_size_shift, page_table);
673                                       volatile pte_t* page_table) {
689             ", index shift %u, page_size_shift %u, page_table %p\n",
691             index_shift, page_size_shift, page_table);
704         pte = page_table[index];
719                     page_table, index, pte);
720             page_table[index] = pte;