void test_vst4Qu32 (void) { uint32_t *arg0_uint32_t; uint32x4x4_t arg1_uint32x4x4_t; vst4q_u32 (arg0_uint32_t, arg1_uint32x4x4_t); }
inline void vst4q(u32 * ptr, const uint32x4x4_t & v) { return vst4q_u32(ptr, v); }