Lines Matching refs:x86_core_t
53 static x86_core_t *free_cores = NULL;
356 static x86_core_t *
359 x86_core_t *core;
372 core = kalloc(sizeof(x86_core_t));
374 panic("x86_core_alloc() kalloc of x86_core_t failed!\n");
377 bzero((void *) core, sizeof(x86_core_t));
389 x86_core_free(x86_core_t *core)
444 static x86_core_t *
447 x86_core_t *core;
477 x86_set_core_numbers(x86_core_t *core, x86_lcpu_t *lcpu)
609 x86_core_t *core;
733 x86_core_add_lcpu(x86_core_t *core, x86_lcpu_t *lcpu)
759 x86_die_add_core(x86_die_t *die, x86_core_t *core)
782 x86_package_add_core(x86_pkg_t *pkg, x86_core_t *core)
807 x86_core_t *core = NULL;
937 x86_core_t *core;
977 x86_core_t *core;
1008 x86_core_t *core;
1184 x86_core_t *core;