platform_timer_offset 179 drivers/acpi/arm64/gtdt.c platform_timer = (void *)gtdt + gtdt->platform_timer_offset; platform_timer_offset 995 include/acpi/actbl1.h u32 platform_timer_offset;