Symbol: GICR_TYPER
sys/arm64/arm64/gic_v3.c
1419
typer = bus_read_8(r_res, offset + GICR_TYPER);
sys/arm64/arm64/gicv3_its.c
945
if ((gic_r_read_8(gicv3, GICR_TYPER) & GICR_TYPER_PLPIS) == 0)
sys/arm64/arm64/gicv3_its.c
962
target = GICR_TYPER_CPUNUM(gic_r_read_8(gicv3, GICR_TYPER)) <<
sys/arm64/vmm/io/vgic_v3.c
349
VGIC_REGISTER(GICR_TYPER, 8, VGIC_64_BIT | VGIC_32_BIT,