build fixes to merge the Palacios configuration parameters with Linux parameters.

[palacios.git] / palacios / src / palacios / mmu / vmm_shdw_pg_kvm_32pae.h

diff --git a/palacios/src/palacios/mmu/vmm_shdw_pg_kvm_32pae.h b/palacios/src/palacios/mmu/vmm_shdw_pg_kvm_32pae.h
index 4afe7ea..473414b 100644 (file)
--- a/palacios/src/palacios/mmu/vmm_shdw_pg_kvm_32pae.h
+++ b/palacios/src/palacios/mmu/vmm_shdw_pg_kvm_32pae.h
@@ -1,6 +1,6 @@
 
 
-#ifdef CONFIG_SHADOW_CACHE
+#ifdef V3_CONFIG_SHADOW_CACHE
 
 static inline int activate_shadow_pt_32pae(struct guest_info * info) {
     PrintError("Activating 32 bit PAE page tables not implemented\n");