Lines Matching defs:gtdt
1977 ACPI_TABLE_GTDT *gtdt;
1983 gtdt = (ACPI_TABLE_GTDT *)sdp;
1986 (uintmax_t)gtdt->CounterBlockAddresss); /* XXX not 8byte aligned */
1988 (uintmax_t)gtdt->CounterReadBlockAddress);
1990 #define PRINTTIMER(gtdt, name) acpi_print_gtd_timer( \
1991 #name, (gtdt)-> name## Interrupt, \
1992 (gtdt)-> name ## Flags)
1994 PRINTTIMER(gtdt, SecureEl1);
1995 PRINTTIMER(gtdt, NonSecureEl1);
1996 PRINTTIMER(gtdt, VirtualTimer);
1997 PRINTTIMER(gtdt, NonSecureEl2);
2001 printf("\tPlatform Timer Count=%d\n", gtdt->PlatformTimerCount);
2003 hdr = (ACPI_GTDT_HEADER *)((vaddr_t)sdp + gtdt->PlatformTimerOffset);
2004 for (i = 0; i < gtdt->PlatformTimerCount; i++) {
2007 printf("\tWrong GTDT header"
Indexes created Wed Oct 01 13:09:50 GMT 2025