[CUDA] Casting between void* and CUdeviceptr