Symbol: ACPI_GTDT_ALWAYS_ON
drivers/acpi/arm64/gtdt.c
136
return !(gtdt->non_secure_el1_flags & ACPI_GTDT_ALWAYS_ON);
drivers/acpi/arm64/gtdt.c
139
return !(gtdt->virtual_timer_flags & ACPI_GTDT_ALWAYS_ON);
drivers/acpi/arm64/gtdt.c
142
return !(gtdt->non_secure_el2_flags & ACPI_GTDT_ALWAYS_ON);