Home
last modified time | relevance | path

Searched refs:gtdt (Results 1 – 1 of 1) sorted by relevance

/freebsd/sys/arm/arm/
H A Dgeneric_timer.c550 ACPI_TABLE_GTDT *gtdt; in arm_tmr_acpi_identify() local
558 gtdt = acpi_map_table(physaddr, ACPI_SIG_GTDT); in arm_tmr_acpi_identify()
559 if (gtdt == NULL) { in arm_tmr_acpi_identify()
572 gtdt->SecureEl1Interrupt); in arm_tmr_acpi_identify()
574 gtdt->NonSecureEl1Interrupt); in arm_tmr_acpi_identify()
576 gtdt->VirtualTimerInterrupt); in arm_tmr_acpi_identify()
578 gtdt->NonSecureEl2Interrupt); in arm_tmr_acpi_identify()
581 acpi_unmap_table(gtdt); in arm_tmr_acpi_identify()