#define X86_FEATURE_FLEXPRIORITY ( 8*32+ 2) /* Intel FlexPriority */
  #define X86_FEATURE_EPT         ( 8*32+ 3) /* Intel Extended Page Table */
  #define X86_FEATURE_VPID        ( 8*32+ 4) /* Intel Virtual Processor ID */
- #define X86_FEATURE_NPT               ( 8*32+ 5) /* AMD Nested Page Table support */
- #define X86_FEATURE_LBRV      ( 8*32+ 6) /* AMD LBR Virtualization support */
- #define X86_FEATURE_SVML      ( 8*32+ 7) /* "svm_lock" AMD SVM locking MSR */
- #define X86_FEATURE_NRIPS     ( 8*32+ 8) /* "nrip_save" AMD SVM next_rip save */
- #define X86_FEATURE_TSCRATEMSR  ( 8*32+ 9) /* "tsc_scale" AMD TSC scaling support */
- #define X86_FEATURE_VMCBCLEAN   ( 8*32+10) /* "vmcb_clean" AMD VMCB clean bits support */
- #define X86_FEATURE_FLUSHBYASID ( 8*32+11) /* AMD flush-by-ASID support */
- #define X86_FEATURE_DECODEASSISTS ( 8*32+12) /* AMD Decode Assists support */
- #define X86_FEATURE_PAUSEFILTER ( 8*32+13) /* AMD filtered pause intercept */
- #define X86_FEATURE_PFTHRESHOLD ( 8*32+14) /* AMD pause filter threshold */
+ 
  #define X86_FEATURE_VMMCALL     ( 8*32+15) /* Prefer vmmcall to vmcall */
 +#define X86_FEATURE_XENPV       ( 8*32+16) /* "" Xen paravirtual guest */
  
  
  /* Intel-defined CPU features, CPUID level 0x00000007:0 (ebx), word 9 */
 
  
        /* Install Xen paravirt ops */
        pv_info = xen_info;
 +      if (xen_initial_domain())
 +              pv_info.features |= PV_SUPPORTED_RTC;
        pv_init_ops = xen_init_ops;
-       pv_apic_ops = xen_apic_ops;
        if (!xen_pvh_domain()) {
                pv_cpu_ops = xen_cpu_ops;