/* set 'Not Write-through' */
        write_cr0(read_cr0() | X86_CR0_NW);
        /* CCR2 bit 2: lock NW bit and set WT1 */
 -      setCx86(CX86_CCR2, getCx86(CX86_CCR2) | 0x14);
 +      setCx86_old(CX86_CCR2, getCx86_old(CX86_CCR2) | 0x14);
  }
  
- static void __cpuinit set_cx86_inc(void)
- {
-       unsigned char ccr3;
- 
-       printk(KERN_INFO "Enable Incrementor on Cyrix/NSC processor.\n");
- 
-       ccr3 = getCx86(CX86_CCR3);
-       setCx86(CX86_CCR3, (ccr3 & 0x0f) | 0x10); /* enable MAPEN */
-       /* PCR1 -- Performance Control */
-       /* Incrementor on, whatever that is */
-       setCx86_old(CX86_PCR1, getCx86_old(CX86_PCR1) | 0x02);
-       /* PCR0 -- Performance Control */
-       /* Incrementor Margin 10 */
-       setCx86_old(CX86_PCR0, getCx86_old(CX86_PCR0) | 0x04);
-       setCx86(CX86_CCR3, ccr3);       /* disable MAPEN */
- }
- 
  /*
   *    Configure later MediaGX and/or Geode processor.
   */