DEFINE(PGD_T_LOG2, PGD_T_LOG2);
        DEFINE(PTE_T_LOG2, PTE_T_LOG2);
  #endif
+ #ifdef CONFIG_FSL_BOOKE
+       DEFINE(TLBCAM_SIZE, sizeof(struct tlbcam));
+ #endif
  
 +#ifdef CONFIG_KVM_EXIT_TIMING
 +      DEFINE(VCPU_TIMING_EXIT_TBU, offsetof(struct kvm_vcpu,
 +                                              arch.timing_exit.tv32.tbu));
 +      DEFINE(VCPU_TIMING_EXIT_TBL, offsetof(struct kvm_vcpu,
 +                                              arch.timing_exit.tv32.tbl));
 +      DEFINE(VCPU_TIMING_LAST_ENTER_TBU, offsetof(struct kvm_vcpu,
 +                                      arch.timing_last_enter.tv32.tbu));
 +      DEFINE(VCPU_TIMING_LAST_ENTER_TBL, offsetof(struct kvm_vcpu,
 +                                      arch.timing_last_enter.tv32.tbl));
 +#endif
 +
        return 0;
  }