printf which texture in __device__ function

I have two identical textures. They are read by a function inside my
kernel. For debugging, how can I double check the right texture
has been passed to the function? Is there a texture identifier I
could printf() when the function is called?

Many thanks