diff options
Diffstat (limited to 'lib/tsan')
-rw-r--r-- | lib/tsan/rtl/tsan_stat.cc | 1 | ||||
-rw-r--r-- | lib/tsan/rtl/tsan_stat.h | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/lib/tsan/rtl/tsan_stat.cc b/lib/tsan/rtl/tsan_stat.cc index 73622986..30177e71 100644 --- a/lib/tsan/rtl/tsan_stat.cc +++ b/lib/tsan/rtl/tsan_stat.cc @@ -392,6 +392,7 @@ void StatOutput(u64 *stat) { name[StatInt_ether_ntohost] = " ether_ntohost "; name[StatInt_ether_hostton] = " ether_hostton "; name[StatInt_ether_line] = " ether_line "; + name[StatInt_shmctl] = " shmctl "; name[StatAnnotation] = "Dynamic annotations "; name[StatAnnotateHappensBefore] = " HappensBefore "; diff --git a/lib/tsan/rtl/tsan_stat.h b/lib/tsan/rtl/tsan_stat.h index 61eea825..5b8c60f0 100644 --- a/lib/tsan/rtl/tsan_stat.h +++ b/lib/tsan/rtl/tsan_stat.h @@ -387,6 +387,7 @@ enum StatType { StatInt_ether_ntohost, StatInt_ether_hostton, StatInt_ether_line, + StatInt_shmctl, // Dynamic annotations. StatAnnotation, |