diff -r e6f751ed8e38 xen/arch/x86/domain.c
--- a/xen/arch/x86/domain.c	Tue Mar 09 10:00:37 2010 +0000
+++ b/xen/arch/x86/domain.c	Tue Mar 09 10:12:30 2010 +0000
@@ -970,6 +970,7 @@
         break;
     }
 
+#if 0
     case VCPUOP_register_vcpu_time_memory_area:
     {
         struct vcpu_register_time_memory_area area;
@@ -988,6 +989,7 @@
 
         break;
     }
+#endif
 
     case VCPUOP_get_physid:
     {