.set_next_event = hpet_legacy_next_event,
        .shift          = 32,
        .irq            = 0,
+       .rating         = 50,
 };
 
 static void hpet_start_counter(void)
        hpet_writel(cfg, HPET_CFG);
 }
 
+static void hpet_resume_device(void)
+{
+       ich_force_hpet_resume();
+}
+
+static void hpet_restart_counter(void)
+{
+       hpet_resume_device();
+       hpet_start_counter();
+}
+
 static void hpet_enable_legacy_int(void)
 {
        unsigned long cfg = hpet_readl(HPET_CFG);
        .mask           = HPET_MASK,
        .shift          = HPET_SHIFT,
        .flags          = CLOCK_SOURCE_IS_CONTINUOUS,
-       .resume         = hpet_start_counter,
+       .resume         = hpet_restart_counter,
 #ifdef CONFIG_X86_64
        .vread          = vread_hpet,
 #endif
  */
 static __init int hpet_late_init(void)
 {
-       if (!is_hpet_capable())
+       if (boot_hpet_disable)
                return -ENODEV;
 
+       if (!hpet_address) {
+               if (!force_hpet_address)
+                       return -ENODEV;
+
+               hpet_address = force_hpet_address;
+               hpet_enable();
+               if (!hpet_virt_address)
+                       return -ENODEV;
+       }
+
        hpet_reserve_platform_timers(hpet_readl(HPET_ID));
+
        return 0;
 }
 fs_initcall(hpet_late_init);
 
 
 /* hpet memory map physical address */
 extern unsigned long hpet_address;
+extern unsigned long force_hpet_address;
 extern int is_hpet_enabled(void);
 extern int hpet_enable(void);
 extern unsigned long hpet_readl(unsigned long a);