_PAGE_PRESENT
#define _PAGE_PRESENT (1 << 9) /* PTE/TLB Valid (H) */
#define _PAGE_PRESENT (1<<0)
#define _PAGE_PRESENT (1<<10)
#define _PAGE_PRESENT (1<<0)
#define _PAGE_PRESENT (_ULCAST_(1) << _PAGE_PRESENT_SHIFT)
#define _PAGE_PRESENT (CF_PAGE_VALID)
#define _PAGE_PRESENT 0x001
#define _PAGE_PRESENT (SUN3_PAGE_VALID)
#define _PAGE_PRESENT 0x002 /* software: PTE contains a translation */
#define _PAGE_PRESENT (1 << _PAGE_PRESENT_SHIFT)
#define _PAGE_PRESENT (1<<25) /* PTE contains a translation */
#define _PAGE_PRESENT _PAGE_CC
#define _PAGE_PRESENT (1 << xlate_pabit(_PAGE_PRESENT_BIT))
#define _PAGE_PRESENT 0x001 /* software: pte contains a translation */
#define _PAGE_PRESENT 0x8000000000000000UL /* pte contains a translation */
#define _PAGE_PRESENT 0x00000001 /* S: PTE valid */
#define _PAGE_PRESENT 0x0001 /* V: Page is valid */
#define _PAGE_PRESENT 0x000001 /* software: pte contains a translation */
#define _PAGE_PRESENT (1 << 0)
#define _PAGE_PRESENT 0x001 /* SW pte present bit */
#define _PAGE_PRESENT 0x100 /* V-bit : page is valid */
#define _PAGE_PRESENT 0x001
#define _PAGE_PRESENT (_AT(pteval_t, 1) << _PAGE_BIT_PRESENT)
#define _PAGE_PRESENT (_PAGE_HW_VALID | _PAGE_CA_WB | _PAGE_ACCESSED)
#define _PAGE_PRESENT BIT_ULL(_PAGE_PRESENT_SHIFT)