Symbol: hpet_read_gen_config