Searched refs:x86_core_data (Results 1 - 11 of 11) sorted by relevance

/barrelfish-master/kernel/include/arch/x86/
H A Dstartup_x86.h35 struct dcb *spawn_app_init(struct x86_core_data *core_data, const char *name);
37 extern struct x86_core_data *glbl_core_data; // XXX: Arch specific
/barrelfish-master/include/target/x86/barrelfish_kpi/
H A Dcoredata_target.h45 struct x86_core_data { struct
72 genpaddr_t kcb; ///< The kernel control block, this should fully replace x86_core_data at some point
/barrelfish-master/kernel/arch/x86/
H A Dmultiboot.c24 struct x86_core_data *glbl_core_data = NULL;
H A Dstartup_x86.c483 struct x86_core_data *core_data
/barrelfish-master/kernel/arch/x86_32/
H A Dinit.c505 glbl_core_data = (struct x86_core_data *)
664 memset(glbl_core_data, 0, sizeof(struct x86_core_data));
682 struct x86_core_data *core_data =
683 (struct x86_core_data*)(dest - BASE_PAGE_SIZE);
H A Dstartup_arch.c545 struct dcb *spawn_app_init(struct x86_core_data *core_data,
/barrelfish-master/kernel/arch/x86_64/
H A Dinit.c437 glbl_core_data = (struct x86_core_data *)
649 struct x86_core_data *core_data =
650 (struct x86_core_data*)(dest - BASE_PAGE_SIZE);
H A Dstartup_arch.c468 struct dcb *spawn_app_init(struct x86_core_data *core_data, const char *name)
/barrelfish-master/kernel/arch/k1om/
H A Dinit.c458 glbl_core_data = (struct x86_core_data *)
684 struct x86_core_data *core_data =
685 (struct x86_core_data*)(dest - BASE_PAGE_SIZE);
H A Dstartup_arch.c488 struct dcb *spawn_app_init(struct x86_core_data *core_data, const char *name)
/barrelfish-master/usr/drivers/cpuboot/arch/x86/
H A Dboot_arch.c622 assert(sizeof(struct x86_core_data) <= arch_page_size);
653 struct x86_core_data *core_data = (struct x86_core_data *)cpu_buf_memory;

Completed in 65 milliseconds