Symbol: GITS_BASER_TYPE_MASK
sys/arch/arm64/dev/agintc.c
1666
if ((baser & GITS_BASER_TYPE_MASK) != GITS_BASER_TYPE_DEVICE)
sys/arch/arm64/dev/agintc.c
1754
if ((baser & GITS_BASER_TYPE_MASK) != GITS_BASER_TYPE_COLL)