Index: tools/gen-postmortem-metadata.py |
diff --git a/tools/gen-postmortem-metadata.py b/tools/gen-postmortem-metadata.py |
index 7dbefdef7faabf4f1fd6db456263b666407c0cf0..fbde6778dfb0ae977455f2fda7c400deaea89b21 100644 |
--- a/tools/gen-postmortem-metadata.py |
+++ b/tools/gen-postmortem-metadata.py |
@@ -76,6 +76,7 @@ consts_misc = [ |
{ 'name': 'SmiTag', 'value': 'kSmiTag' }, |
{ 'name': 'SmiTagMask', 'value': 'kSmiTagMask' }, |
{ 'name': 'SmiValueShift', 'value': 'kSmiTagSize' }, |
+ { 'name': 'SmiShiftSize', 'value': 'kSmiShiftSize' }, |
{ 'name': 'PointerSizeLog2', 'value': 'kPointerSizeLog2' }, |
{ 'name': 'prop_idx_transitions', |