17 void tabify(
int ntot_spaces, std::stringstream&
str) {
18 for (
int i = 0;
i < ntot_spaces; ++
i) {
39 std::stringstream
str;
48 if (nchar < 15) tabify(15 - nchar,
str);
49 str <<
" mask/zero mask/shift/bits/offset ";
54 if (nchar < 4) tabify(4 - nchar,
str);
61 if (nchar < 3) tabify(3 - nchar,
str);
66 if (nchar < 3) tabify(3 - nchar,
str);
71 if (nchar < 3) tabify(3 - nchar,
str);
79 if (nchar < 20) tabify(20 - nchar,
str);
83 else str <<
"unknown ";