Searched refs:tpt (Results 1 – 2 of 2) sorted by relevance
144 u64 tpt = gd->arch.tlb_addr + (4096 * i); in mmu_setup() local145 page_table[i] = tpt | TTB_PAGETABLE; in mmu_setup()
1022 uint64_t tpt; member