_PAGE_VALID
#define _PAGE_VALID 0x0001
#define _PAGE_VALID (1<<7)
#define _PAGE_VALID (1<<1)
#define _PAGE_VALID _PAGE_PRESENT
#define _PAGE_VALID (_ULCAST_(1) << _PAGE_VALID_SHIFT)
#define _PAGE_VALID (1 << _PAGE_VALID_SHIFT)
#define _PAGE_VALID _AC(0x8000000000000000,UL) /* Valid TTE */
#define _PAGE_VALID BIT_ULL(_PAGE_VALID_SHIFT)