Searched refs:DPTEL (Results 1 – 3 of 3) sorted by relevance
57 if (DPTEL & xPTEL_V) in update_mmu_cache()58 DPTEL = ptel; in update_mmu_cache()
81 if (DPTEL & xPTEL_V) in local_flush_tlb_page()82 DPTEL = 0; in local_flush_tlb_page()
234 #define DPTEL __SYSREG(0xc00000b0, u32) /* data TLB entry */ macro