Symbol: ARM_A5_TLBDATA_ASID
sys/arch/arm/arm32/arm32_tlb.c
167
ARM_A5_TLBDATA_ASID);
sys/arch/arm/arm32/db_machdep.c
298
const tlb_asid_t asid = __SHIFTOUT(d, ARM_A5_TLBDATA_ASID);