SHADOW_ACC_TRACK_SAVED_BITS_SHIFT
SHADOW_ACC_TRACK_SAVED_BITS_SHIFT),
SHADOW_ACC_TRACK_SAVED_BITS_SHIFT;
u64 saved_bits = (spte >> SHADOW_ACC_TRACK_SAVED_BITS_SHIFT)
SHADOW_ACC_TRACK_SAVED_BITS_SHIFT);
SHADOW_ACC_TRACK_SAVED_BITS_SHIFT)