Symbol: CP15_TTBR0
sys/arm/include/cpu.h
156
_WF1(_CP15_TTB_SET, CP15_TTBR0(%0))
sys/arm/include/cpu.h
201
_RF0(cp15_ttbr_get, CP15_TTBR0(%0))