hpet
ACPI_TABLE_HPET hpet;
memset(&hpet, 0, sizeof(hpet));
hpet.Id = htole32(hpet_capabilities);
basl_fill_gas(&hpet.Address, ACPI_ADR_SPACE_SYSTEM_MEMORY, 0, 0,
hpet.Flags = ACPI_HPET_PAGE_PROTECT4;
BASL_EXEC(basl_table_append_content(table, &hpet, sizeof(hpet)));
hpet.install_proxy = &hpet_install_proxy;
hpet.callback = &hpet_callback;
hpet.use_hpet_timer = &hpet_use_hpet_timer;
hpet.use_lapic_timer = &hpet_use_lapic_timer;
if (hpet.supported >= HPET_TIMER_SUPPORT)
hpet.supported = HPET_NO_SUPPORT;
hpet.supported = HPET_TIMER_SUPPORT;
if (hpet.supported == HPET_NO_SUPPORT)
if (hpet.supported >= HPET_TIMER_SUPPORT)
if (hpet.supported > HPET_TIMER_SUPPORT)
hpet.supported = HPET_FULL_SUPPORT;
if (hpet.supported != HPET_FULL_SUPPORT)
return ((hpet.supported >= HPET_TIMER_SUPPORT) ? B_TRUE : B_FALSE);
if (hpet.supported != HPET_TIMER_SUPPORT)
hpet.supported = HPET_NO_SUPPORT;
return (hpet.callback(code));
return (hpet.use_hpet_timer(lapic_expire));
hpet.use_lapic_timer(*lapic_expire);
(hpet.supported == HPET_FULL_SUPPORT) &&
hpet.install_proxy()) {
hpet_t hpet;
extern hpet_t hpet;