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