| /barrelfish-2018-10-04/usr/monitor/arch/arm/ |
| H A D | inter.c | 44 coreid_t dst_core_id,
43 bind_monitor_proxy(struct intermon_binding *st, coreid_t dst_core_id, intermon_caprep_t caprep) argument
|
| /barrelfish-2018-10-04/usr/monitor/arch/x86/ |
| H A D | inter.c | 153 coreid_t dst_core_id; member in struct:bind_monitor_proxy_state
158 coreid_t dst_core_id,
165 bind_monitor_proxy(st->orig_binding, st->dst_core_id, st->caprep);
174 coreid_t dst_core_id,
185 err = intermon_binding_get(dst_core_id, &dst_binding);
188 printf("%s:%s:%d: my_core_id=%"PRIuCOREID" dst_core_id=%"PRIuCOREID"\n",
189 __FILE__, __FUNCTION__, __LINE__, my_core_id, dst_core_id);
205 st->dst_core_id = dst_core_id;
173 bind_monitor_proxy(struct intermon_binding *b, coreid_t dst_core_id, intermon_caprep_t caprep) argument
|
| /barrelfish-2018-10-04/usr/monitor/arch/armv7/ |
| H A D | inter.c | 145 coreid_t dst_core_id; member in struct:bind_monitor_proxy_state
150 coreid_t dst_core_id,
157 bind_monitor_proxy(st->orig_binding, st->dst_core_id, st->caprep);
165 coreid_t dst_core_id,
175 err = intermon_binding_get(dst_core_id, &dst_binding);
193 st->dst_core_id = dst_core_id;
164 bind_monitor_proxy(struct intermon_binding *b, coreid_t dst_core_id, intermon_caprep_t caprep) argument
|
| /barrelfish-2018-10-04/usr/monitor/arch/armv8/ |
| H A D | inter.c | 145 coreid_t dst_core_id; member in struct:bind_monitor_proxy_state
150 coreid_t dst_core_id,
157 bind_monitor_proxy(st->orig_binding, st->dst_core_id, st->caprep);
165 coreid_t dst_core_id,
175 err = intermon_binding_get(dst_core_id, &dst_binding);
193 st->dst_core_id = dst_core_id;
164 bind_monitor_proxy(struct intermon_binding *b, coreid_t dst_core_id, intermon_caprep_t caprep) argument
|
| /barrelfish-2018-10-04/include/target/aarch64/barrelfish_kpi/ |
| H A D | arm_core_data.h | 108 coreid_t dst_core_id; member in struct:armv8_core_data
|
| /barrelfish-2018-10-04/include/target/arm/barrelfish_kpi/ |
| H A D | arm_core_data.h | 81 coreid_t dst_core_id; member in struct:arm_core_data
|
| /barrelfish-2018-10-04/include/target/x86/barrelfish_kpi/ |
| H A D | coredata_target.h | 58 coreid_t dst_core_id; member in struct:x86_core_data
|
| /barrelfish-2018-10-04/kernel/arch/armv8/ |
| H A D | init.c | 188 my_core_id = core_data->dst_core_id;
|
| H A D | startup_arch.c | 755 my_core_id = core_data->dst_core_id;
|
| /barrelfish-2018-10-04/kernel/arch/armv7/ |
| H A D | init.c | 342 my_core_id = core_data->dst_core_id;
|
| /barrelfish-2018-10-04/kernel/arch/k1om/ |
| H A D | init.c | 690 my_core_id = core_data->dst_core_id;
|
| /barrelfish-2018-10-04/kernel/arch/x86_32/ |
| H A D | init.c | 686 my_core_id = core_data->dst_core_id;
|
| /barrelfish-2018-10-04/kernel/arch/x86_64/ |
| H A D | init.c | 655 my_core_id = core_data->dst_core_id;
|
| /barrelfish-2018-10-04/kernel/arch/x86/ |
| H A D | startup_x86.c | 556 my_core_id = core_data->dst_core_id;
|
| /barrelfish-2018-10-04/usr/drivers/cpuboot/arch/armv7/ |
| H A D | boot_arch.c | 625 core_data->dst_core_id = coreid;
|
| /barrelfish-2018-10-04/usr/drivers/cpuboot/arch/x86/ |
| H A D | boot_arch.c | 682 core_data->dst_core_id = coreid;
|
| /barrelfish-2018-10-04/usr/drivers/cpuboot/arch/armv8/ |
| H A D | boot_arch.c | 778 core_data->dst_core_id = coreid;
|