Home
last modified time | relevance | path

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

/Linux-v4.19/drivers/acpi/arm64/
Dgtdt.c37 void *platform_timer; member
42 static inline void *next_platform_timer(void *platform_timer) in next_platform_timer() argument
44 struct acpi_gtdt_header *gh = platform_timer; in next_platform_timer()
46 platform_timer += gh->length; in next_platform_timer()
47 if (platform_timer < acpi_gtdt_desc.gtdt_end) in next_platform_timer()
48 return platform_timer; in next_platform_timer()
54 for (_g = acpi_gtdt_desc.platform_timer; _g; \
57 static inline bool is_timer_block(void *platform_timer) in is_timer_block() argument
59 struct acpi_gtdt_header *gh = platform_timer; in is_timer_block()
64 static inline bool is_non_secure_watchdog(void *platform_timer) in is_non_secure_watchdog() argument
[all …]