/* is_hpet_enabled - check whether the hpet timer interrupt is enabled  */
int is_hpet_enabled(void)
/* is_hpet_enabled - check whether the hpet timer interrupt is enabled  */
int is_hpet_enabled(void)
{
	return is_hpet_capable() && hpet_legacy_int_enabled;
}