fix the rdtsc namimg

src/arch/i386/drivers/timer_rtdsc.c → src/arch/i386/drivers/timer_rdtsc.c

 }
 static uint32_t clocks_per_second = 0;
 
-static tick_t rtdsc_currticks(void)
+static tick_t rdtsc_currticks(void)
 {
 	uint32_t clocks_high, clocks_low;
 	uint32_t currticks;
 	return currticks;
 }
 
-static int rtdsc_ts_init(void)
+static int rdtsc_ts_init(void)
 {
 
 	struct cpuinfo_x86 cpu_info;
 	if (cpu_info.features & X86_FEATURE_TSC) {
 		clocks_per_second = calibrate_tsc();
 		if (clocks_per_second) {
-			DBG("RTDSC Ticksource installed. CPU running at %ld Mhz\n",
+			DBG("RDTSC ticksource installed. CPU running at %ld Mhz\n",
 				clocks_per_second/(1000*1000));
 			return 0;
 		}
 	}
 
-	DBG("RTDSC timer not available on this machine.\n");
+	DBG("RDTSC ticksource not available on this machine.\n");
 	return -ENODEV;
 }
 
-struct timer rtdsc_ts __timer (01) = {
-	.init = rtdsc_ts_init,
+struct timer rdtsc_ts __timer (01) = {
+	.init = rdtsc_ts_init,
 	.udelay = generic_currticks_udelay,
-	.currticks = rtdsc_currticks,
+	.currticks = rdtsc_currticks,
 };
 

src/arch/i386/include/bits/errfile.h

 #define ERRFILE_undionly	 ( ERRFILE_ARCH | ERRFILE_NET | 0x00030000 )
 #define ERRFILE_undirom		 ( ERRFILE_ARCH | ERRFILE_NET | 0x00040000 )
 
-#define ERRFILE_timer_rtdsc    ( ERRFILE_ARCH | ERRFILE_DRIVER | 0x00000000 )
+#define ERRFILE_timer_rdtsc    ( ERRFILE_ARCH | ERRFILE_DRIVER | 0x00000000 )
 #define ERRFILE_timer_bios     ( ERRFILE_ARCH | ERRFILE_DRIVER | 0x00010000 )
 
 /** @} */

src/config.h

 #undef	CONSOLE_PC_KBD		/* Direct access to PC keyboard */
 
 #define TIMER_BIOS
-#define TIMER_RTDSC
+#define TIMER_RDTSC
 
 /* @END general.h */
 

src/core/config.c

 REQUIRE_OBJECT ( timer_bios );
 #endif
 
-#ifdef TIMER_RTDSC
-REQUIRE_OBJECT ( timer_rtdsc );
+#ifdef TIMER_RDTSC
+REQUIRE_OBJECT ( timer_rdtsc );
 #endif
 /*
  * Drag in all requested protocols