Searched refs:GICD_TYPER (Results 1 – 2 of 2) sorted by relevance
46 #define GICD_TYPER U(0x4) macro
25 return mmio_read_32(base + GICD_TYPER); in gicd_read_typer()