| 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',
|
|
|