arm_splassert_check
void arm_splassert_check(int, const char *);
arm_splassert_check(__wantipl, __func__); \
void arm_splassert_check(int, const char *);
arm_splassert_check(__wantipl, __func__); \