PT_MAXSHMIDS
pt_to_str(PT_MAXSHMIDS));
case PT_MAXSHMIDS:
remove_aliased_rctl(PT_MAXSHMIDS, ALIAS_MAXSHMIDS);
} else if (prop_type == PT_MAXSHMIDS) {
| MAXSHMIDS { $$ = PT_MAXSHMIDS; }