Searched refs:GICR_TYPER (Results 1 – 3 of 3) sorted by relevance
149 GICR_TYPER); in fpga_get_redist_size()
166 #define GICR_TYPER U(0x08) macro
324 return mmio_read_64(base + GICR_TYPER); in gicr_read_typer()