Merge branch 'master' of ssh://code.systems.ethz.ch:8006/diffusion/BFI/barrelfish
[barrelfish] / usr / drivers / cpuboot / x86boot.c
index eda6167..ad01c29 100644 (file)
@@ -83,7 +83,6 @@ errval_t get_core_info(coreid_t core_id, archid_t* apic_id, enum cpu_type* cpu_t
     *apic_id = (archid_t) apic;
     *cpu_type = (enum cpu_type) type;
 out:
-    free(record);
     return err;
 #endif
 }