Searched refs:GICR_TYPER (Results 1 – 2 of 2) sorted by relevance
75 #define GICR_TYPER 0x08 macro
55 uint64_t gicr_typer = gicr_read64(GICR_TYPER); in find_gicr_pe_base()