PT_WRITABLE_SHIFT
#define PT_WRITABLE_MASK (1ULL << PT_WRITABLE_SHIFT)
flush |= test_and_clear_bit(PT_WRITABLE_SHIFT,
mask |= (gpte >> (PT_GUEST_DIRTY_SHIFT - PT_WRITABLE_SHIFT)) &