void test_vst3Qs32 (void) { int32_t *arg0_int32_t; int32x4x3_t arg1_int32x4x3_t; vst3q_s32 (arg0_int32_t, arg1_int32x4x3_t); }
inline void vst3q(s32 * ptr, const int32x4x3_t & v) { return vst3q_s32(ptr, v); }
void test_vst3Qs32 (void) { int32_t *arg0_int32_t; int32x4x3_t arg1_int32x4x3_t; vst3q_s32 (arg0_int32_t, arg1_int32x4x3_t); }
inline void vst3q(s32 * ptr, const int32x4x3_t & v) { return vst3q_s32(ptr, v); }