Synopsis
void
__set_CPSR
(
unsigned
val
);
Description
__set_CPSR
sets the value of the ARM CPSR.