| /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
|
| /barrelfish-master/lib/spawndomain/ |
| H A D | spawn_vspace.c | 26 spawn_vspace_init(struct spawninfo *si, struct capref vnode, enum cpu_type cpu_type) argument
|
| /barrelfish-master/include/spawndomain/ |
| H A D | spawndomain.h | 49 enum cpu_type cpu_type; member in struct:spawninfo
|
| /barrelfish-master/usr/kaluga/ |
| H A D | boot_modules.c | 101 struct module_info* find_corectrl_for_cpu_type(enum cpu_type cpu_type) argument
|
| H A D | start_cpu.c | 138 uint64_t barrelfish_id, cpu_type, hw_id, enabled = 0; local
|
| /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
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/ |
| H A D | main.c | 215 enum cpu_type cpu_type; local
264 enum cpu_type cpu_type; local
317 enum cpu_type cpu_type; local
[all...] |
| /barrelfish-master/usr/drivers/cpuboot/arch/armv7/ |
| H A D | boot_arch.c | 253 invoke_monitor_spawn_core(coreid_t core_id, enum cpu_type cpu_type, argument
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/kernel/ |
| H A D | syscall.c | 859 struct sysret sys_monitor_spawn_core(hwid_t target, enum cpu_type cpu_type, argument
|
| /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
865 errval_t get_core_info(coreid_t core_id, hwid_t* hw_id, enum cpu_type* cpu_type) argument
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/kernel/arch/armv7/ |
| H A D | syscall.c | 747 enum cpu_type cpu_type = sa->arg3; local
|
| /barrelfish-master/kernel/arch/armv8/ |
| H A D | syscall.c | 738 enum cpu_type cpu_type = sa->arg3; local
|