HPET_TIMER_SUPPORT
if (hpet.supported >= HPET_TIMER_SUPPORT)
hpet.supported = HPET_TIMER_SUPPORT;
if (hpet.supported >= HPET_TIMER_SUPPORT)
if (hpet.supported > HPET_TIMER_SUPPORT)
return ((hpet.supported >= HPET_TIMER_SUPPORT) ? B_TRUE : B_FALSE);
if (hpet.supported != HPET_TIMER_SUPPORT)