vtuneSetThreadName   58 source/common/common.h #define THREAD_NAME(n,i)     vtuneSetThreadName(n, i)
vtuneSetThreadName   49 source/profile/vtune/vtune.h void vtuneSetThreadName(const char *name, int id);