Home
last modified time | relevance | path

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

/linux/drivers/acpi/arm64/
H A Dgtdt.c34 void *platform_timer; member
39 static __init bool platform_timer_valid(void *platform_timer) in platform_timer_valid() argument
41 struct acpi_gtdt_header *gh = platform_timer; in platform_timer_valid()
43 return (platform_timer >= (void *)(acpi_gtdt_desc.gtdt + 1) && in platform_timer_valid()
44 platform_timer < acpi_gtdt_desc.gtdt_end && in platform_timer_valid()
46 platform_timer + gh->length <= acpi_gtdt_desc.gtdt_end); in platform_timer_valid()
49 static __init void *next_platform_timer(void *platform_timer) in next_platform_timer() argument
51 struct acpi_gtdt_header *gh = platform_timer; in next_platform_timer()
53 return platform_timer + gh->length; in next_platform_timer()
57 for (_g = acpi_gtdt_desc.platform_timer; platform_timer_valid(_g);\
[all …]