That's two of them - there's also a "redundancy coprocessor" which implements security features like stack canaries and flow control assertions. (As well as the

That's two of them - there's also a "redundancy coprocessor" which implements security features like stack canaries and flow control assertions. (As well as the standard ARM single-precision FPU.)