Now by default IO and MSR operations are dropped by Palacios unless they have been...

[palacios.git] / palacios / include / palacios / vmm_shadow_paging.h

diff --git a/palacios/include/palacios/vmm_shadow_paging.h b/palacios/include/palacios/vmm_shadow_paging.h
index b619a04..22b0651 100644 (file)
--- a/palacios/include/palacios/vmm_shadow_paging.h
+++ b/palacios/include/palacios/vmm_shadow_paging.h
@@ -63,7 +63,7 @@ struct v3_shdw_pg_state {
 
     void * local_impl_data;
 
-#ifdef CONFIG_SHADOW_PAGING_TELEMETRY
+#ifdef V3_CONFIG_SHADOW_PAGING_TELEMETRY
     uint_t guest_faults;
 #endif