Searched refs:El0BaseAddress (Results 1 – 3 of 3) sorted by relevance
1772 UINT64 El0BaseAddress; member
1341 {ACPI_DMT_UINT64, ACPI_GTDT0a_OFFSET (El0BaseAddress), "EL0 Base Address", 0},
1923 (uintmax_t)entry->El0BaseAddress); in acpi_print_gtblock()