void test_vst4u16 (void) { uint16_t *arg0_uint16_t; uint16x4x4_t arg1_uint16x4x4_t; vst4_u16 (arg0_uint16_t, arg1_uint16x4x4_t); }
inline void vst4(u16 * ptr, const uint16x4x4_t & v) { return vst4_u16(ptr, v); }