ACPI_GTDT_ALWAYS_ON 130 drivers/acpi/arm64/gtdt.c return !(gtdt->non_secure_el1_flags & ACPI_GTDT_ALWAYS_ON); ACPI_GTDT_ALWAYS_ON 133 drivers/acpi/arm64/gtdt.c return !(gtdt->virtual_timer_flags & ACPI_GTDT_ALWAYS_ON); ACPI_GTDT_ALWAYS_ON 136 drivers/acpi/arm64/gtdt.c return !(gtdt->non_secure_el2_flags & ACPI_GTDT_ALWAYS_ON);