typedef short __attribute__((address_space(6))) *ubptr;

void inline_vadd(ubptr dst, ubptr src0, ubptr src1, unsigned long config) {
    __asm__ volatile(
        "VADD.s16 [%0], [%1], [%2], %3, MASK"
        :
        : "l"(dst), "l"(src0), "l"(src1), "l"(config)
        : "memory");
}