#include #include #include namespace Grid { bool PmuStat::pmu_initialized=false; void PmuStat::init(const char *regname) { name = regname; if (!pmu_initialized) { std::cout<<"initialising pmu"<