Searched refs:GICR_TYPER (Results 1 – 3 of 3) sorted by relevance
25 #define GICR_TYPER 0x08 macro71 return mmio_read_64(base + GICR_TYPER); in gicr_read_typer()
87 #define GICR_TYPER 0x08 macro
178 return mmio_read_64(base + GICR_TYPER); in gicr_read_typer()