Home
last modified time | relevance | path

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

/external/coreboot/src/include/acpi/
Dacpi.h1589 u32 platform_timer_count; member
/external/coreboot/src/acpi/
Dacpi.c1171 current = acpi_soc_gtdt_add_timers(&gtdt->platform_timer_count, current); in acpi_create_gtdt()
/external/bcc/libbpf-tools/arm64/
Dvmlinux_608.h41888 u32 platform_timer_count; member
Dvmlinux.h41888 u32 platform_timer_count; member