180     uint32_t ptel;              /* page table entry low register */  member
319 #define cpu_ptel_v(ptel) (((ptel) & PTEL_V) >> 8)  argument
321 #define cpu_ptel_c(ptel) (((ptel) & PTEL_C) >> 3)  argument
323 #define cpu_ptel_d(ptel) (((ptel) & PTEL_D) >> 2)  argument
325 #define cpu_ptel_sh(ptel)(((ptel) & PTEL_SH) >> 1)  argument
327 #define cpu_ptel_wt(ptel) ((ptel) & PTEL_WT)  argument
333 static inline int cpu_ptel_sz (uint32_t ptel)  in cpu_ptel_sz()  argument
336     sz = (ptel & PTEL_SZ_HIGH) >> PTEL_SZ_HIGH_OFFSET;  in cpu_ptel_sz()
338     sz |= (ptel & PTEL_SZ_LOW) >> PTEL_SZ_LOW_OFFSET;  in cpu_ptel_sz()
346 static inline int cpu_ptel_ppn (uint32_t ptel)  in cpu_ptel_ppn()  argument
348     return ((ptel & PTEL_PPN_MASK) >> PTEL_PPN_OFFSET);  in cpu_ptel_ppn()
355 static inline int cpu_ptel_pr (uint32_t ptel)  in cpu_ptel_pr()  argument
357     return ((ptel & PTEL_PR_MASK) >> PTEL_PR_OFFSET);  in cpu_ptel_pr()