Home
last modified time | relevance | path

Searched refs:gtdt_end (Results 1 - 2 of 2) sorted by relevance

/kernel/linux/linux-5.10/drivers/acpi/arm64/
H A Dgtdt.c25 * @gtdt_end: The pointer to the end of GTDT table.
33 void *gtdt_end; member
44 if (platform_timer < acpi_gtdt_desc.gtdt_end) in next_platform_timer()
163 acpi_gtdt_desc.gtdt_end = (void *)table + table->length; in acpi_gtdt_init()
/kernel/linux/linux-6.6/drivers/acpi/arm64/
H A Dgtdt.c25 * @gtdt_end: The pointer to the end of GTDT table.
33 void *gtdt_end; member
44 if (platform_timer < acpi_gtdt_desc.gtdt_end) in next_platform_timer()
163 acpi_gtdt_desc.gtdt_end = (void *)table + table->length; in acpi_gtdt_init()

Completed in 2 milliseconds