63c63,67
< ss << MiscRegNames.at(csr);
---
> auto name = MiscRegNames.find(csr);
> if (name != MiscRegNames.end())
> ss << name->second;
> else
> ss << "?? (" << hex << "0x" << csr << ")";