Symbol: hpet_read_main_counter_value_32
usr/src/uts/i86pc/io/hpet_acpi.c
563
return (hpet_read_main_counter_value_32(&hpet_info));
usr/src/uts/i86pc/io/hpet_acpi.c
58
static uint32_t hpet_read_main_counter_value_32(hpet_info_t *hip);