| /barrelfish-2018-10-04/include/target/aarch64/barrelfish_kpi/ |
| H A D | arm_core_data.h | 107 coreid_t src_core_id; member in struct:armv8_core_data
|
| /barrelfish-2018-10-04/include/target/arm/barrelfish_kpi/ |
| H A D | arm_core_data.h | 78 coreid_t src_core_id; member in struct:arm_core_data
|
| /barrelfish-2018-10-04/include/target/x86/barrelfish_kpi/ |
| H A D | coredata_target.h | 56 coreid_t src_core_id; member in struct:x86_core_data
|
| /barrelfish-2018-10-04/usr/monitor/arch/armv7/ |
| H A D | inter.c | 171 coreid_t src_core_id = ((struct intermon_state *)b->st)->core_id; local
182 bind_monitor_request(dst_binding, NOP_CONT, src_core_id,
|
| /barrelfish-2018-10-04/usr/monitor/arch/armv8/ |
| H A D | inter.c | 171 coreid_t src_core_id = ((struct intermon_state *)b->st)->core_id; local
182 bind_monitor_request(dst_binding, NOP_CONT, src_core_id,
|
| /barrelfish-2018-10-04/usr/monitor/arch/x86/ |
| H A D | inter.c | 181 coreid_t src_core_id = ((struct intermon_state *)b->st)->core_id; local
194 bind_monitor_request(dst_binding, NOP_CONT, src_core_id,
|
| /barrelfish-2018-10-04/kernel/arch/k1om/ |
| H A D | startup_arch.c | 495 snprintf(coreidchar, sizeof(coreidchar), "%d", core_data->src_core_id);
517 assert(core_data->src_core_id != my_core_id);
520 1UL << core_data->urpc_frame_bits, core_data->src_core_id,
|
| /barrelfish-2018-10-04/kernel/arch/x86_64/ |
| H A D | startup_arch.c | 475 snprintf(coreidchar, sizeof(coreidchar), "%d", core_data->src_core_id);
497 assert(core_data->src_core_id != my_core_id);
500 1UL << core_data->urpc_frame_bits, core_data->src_core_id,
|
| /barrelfish-2018-10-04/kernel/arch/x86_32/ |
| H A D | startup_arch.c | 554 snprintf(coreidchar, sizeof(coreidchar), "%d", core_data->src_core_id);
577 core_data->urpc_frame_bits, core_data->src_core_id,
|
| /barrelfish-2018-10-04/kernel/arch/armv7/ |
| H A D | startup_arch.c | 580 snprintf(coreidchar, sizeof(coreidchar), "%d", core_data->src_core_id);
|
| /barrelfish-2018-10-04/usr/drivers/cpuboot/arch/armv7/ |
| H A D | boot_arch.c | 623 core_data->src_core_id = disp_get_core_id();
|
| /barrelfish-2018-10-04/usr/drivers/cpuboot/arch/x86/ |
| H A D | boot_arch.c | 680 core_data->src_core_id = disp_get_core_id();
|
| /barrelfish-2018-10-04/kernel/arch/armv8/ |
| H A D | startup_arch.c | 635 snprintf(coreidchar, sizeof(coreidchar), "%d", core_data->src_core_id);
|
| /barrelfish-2018-10-04/usr/drivers/cpuboot/arch/armv8/ |
| H A D | boot_arch.c | 776 core_data->src_core_id = disp_get_core_id();
|