Searched defs:tpt (Results 1 – 2 of 2) sorted by relevance
| /rk3399_rockchip-uboot/arch/arm/lib/ | ||
| H A D | cache-cp15.c | 144 u64 tpt = gd->arch.tlb_addr + (4096 * i); in mmu_setup() local |
| /rk3399_rockchip-uboot/drivers/net/ | ||
| H A D | e1000.h | 1022 uint64_t tpt; member |