Symbol: hpet_write_gen_config
usr/src/uts/i86pc/io/hpet_acpi.c
588
hpet_write_gen_config(hip, gen_conf);
usr/src/uts/i86pc/io/hpet_acpi.c
63
static void hpet_write_gen_config(hpet_info_t *hip, uint64_t l);