Home
last modified time | relevance | path

Searched refs:non_secure_el1_flags (Results 1 – 3 of 3) sorted by relevance

/xen-4.10.0-shim-comet/xen/arch/arm/
A Dtime.c84 irq_type = acpi_get_timer_irq_type(gtdt->non_secure_el1_flags); in arch_timer_acpi_init()
/xen-4.10.0-shim-comet/xen/include/acpi/
A Dactbl3.h257 u32 non_secure_el1_flags; member
/xen-4.10.0-shim-comet/tools/libxl/
A Dlibxl_arm_acpi.c238 gtdt->non_secure_el1_flags = in make_acpi_gtdt()

Completed in 6 milliseconds