About HPET is_hpet_capable()

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.