Symbol: MASX_TID_GET
sys/arch/powerpc/booke/e500_tlb.c
116
tlb.tlb_asid = MASX_TID_GET(hwtlb.hwtlb_mas1);
sys/arch/powerpc/booke/e500_tlb.c
492
const uint32_t asid = MASX_TID_GET(mas1);