|
@@ -69,10 +69,12 @@ EXPORT_SYMBOL(profile_pc);
|
|
|
*/
|
|
|
int (*set_rtc)(void);
|
|
|
|
|
|
+#ifndef CONFIG_GENERIC_TIME
|
|
|
static unsigned long dummy_gettimeoffset(void)
|
|
|
{
|
|
|
return 0;
|
|
|
}
|
|
|
+#endif
|
|
|
|
|
|
/*
|
|
|
* Scheduler clock - returns current time in nanosec units.
|
|
@@ -230,6 +232,7 @@ static inline void do_leds(void)
|
|
|
#define do_leds()
|
|
|
#endif
|
|
|
|
|
|
+#ifndef CONFIG_GENERIC_TIME
|
|
|
void do_gettimeofday(struct timeval *tv)
|
|
|
{
|
|
|
unsigned long flags;
|
|
@@ -291,6 +294,7 @@ int do_settimeofday(struct timespec *tv)
|
|
|
}
|
|
|
|
|
|
EXPORT_SYMBOL(do_settimeofday);
|
|
|
+#endif /* !CONFIG_GENERIC_TIME */
|
|
|
|
|
|
/**
|
|
|
* save_time_delta - Save the offset between system time and RTC time
|
|
@@ -500,8 +504,10 @@ device_initcall(timer_init_sysfs);
|
|
|
|
|
|
void __init time_init(void)
|
|
|
{
|
|
|
+#ifndef CONFIG_GENERIC_TIME
|
|
|
if (system_timer->offset == NULL)
|
|
|
system_timer->offset = dummy_gettimeoffset;
|
|
|
+#endif
|
|
|
system_timer->init();
|
|
|
|
|
|
#ifdef CONFIG_NO_IDLE_HZ
|