Searched refs:hpet_boot_cfg (Results 1 – 1 of 1) sorted by relevance
767 static u32 *hpet_boot_cfg; variable799 hpet_boot_cfg = xmalloc_array(u32, 2 + last); in hpet_setup()800 hpet_resume(hpet_boot_cfg); in hpet_setup()859 if ( !hpet_boot_cfg ) in hpet_disable()866 hpet_write32(*hpet_boot_cfg & ~HPET_CFG_ENABLE, HPET_CFG); in hpet_disable()870 hpet_write32(hpet_boot_cfg[i + 1], HPET_Tn_CFG(i)); in hpet_disable()872 if ( *hpet_boot_cfg & HPET_CFG_ENABLE ) in hpet_disable()873 hpet_write32(*hpet_boot_cfg, HPET_CFG); in hpet_disable()
Completed in 4 milliseconds