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