Home
last modified time | relevance | path

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

/linux-6.1.9/drivers/acpi/arm64/
Dgtdt.c179 platform_timer = (void *)gtdt + gtdt->platform_timer_offset; in acpi_gtdt_init()
/linux-6.1.9/include/acpi/
Dactbl1.h1105 u32 platform_timer_offset; member