Symbol: DART_T8020_TLB_CMD
sys/arch/arm64/dev/apldart.c
751
HWRITE4(sc, DART_T8020_TLB_CMD, DART_T8020_TLB_CMD_FLUSH);
sys/arch/arm64/dev/apldart.c
752
while (HREAD4(sc, DART_T8020_TLB_CMD) & DART_T8020_TLB_CMD_BUSY)