Eu estou tentando encontrar uma maneira de chamar uma função ptx (.func) de CUDA C. Dizer que eu tinha uma função ptx assim:

.func (.reg .s32 %res) inc_ptr ( .reg .s32 %ptr, .reg .s32 %inc )
{
    add.s32 %res, %ptr, %inc;
    ret;
}

Eu sei que posso chamá-lo de ptx assim:

call (%d), inc_ptr, (%s, %d);

Mas eu não tenho idéia de como chamá-lo de CUDA C. Eu sei que posso inline assembly ptx com asm (), mas eu não encontrei uma maneira de inline uma função. Espero que alguém possa ajudar!

Obrigado!