_PAGE_DIRTY
#define _PAGE_DIRTY 0x20000
#define _PAGE_DIRTY (1 << 5) /* Modified (s) */
#define _PAGE_DIRTY (1<<8)
#define _PAGE_DIRTY (1<<2)
#define _PAGE_DIRTY (1<<1)
#define _PAGE_DIRTY (_ULCAST_(1) << _PAGE_DIRTY_SHIFT)
#define _PAGE_DIRTY (CF_PAGE_DIRTY)
#define _PAGE_DIRTY 0x010
#define _PAGE_DIRTY 0x080 /* software: dirty page */
#define _PAGE_DIRTY (1 << _PAGE_DIRTY_SHIFT)
#define _PAGE_DIRTY (1<<27) /* dirty page */
#define _PAGE_DIRTY _PAGE_D
#define _PAGE_DIRTY (1 << xlate_pabit(_PAGE_DIRTY_BIT))
#define _PAGE_DIRTY 0x080 /* C: page changed */
#define _PAGE_DIRTY 0x00080 /* C: page changed */
#define _PAGE_DIRTY 0x00000010 /* S: Page dirty */
#define _PAGE_DIRTY 0x0100 /* C: page changed */
#define _PAGE_DIRTY 0x001000 /* C: page changed */
#define _PAGE_DIRTY (1 << 7) /* Set by hardware on any write */
#define _PAGE_DIRTY 0x008 /* SW pte dirty bit */
#define _PAGE_DIRTY 0x004 /* D-bit : page changed */
#define _PAGE_DIRTY 0x100
#define _PAGE_DIRTY (_AT(pteval_t, 1) << _PAGE_BIT_DIRTY)
#define _PAGE_DIRTY (1<<7) /* software: page dirty */
#define _PAGE_DIRTY BIT_ULL(_PAGE_DIRTY_SHIFT)