Therefore with SHADOW_PAGING=n this is better compiled out, to avoid
leaving around unreachable/dead code.
Signed-off-by: Jan Beulich <jbeulich@suse.com>
Reviewed-by: Jason Andryuk <jason.andryuk@amd.com>
Reviewed-by: Roger Pau Monné <roger.pau@citrix.com>
return overlap_mtrr_pos;
}
+#ifdef CONFIG_SHADOW_PAGING
+
/*
* return the memory type from PAT.
* NOTE: valid only when paging is enabled.
return pat_type_2_pte_flags(pat_entry_value);
}
+#endif /* CONFIG_SHADOW_PAGING */
+
static inline bool valid_mtrr_type(uint8_t type)
{
switch ( type )