/* Replaced by C code in arch/arm/src */