non_secure_el1_flags  102 drivers/acpi/arm64/gtdt.c 				  gtdt->non_secure_el1_flags);
non_secure_el1_flags  130 drivers/acpi/arm64/gtdt.c 		return !(gtdt->non_secure_el1_flags & ACPI_GTDT_ALWAYS_ON);
non_secure_el1_flags  988 include/acpi/actbl1.h 	u32 non_secure_el1_flags;