/barrelfish-2018-10-04/usr/monitor/ |
H A D | intermon_bindings.c | 36 errval_t intermon_binding_get(coreid_t coreid, struct intermon_binding **ret) argument 39 //printf("%s:%s:%d: coreid=%"PRIuCOREID"\n", __FILE__, __FUNCTION__, __LINE__, coreid); 41 if (coreid > MAX_COREID) { 46 if (bindings[coreid] == NULL) { 51 *ret = bindings[coreid]->binding;
|
H A D | resource_ctrl.c | 139 static void send_phase_data(rsrcid_t id, coreid_t coreid) argument 142 errval_t err = intermon_binding_get(coreid, &b); 163 errval_t rsrc_join_satellite(rsrcid_t id, coreid_t coreid) argument 172 d->joined[coreid] = true; 175 send_phase_data(id, coreid); 205 coreid_t coreid = get_rsrc_coreid(id); local 208 errval_t err = intermon_binding_get(coreid, &b); 420 coreid_t coreid = get_rsrc_coreid(id); 422 errval_t err = intermon_binding_get(coreid, &b);
|
H A D | bfscope_support.c | 121 // Get the coreid on which bfscope is running 122 coreid_t coreid; local 123 errval_t err = iref_get_core_id(iref, &coreid); 128 //printf("bfscope runs on core: %d\n", coreid); 130 if(coreid == my_core_id) { 140 err = intermon_binding_get(coreid, &state->ib);
|
/barrelfish-2018-10-04/kernel/include/arch/x86/ |
H A D | ipi_notify.h | 15 struct sysret ipi_raise_notify(coreid_t coreid, uintptr_t chanid);
|
/barrelfish-2018-10-04/usr/monitor/arch/armv7/ |
H A D | notify_ipi.c | 37 errval_t notification_create_cap(int chanid, coreid_t coreid, argument 42 /* printf("%d: creating notify cap with chanid %d, coreid %d, caller %p\n", */ 43 /* my_core_id, chanid, coreid, __builtin_return_address(0)); */ 50 .coreid = coreid,
|
/barrelfish-2018-10-04/usr/monitor/arch/armv8/ |
H A D | notify_ipi.c | 37 errval_t notification_create_cap(int chanid, coreid_t coreid, argument 42 /* printf("%d: creating notify cap with chanid %d, coreid %d, caller %p\n", */ 43 /* my_core_id, chanid, coreid, __builtin_return_address(0)); */ 50 .coreid = coreid,
|
/barrelfish-2018-10-04/usr/monitor/arch/x86/ |
H A D | notify_ipi.c | 37 errval_t notification_create_cap(int chanid, coreid_t coreid, argument 42 /* printf("%d: creating notify cap with chanid %d, coreid %d, caller %p\n", */ 43 /* my_core_id, chanid, coreid, __builtin_return_address(0)); */ 50 .coreid = coreid,
|
/barrelfish-2018-10-04/usr/monitor/include/arch/aarch64/ |
H A D | notify_ipi.h | 23 errval_t notification_create_cap(int chanid, coreid_t coreid,
|
/barrelfish-2018-10-04/usr/monitor/include/arch/arm/ |
H A D | notify_ipi.h | 23 errval_t notification_create_cap(int chanid, coreid_t coreid,
|
/barrelfish-2018-10-04/usr/monitor/include/arch/x86/ |
H A D | notify_ipi.h | 23 errval_t notification_create_cap(int chanid, coreid_t coreid,
|
/barrelfish-2018-10-04/kernel/arch/x86/ |
H A D | ipi_notify.c | 108 struct sysret ipi_raise_notify(coreid_t coreid, uintptr_t chanid) argument 110 char *notify_page = (char *)local_phys_to_mem(global->notify[coreid]); 112 if (notify_page == NULL || coreid >= MAX_COREID) { 119 uint64_t slot = notifyhead[coreid] % NOTIFY_FIFO_SIZE; 128 notifyhead[coreid]++; 131 apic_send_std_ipi(coreid, xapic_none, APIC_INTER_CORE_VECTOR);
|
/barrelfish-2018-10-04/include/barrelfish/ |
H A D | spawn_client.h | 48 errval_t spawn_program_with_caps(coreid_t coreid, const char *path, 53 errval_t spawn_arrakis_program(coreid_t coreid, const char *path, 58 errval_t spawn_program(coreid_t coreid, const char *path, 68 errval_t spawn_wait_coreid(coreid_t coreid, struct capref domain_cap, uint8_t *exitcode, bool nohang); 70 errval_t spawn_wait_core(coreid_t coreid, struct capref domainid, 72 errval_t spawn_binding(coreid_t coreid, struct spawn_binding **ret_client);
|
/barrelfish-2018-10-04/include/ |
H A D | posixcompat.h | 30 typedef int (*pthread_placement_fn)(enum pthread_action action, int coreid);
|
/barrelfish-2018-10-04/lib/rcce/ |
H A D | ring_barriers.c | 88 static void message_request(struct rcce_binding *st, uint16_t coreid, argument 91 assert(!msgbuf[coreid].pending); 92 struct msg_buf *m = &msgbuf[coreid]; 98 dprintf("%d: msg arrived, (%d, %lu)\n", my_core_id, coreid, size); 102 static void bulk_message_request(struct rcce_binding *b, uint16_t coreid, argument 107 assert(!msgbuf[coreid].pending); 108 struct msg_buf *m = &msgbuf[coreid]; 137 errval_t err = barray[coreid]->tx_vtbl. 138 bulk_message_reply(barray[coreid], NOP_CONT, my_core_id, id); 143 static void message_reply(struct rcce_binding *b, uint16_t coreid) argument 152 bulk_message_reply(struct rcce_binding *b, uint16_t coreid, uint64_t id) argument 172 bulk_recv_ready(struct rcce_binding *b, uint16_t coreid, uint64_t size) argument [all...] |
/barrelfish-2018-10-04/usr/startd/ |
H A D | spawn.c | 152 coreid_t coreid; local 160 coreid = strtol(p + 1, NULL, 10); 164 coreid = my_coreid; 174 debug_printf("starting dist-serv %s on core %d\n", si.name, coreid); 177 err = spawn_program(coreid, si.name, si.argv, environ, 229 coreid_t coreid; local 237 coreid = strtol(p + 1, NULL, 10); 241 coreid = my_coreid; 251 debug_printf("starting arrakis domain %s on core %d\n", si.name, coreid); 254 err = spawn_arrakis_program(coreid, s 315 coreid_t coreid; local [all...] |
/barrelfish-2018-10-04/lib/numa/ |
H A D | utilities.c | 50 for (coreid_t coreid = 0; coreid < node->num_cores; ++coreid) { 51 struct numa_core *core = &node->cores[coreid]; 58 for (coreid_t coreid = 0; coreid < topology->num_cores; ++coreid) { 59 struct numa_core *core = topology->cores[coreid]; 61 PRIuNODEID "]\n", coreid, core->apicid, core->node->id);
|
/barrelfish-2018-10-04/usr/bench/loopy/ |
H A D | loopy_driver.c | 7 static int execute_program(coreid_t coreid, int argc, char *argv[], argument 17 err = spawn_program(coreid, prog, argv, NULL, SPAWN_FLAGS_NEW_DOMAIN,
|
/barrelfish-2018-10-04/usr/drivers/cpuboot/ |
H A D | common.c | 68 errval_t create_or_get_kcb_cap(coreid_t coreid, struct capref* the_kcb) argument 76 int length = snprintf(NULL, 0, "kcb_id_%d", coreid) + 1; // +1 for \0 79 snprintf(kcb_key, length + 1, "kcb_id_%d", coreid); 129 err = add_kcb_record(coreid, coreid, kcb_key);
|
H A D | coreboot.h | 69 errval_t create_or_get_kcb_cap(coreid_t coreid, struct capref* kcb); 87 errval_t spawn_xcore_monitor(coreid_t coreid, hwid_t hwid,
|
/barrelfish-2018-10-04/usr/kaluga/ |
H A D | start_cpu.c | 86 coreid_t coreid; member in struct:inheritcn_del_st 96 KALUGA_DEBUG("spawnd up for %d: deleting inheritcn\n", st->coreid); 99 DEBUG_ERR(err, "deleting inheritcn for %d\n", st->coreid); 104 DEBUG_ERR(err, "freeing slot for %d\n", st->coreid); 223 tstate->coreid = barrelfish_id;
|
/barrelfish-2018-10-04/include/spawndomain/ |
H A D | spawndomain.h | 84 const char *name, coreid_t coreid); 86 const char *name, coreid_t coreid, 90 const char *name, coreid_t coreid,
|
/barrelfish-2018-10-04/lib/barrelfish/ |
H A D | spawn_client.c | 72 static errval_t bind_client(coreid_t coreid) argument 78 assert(coreid < MAX_CPUS); 79 cl = get_spawn_binding(coreid); 82 snprintf(namebuf, sizeof(namebuf), "spawn.%u", coreid); 88 //DEBUG_ERR(err, "spawn daemon on core %u not found\n", coreid); 113 set_spawn_binding(coreid, bindst.b); 142 // set_spawn_binding(coreid, bindst.b); 400 * \param coreid Core ID on which to spawn the program 518 * \param coreid Core ID on which to spawn the program 541 errval_t spawn_arrakis_program(coreid_t coreid, cons argument 706 coreid_t coreid; local 733 spawn_binding(coreid_t coreid, struct spawn_binding **ret_client) argument 838 spawn_wait_coreid(coreid_t coreid, struct capref domain_cap, uint8_t *exitcode, bool nohang) argument 848 spawn_wait_core(coreid_t coreid, struct capref domain_cap, uint8_t *exitcode, bool nohang) argument [all...] |
/barrelfish-2018-10-04/usr/mem_serv_dist/ |
H A D | mem_serv.h | 121 errval_t set_local_spawnd_memserv(coreid_t coreid);
|
/barrelfish-2018-10-04/usr/monitor/include/ |
H A D | monitor.h | 144 errval_t intermon_init(struct intermon_binding *b, coreid_t coreid); 170 errval_t rsrc_join_satellite(rsrcid_t id, coreid_t coreid); 190 errval_t intermon_binding_get(coreid_t coreid, struct intermon_binding **ret);
|
/barrelfish-2018-10-04/usr/pci/ |
H A D | pci_service.c | 87 uint8_t irq, coreid_t coreid, 93 PCI_DEBUG("pci: init_legacy_device_handler: called. irq:%"PRIu8", coreid:%"PRIuCOREID", vector:%"PRIu32"\n", irq, coreid, vector); 117 e = cl->rpc_tx_vtbl.enable_and_route_interrupt(cl, irq, coreid, vector, &ret_error); 259 coreid_t coreid, uint32_t vector) 262 err = device_reregister_interrupt(coreid, vector, 85 init_legacy_device_handler(struct pci_binding *b, uint16_t iomin, uint16_t iomax, uint8_t irq, coreid_t coreid, uint32_t vector) argument 254 reregister_interrupt_handler(struct pci_binding *b, uint32_t class_code, uint32_t sub_class, uint32_t prog_if, uint32_t vendor_id, uint32_t device_id, uint32_t bus, uint32_t dev, uint32_t fun, coreid_t coreid, uint32_t vector) argument
|