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