#if out cpu_smm_update, not relevant for xen (hopefully)

diff --git a/hw/pc.c b/hw/pc.c
index 8193fcd6570c903efd4f58840b65de9e3d3c2c08..3f04c106987e8c780e7a69261c817e6f8fd59ef1 100644 (file)
--- a/hw/pc.c
+++ b/hw/pc.c
@@ -90,12 +90,14 @@ uint64_t cpu_get_tsc(CPUX86State *env)
     }
 }
 
+#if 0
 /* SMM support */
 void cpu_smm_update(CPUState *env)
 {
     if (i440fx_state && env == first_cpu)
         i440fx_set_smm(i440fx_state, (env->hflags >> HF_SMM_SHIFT) & 1);
 }
+#endif
 
 #ifndef CONFIG_DM
 /* IRQ handling */