Global __L1C_CleanInvalidateCache (uint32_t op): Use generic L1C_CleanInvalidateCache instead.
Global __set_CCSIDR (uint32_t value): CCSIDR itself is read-only. Use __set_CSSELR to select cache level instead.
Global __UNALIGNED_UINT32: Do not use this macro. It has been superseded by __UNALIGNED_UINT32_READ, __UNALIGNED_UINT32_WRITE and will be removed in the future.