Merge branch 'master' of ssh://code.systems.ethz.ch:8006/diffusion/BFI/barrelfish
[barrelfish] / usr / drivers / cpuboot / main.c
index 1d77751..85a7f1b 100644 (file)
@@ -145,7 +145,6 @@ static int list_kcb(int argc, char **argv) {
                kcb_id, barrelfish_id, cap_key);
 
         free(cap_key);
-        free(record);
     }
     if (len == 0) {
         DEBUG("%s:%s:%d: No KCB found?\n",
@@ -175,8 +174,6 @@ static int list_cpu(int argc, char **argv) {
 
         printf("CPU %"PRIu64": HW_ID=%"PRIu64" TYPE=%s ENABLED=%"PRIu64"\n",
                barrelfish_id, hw_id, cpu_type_to_archstr(type), enabled);
-
-        free(record);
     }
     if (len == 0) {
         DEBUG("%s:%s:%d: No cpus found?\n",