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;