diff --git a/cpu/profile.hh b/cpu/profile.hh
index c795b8f414..b7526ab6a7 100644
--- a/cpu/profile.hh
+++ b/cpu/profile.hh
@@ -44,7 +44,7 @@ class ProfileNode
     ChildList children;
 
   public:
-    int count;
+    Counter count;
 
   public:
     ProfileNode();