EXPORT ArmGetInterruptState
EXPORT ArmInvalidateTlb
EXPORT ArmSetTranslationTableBaseAddress
+ EXPORT ArmGetTranslationTableBaseAddress
EXPORT ArmSetDomainAccessControl
EXPORT CPSRMaskInsert
EXPORT CPSRRead
mcr p15,0,r0,c2,c0,0
bx lr
+ArmSetTranslationTableBaseAddress
+ mrc p15,0,r0,c2,c0,0
+ bx lr
+
ArmSetDomainAccessControl
mcr p15,0,r0,c3,c0,0
bx lr