_PAGE_READ
#define _PAGE_READ (1 << 3) /* User Read (H) */
#define _PAGE_READ (1<<1)
#define _PAGE_READ (1<<8)
#define _PAGE_READ __HVM_PTE_R
#define _PAGE_READ (1<<23)
#define _PAGE_READ (_PAGE_URE | _PAGE_SRE)
#define _PAGE_READ (1 << xlate_pabit(_PAGE_READ_BIT))
#define _PAGE_READ 0x004 /* software: read access allowed */
#define _PAGE_READ 0x00004 /* read access allowed */
#define _PAGE_READ 0x00000008 /* S: Read permission */
#define _PAGE_READ (_PAGE_BAP_SR | _PAGE_BAP_UR) /* User read permission */
#define _PAGE_READ (1 << 1) /* Readable */
#define _PAGE_READ 0x010 /* SW pte read bit */