These files are part of the Intel VTune distribution