PT64_NX_SHIFT
#define PT64_NX_MASK (1ULL << PT64_NX_SHIFT)
access ^= (gpte >> PT64_NX_SHIFT);
walk_nx_mask = 1ULL << PT64_NX_SHIFT;