Searched defs:tpt (Results 1 – 9 of 9) sorted by relevance
127 u64 tpt = gd->arch.tlb_addr + (4096 * i); in mmu_setup() local
1021 uint64_t tpt; member