Home
last modified time | relevance | path

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

/Linux-v4.19/drivers/acpi/arm64/
Dgtdt.c159 int *platform_timer_count) in acpi_gtdt_init() argument
168 if (platform_timer_count) in acpi_gtdt_init()
169 *platform_timer_count = 0; in acpi_gtdt_init()
177 if (!gtdt->platform_timer_count) { in acpi_gtdt_init()
188 if (platform_timer_count) in acpi_gtdt_init()
189 *platform_timer_count = gtdt->platform_timer_count; in acpi_gtdt_init()
/Linux-v4.19/drivers/clocksource/
Darm_arch_timer.c1463 static int __init arch_timer_mem_acpi_init(int platform_timer_count) in arch_timer_mem_acpi_init() argument
1469 timers = kcalloc(platform_timer_count, sizeof(*timers), in arch_timer_mem_acpi_init()
1514 int ret, platform_timer_count; in arch_timer_acpi_init() local
1523 ret = acpi_gtdt_init(table, &platform_timer_count); in arch_timer_acpi_init()
1566 if (platform_timer_count && in arch_timer_acpi_init()
1567 arch_timer_mem_acpi_init(platform_timer_count)) in arch_timer_acpi_init()
/Linux-v4.19/include/acpi/
Dactbl1.h994 u32 platform_timer_count; member
/Linux-v4.19/include/linux/
Dacpi.h625 int acpi_gtdt_init(struct acpi_table_header *table, int *platform_timer_count);