Searched refs:GICD_TYPER (Results 1 – 1 of 1) sorted by relevance
58 #define GICD_TYPER 0x4 macro199 return mmio_read_32(base + GICD_TYPER); in gicd_read_typer()