>@@ -194,7 +196,7 @@ extern u64 __read_mostly shadow_nonpresent_or_rsvd_mask; > * > * Only used by the TDP MMU. > */ >-#define REMOVED_SPTE 0x5a0ULL >+#define REMOVED_SPTE (SHADOW_NONPRESENT_VALUE | 0x5a0ULL) > "Use only low bits to avoid 64-bit immediates" in the comment above becomes stale w/ patch 3 applied.