Symbol: GICR_TYPER
sys/arch/arm64/dev/agintc.c
456
offset + GICR_TYPER);
sys/arch/arm64/dev/agintc.c
493
offset + GICR_TYPER);
sys/arch/arm64/dev/agintc.c
503
sc->sc_rbase_ioh[idx], offset + GICR_TYPER) >> 32;
sys/arch/arm64/dev/agintc.c
513
sc->sc_rbase_ioh[idx], offset + GICR_TYPER) >> 8;