_PAGE_WRITE_SHIFT
#define _PAGE_WRITE (_ULCAST_(1) << _PAGE_WRITE_SHIFT)
pr_define("_PAGE_WRITE_SHIFT %d\n", _PAGE_WRITE_SHIFT);
#define _PAGE_WRITE (1 << _PAGE_WRITE_SHIFT)
uasm_i_srl(p, t, pte, _PAGE_WRITE_SHIFT);
pr_define("_PAGE_WRITE_SHIFT %d\n", _PAGE_WRITE_SHIFT);
#define _PAGE_WRITE BIT_ULL(_PAGE_WRITE_SHIFT)