Symbol: GITS_BASER_PA_MASK
sys/arch/arm64/dev/agintc.c
1739
KASSERT((dtt_pa & GITS_BASER_PA_MASK) == dtt_pa);
sys/arch/arm64/dev/agintc.c
1802
KASSERT((ctt_pa & GITS_BASER_PA_MASK) == ctt_pa);
sys/arch/arm64/dev/agintc.c
1907
KASSERT((dtt_pa & GITS_BASER_PA_MASK) == dtt_pa);