[T115] making SKB CPU facts consistent beginning with core_id
authorReto Achermann <reto.achermann@inf.ethz.ch>
Wed, 10 Jun 2015 12:31:03 +0000 (14:31 +0200)
committerReto Achermann <reto.achermann@inf.ethz.ch>
Wed, 10 Jun 2015 12:31:03 +0000 (14:31 +0200)
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

usr/skb/measurement/cpuid.c

index 8ab5b18..d4f9e93 100644 (file)
@@ -53,9 +53,9 @@ void gather_cpuid_data(coreid_t core_id)
     uint8_t i = 0;
     struct cpuid_cacheinfo ci;
     while(cpuid_cache_info(&ci, i) == SYS_ERR_OK) {
-        skb_add_fact("cpu_cache(%s, %"PRIuCOREID", %"PRIu8", %s, %"PRIu64
+        skb_add_fact("cpu_cache(%"PRIuCOREID", %s, %"PRIu8", %s, %"PRIu64
                      ", %"PRIu16", %"PRIu16", %"PRIu8", %"PRIu8").",
-                     ci.name, core_id,ci.level, cpuid_cache_type_string(ci.type),
+                     core_id, ci.name, ci.level, cpuid_cache_type_string(ci.type),
                      ci.size, ci.associativity, ci.linesize, ci.shared,
                      ci.inclusive);
         i++;
@@ -80,8 +80,8 @@ void gather_cpuid_data(coreid_t core_id)
 
     struct cpuid_adressspaceinfo ai;
     cpuid_address_space_info(&ai);
-    skb_add_fact("cpu_addrspace(%"PRIu8 ", %"PRIu32 ", %"PRIu32").",
-                 ai.physical, ai.virtual, ai.guest_physical);
+    skb_add_fact("cpu_addrspace(%" PRIuCOREID ", %" PRIu8 ", %"PRIu32 ", %"PRIu32").",
+                    core_id, ai.physical, ai.virtual, ai.guest_physical);
 
 
 }