About HPET is_hpet_capable()

[limp]

Hi all,

I am having a deeper look on Linux hpet code and I was wondering how exactly
is_hpet_capable() works.
>From the name of it, I assume that this function checks if the system
supports HPET or not but I can't really tell how it does that.

The function is the following:

static inline int is_hpet_capable(void)
{
         return !boot_hpet_disable && hpet_address;
}

Could anyone help me understand how this works?

Regards.