xlate_pabit - Linux

185

#define PTE_SHIFT xlate_pabit(_PAGE_USER_BIT)

190

#define _PAGE_READ (1 << xlate_pabit(_PAGE_READ_BIT))

191

#define _PAGE_WRITE (1 << xlate_pabit(_PAGE_WRITE_BIT))

193

#define _PAGE_EXEC (1 << xlate_pabit(_PAGE_EXEC_BIT))

194

#define _PAGE_GATEWAY (1 << xlate_pabit(_PAGE_GATEWAY_BIT))

195

#define _PAGE_DMB (1 << xlate_pabit(_PAGE_DMB_BIT))

196

#define _PAGE_DIRTY (1 << xlate_pabit(_PAGE_DIRTY_BIT))

197

#define _PAGE_REFTRAP (1 << xlate_pabit(_PAGE_REFTRAP_BIT))

198

#define _PAGE_NO_CACHE (1 << xlate_pabit(_PAGE_NO_CACHE_BIT))

199

#define _PAGE_ACCESSED (1 << xlate_pabit(_PAGE_ACCESSED_BIT))

200

#define _PAGE_PRESENT (1 << xlate_pabit(_PAGE_PRESENT_BIT))

201

#define _PAGE_HUGE (1 << xlate_pabit(_PAGE_HPAGE_BIT))

202

#define _PAGE_USER (1 << xlate_pabit(_PAGE_USER_BIT))

203

#define _PAGE_SPECIAL (1 << xlate_pabit(_PAGE_SPECIAL_BIT))

223

#define PxD_FLAG_PRESENT (1 << xlate_pabit(_PxD_PRESENT_BIT))

224

#define PxD_FLAG_VALID (1 << xlate_pabit(_PxD_VALID_BIT))