/barrelfish-master/usr/monitor/include/ |
H A D | monitor.h | 139 errval_t spawn_xcore_monitor(coreid_t id, int hwid, enum cpu_type cpu_type,
|
/barrelfish-master/usr/kaluga/ |
H A D | start_cpu.c | 56 struct module_info* mi = find_corectrl_for_cpu_type((enum cpu_type)type); 138 uint64_t barrelfish_id, cpu_type, hw_id, enabled = 0; local 140 &enabled, &barrelfish_id, &hw_id, &cpu_type); 146 barrelfish_id, cpu_type_to_archstr(cpu_type), hw_id);
|
H A D | boot_modules.c | 97 * @param cpu_type the CPU type 101 struct module_info* find_corectrl_for_cpu_type(enum cpu_type cpu_type) argument 103 switch(cpu_type) {
|
H A D | boot_modules.h | 49 struct module_info* find_corectrl_for_cpu_type(enum cpu_type cpu_type);
|
/barrelfish-master/usr/drivers/cpuboot/ |
H A D | main.c | 215 enum cpu_type cpu_type; local 216 errval_t err = get_core_info(target_id, &target_hwid, &cpu_type); 247 cpu_type, cmd_kernel_args, 264 enum cpu_type cpu_type; local 265 errval_t err = get_core_info(target_id, &target_hwid, &cpu_type); 270 if (cpu_type == CPU_ARM7 || cpu_type == CPU_ARM8) { 300 err = spawn_xcore_monitor(target_id, target_hwid, cpu_type, 317 enum cpu_type cpu_type; local [all...] |
H A D | coreboot.h | 83 errval_t get_architecture_config(enum cpu_type type, 88 enum cpu_type cpu_type, 92 errval_t get_core_info(coreid_t core_id, hwid_t* apic_id, enum cpu_type* cpu_type);
|
/barrelfish-master/usr/drivers/cpuboot/arch/armv8/ |
H A D | boot_arch.c | 82 invoke_monitor_spawn_core(hwid_t core_id, enum cpu_type cpu_type, argument 86 return cap_invoke6(ipi_cap, IPICmd_Send_Start, core_id, cpu_type, 628 enum cpu_type cpu_type, 640 if(cpu_type != CPU_ARM8) { 826 err = invoke_monitor_spawn_core(hwid, cpu_type, boot_entry, stack_mem.frameid.base, 865 errval_t get_core_info(coreid_t core_id, hwid_t* hw_id, enum cpu_type* cpu_type) argument 887 *cpu_type 627 spawn_xcore_monitor(coreid_t coreid, hwid_t hwid, enum cpu_type cpu_type, const char *cmdline, struct frame_identity urpc_frame_id, struct capref kcb) argument [all...] |
/barrelfish-master/usr/drivers/cpuboot/arch/x86/ |
H A D | boot_arch.c | 57 errval_t get_core_info(coreid_t core_id, hwid_t* apic_id, enum cpu_type* cpu_type) argument 67 *cpu_type = CPU_K1OM; 84 *cpu_type = (enum cpu_type) type; 91 errval_t get_architecture_config(enum cpu_type type, 505 enum cpu_type cpu_type, 515 err = get_architecture_config(cpu_type, &arch_page_size, 709 if (cpu_type 504 spawn_xcore_monitor(coreid_t coreid, hwid_t hwid, enum cpu_type cpu_type, const char *cmdline, struct frame_identity urpc_frame_id, struct capref kcb) argument [all...] |
/barrelfish-master/usr/drivers/cpuboot/arch/armv7/ |
H A D | boot_arch.c | 33 enum cpu_type cputype; 42 enum cpu_type* cpu_type) { 53 *cpu_type = (enum cpu_type) type; 253 invoke_monitor_spawn_core(coreid_t core_id, enum cpu_type cpu_type, argument 256 return cap_invoke5(ipi_cap, IPICmd_Send_Start, core_id, cpu_type, 462 enum cpu_type cpu_type, 40 get_core_info(coreid_t core_id, hwid_t* hw_id, enum cpu_type* cpu_type) argument 461 spawn_xcore_monitor(coreid_t coreid, hwid_t hwid, enum cpu_type cpu_type, const char *cmdline, struct frame_identity urpc_frame_id, struct capref kcb) argument [all...] |
/barrelfish-master/lib/spawndomain/ |
H A D | spawn_vspace.c | 27 enum cpu_type cpu_type) 26 spawn_vspace_init(struct spawninfo *si, struct capref vnode, enum cpu_type cpu_type) argument
|
H A D | spawn.c | 221 switch(si->cpu_type) { 252 err = spawn_vspace_init(si, si->vtree, si->cpu_type); 295 si->cpu_type = CPU_K1OM; 298 si->cpu_type = CPU_X86_64; 302 si->cpu_type = CPU_X86_32; 306 si->cpu_type = CPU_ARM7; 310 si->cpu_type = CPU_ARM8; 747 size_t binary_size, enum cpu_type type, 754 si->cpu_type = type;
|
/barrelfish-master/lib/numa/ |
H A D | numa_internal.h | 76 enum cpu_type arch; ///< architecture
|
/barrelfish-master/kernel/ |
H A D | syscall.c | 850 * \param cpu_type Architecture of the core. 855 * the specified cpu_type. 859 struct sysret sys_monitor_spawn_core(hwid_t target, enum cpu_type cpu_type, argument 864 assert(cpu_type < CPU_TYPE_NUM); 868 if (cpu_type >= CPU_TYPE_NUM) { 872 coreboot_start_fn_t start_fn = coreboot_get_spawn_handler(cpu_type);
|
H A D | coreboot.c | 30 void coreboot_set_spawn_handler(enum cpu_type type, coreboot_start_fn_t handler) 38 * \param cpu_type Get handler for specific cpu type 42 coreboot_start_fn_t coreboot_get_spawn_handler(enum cpu_type type) {
|
/barrelfish-master/kernel/include/ |
H A D | syscall.h | 73 struct sysret sys_monitor_spawn_core(hwid_t core_id, enum cpu_type cpu_type,
|
H A D | coreboot.h | 19 void coreboot_set_spawn_handler(enum cpu_type type, coreboot_start_fn_t handler); 20 coreboot_start_fn_t coreboot_get_spawn_handler(enum cpu_type);
|
/barrelfish-master/kernel/arch/armv8/ |
H A D | syscall.c | 738 enum cpu_type cpu_type = sa->arg3; local 744 return sys_monitor_spawn_core(core_id, cpu_type, entry, context_id);
|
/barrelfish-master/kernel/arch/armv7/ |
H A D | syscall.c | 747 enum cpu_type cpu_type = sa->arg3; local 750 return sys_monitor_spawn_core(core_id, cpu_type, entry, 0);
|
/barrelfish-master/include/spawndomain/ |
H A D | spawndomain.h | 49 enum cpu_type cpu_type; member in struct:spawninfo 89 size_t binary_size, enum cpu_type type, 100 enum cpu_type cpu_type);
|
/barrelfish-master/include/barrelfish_kpi/ |
H A D | cpu.h | 26 enum cpu_type { enum 38 static inline const char *cpu_type_to_archstr(enum cpu_type cpu_type) argument 41 switch(cpu_type) { 51 static inline const enum cpu_type archstr_to_cputype(char* archstr)
|
/barrelfish-master/tools/aarch64_gem5/ |
H A D | gem5script.py | 38 if options.cpu_type == "timing": 40 elif options.cpu_type == "detailed" or options.cpu_type == "arm_detailed": 44 if options.cpu_type == "arm_detailed": 48 elif options.cpu_type == "inorder":
|