Searched refs:non_secure_el2_flags (Results 1 – 2 of 2) sorted by relevance
| /linux-4.1.27/include/acpi/ | ||
| D | actbl3.h | 260 u32 non_secure_el2_flags; member |
| /linux-4.1.27/drivers/clocksource/ | ||
| D | arm_arch_timer.c | 864 gtdt->non_secure_el2_flags); in arch_timer_acpi_init() |