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