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);