hpet_read_gen_cap
ret = hpet_read_gen_cap(&hpet_info);
static uint64_t hpet_read_gen_cap(hpet_info_t *hip);