Visual Profiler 5.5 / 6.0 and mixed CUDA / OpenCL code

Recently I was trying to profile some OpenCL code using the Visual Profiler 5.5 and 6.0. Unfortunately, no profiling information was recorded for OpenCL. The same executable also contains some CUDA calls, which are profiled with no problems (the executable compares some OpenCL and CUDA libraries for linear algebra).

Is OpenCL supported at all?

If so, is mixed OpenCL / CUDA throwing the profiler off? How so? I thought that internally, all the OpenCL calls are translated to CUDA anyways …

The application is x64, and CL_QUEUE_PROFILING_ENABLE is used.