Searched refs:NonSecureEl1Interrupt (Results 1 – 2 of 2) sorted by relevance
1304 UINT32 NonSecureEl1Interrupt; member
793 {ACPI_DMT_UINT32, ACPI_GTDT_OFFSET (NonSecureEl1Interrupt), "Non-Secure EL1 Interrupt", 0},