Searched refs:GICD_TYPER (Results 1 – 3 of 3) sorted by relevance
58 #define GICD_TYPER 0x0004 /* v1 ICDICTR */ macro
336 sc->typer = gic_d_read_4(sc, GICD_TYPER); in arm_gic_attach()
303 typer = gic_d_read(sc, 4, GICD_TYPER); in gic_v3_attach()