void X86CoreDestroy(X86Core *self)
{
int i;
/* Name */
self->name = str_free(self->name);
/* Free threads */
for (i = 0; i < x86_cpu_num_threads; i++)
delete(self->threads[i]);
free(self->threads);
/* Prefetcher */
prefetch_history_free(self->prefetch_history);
/* Structures */
X86CoreFreeROB(self);
X86CoreFreeEventQueue(self);
X86CoreFreeFunctionalUnits(self);
}
static void x86_cpu_core_done(int core)
{
free(X86_CORE.thread);
prefetch_history_free(X86_CORE.prefetch_history);
}
