\r
ArmCallWFE\r
wfe\r
- blx lr\r
+ bx lr\r
\r
ArmCallSEV\r
sev\r
- blx lr\r
+ bx lr\r
\r
ArmReadSctlr\r
- mrc p15, 0, R0, c1, c0, 0 // Read SCTLR into R0 (Read control register configuration data)\r
- bx lr\r
+ mrc p15, 0, r0, c1, c0, 0 // Read SCTLR into R0 (Read control register configuration data)\r
+ bx lr\r
\r
END\r