104c104
< const char *description() { return "Timing CPU tick"; }
---
> const char *description() const { return "Timing CPU tick"; }
130c130
< const char *description() { return "Timing CPU icache tick"; }
---
> const char *description() const { return "Timing CPU icache tick"; }
158c158
< const char *description() { return "Timing CPU dcache tick"; }
---
> const char *description() const { return "Timing CPU dcache tick"; }
222c222
< virtual const char *description();
---
> virtual const char *description() const;