extern int hpet_set_alarm_time(unsigned char hrs, unsigned char min,
                               unsigned char sec);
 extern int hpet_set_periodic_freq(unsigned long freq);
-extern int hpet_rtc_dropped_irq(void);
 extern int hpet_rtc_timer_init(void);
 extern irqreturn_t hpet_rtc_interrupt(int irq, void *dev_id);
 extern int hpet_register_irq_handler(rtc_irq_handler handler);
 
 }
 EXPORT_SYMBOL_GPL(hpet_set_periodic_freq);
 
-int hpet_rtc_dropped_irq(void)
-{
-       return is_hpet_enabled();
-}
-EXPORT_SYMBOL_GPL(hpet_rtc_dropped_irq);
-
 static void hpet_rtc_timer_reinit(void)
 {
        unsigned int delta;
 
        return 0;
 }
 
-static inline int hpet_rtc_dropped_irq(void)
-{
-       return 0;
-}
-
 static inline int hpet_rtc_timer_init(void)
 {
        return 0;