Symbol: DART_TTBR
sys/arch/arm/apple/apple_dart.c
617
DART_WRITE(sc, DART_TTBR(sid, idx), 0);
sys/arch/arm/apple/apple_dart.c
668
DART_WRITE(sc, DART_TTBR(sid, idx),
sys/arch/arm/apple/apple_dart.c
674
DART_TTBR(sid, idx));