| /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
|
| H A D | bfscope_support.c | 122 coreid_t coreid; local
|
| H A D | resource_ctrl.c | 139 static void send_phase_data(rsrcid_t id, coreid_t coreid) argument
163 errval_t rsrc_join_satellite(rsrcid_t id, coreid_t coreid) argument
205 coreid_t coreid = get_rsrc_coreid(id); local
|
| H A D | inter.c | 760 errval_t intermon_init(struct intermon_binding *b, coreid_t coreid) argument
538 inter_rsrc_join(struct intermon_binding *b, rsrcid_t id, uint8_t coreid) argument
|
| /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
|
| /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
|
| /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
|
| /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
|
| /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
|
| /barrelfish-2018-10-04/doc/023-coreboot/ |
| H A D | coreboot.tex | |
| /barrelfish-2018-10-04/usr/kaluga/ |
| H A D | start_cpu.c | 86 coreid_t coreid; member in struct:inheritcn_del_st
|
| /barrelfish-2018-10-04/usr/startd/ |
| H A D | spawn.c | 152 coreid_t coreid; local
229 coreid_t coreid; local
315 coreid_t coreid; local
[all...] |
| /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
102 static void bulk_message_request(struct rcce_binding *b, uint16_t coreid, argument
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/bench/xcorecap/ |
| H A D | xcorecapbench.c | 205 get_service_name(char * service_name, size_t size, coreid_t coreid) argument
|
| /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
|
| /barrelfish-2018-10-04/lib/barrelfish/include/ |
| H A D | threads_priv.h | 60 coreid_t coreid; ///< XXX: Core ID affinity member in struct:thread
|
| /barrelfish-2018-10-04/lib/bomp_new/include/ |
| H A D | bomp_internal.h | 62 coreid_t coreid; ///< id of the core the thread runs on member in struct:bomp_thread
|
| /barrelfish-2018-10-04/usr/pci/ |
| H A D | pci_service.c | 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
|
| /barrelfish-2018-10-04/lib/spawndomain/ |
| H A D | spawn.c | 706 spawn_load_image(struct spawninfo *si, lvaddr_t binary, size_t binary_size, enum cpu_type type, const char *name, coreid_t coreid, char *const argv[], char *const envp[], struct capref inheritcn_cap, struct capref argcn_cap) argument
806 spawn_load_with_args(struct spawninfo *si, struct mem_region *module, const char *name, coreid_t coreid, char *const argv[], char *const envp[]) argument
867 spawn_load_with_bootinfo(struct spawninfo *si, struct bootinfo *bi, const char *name, coreid_t coreid) argument
|
| /barrelfish-2018-10-04/usr/drivers/cpuboot/arch/x86/ |
| H A D | boot_arch.c | 504 errval_t spawn_xcore_monitor(coreid_t coreid, hwid_t hwid, argument
|
| /barrelfish-2018-10-04/usr/mem_serv_dist/ |
| H A D | mem_serv.c | 638 errval_t set_local_spawnd_memserv(coreid_t coreid) argument
|
| /barrelfish-2018-10-04/usr/drivers/cpuboot/arch/armv7/ |
| H A D | boot_arch.c | 32 coreid_t coreid; member in struct:xcore_bind_handler
461 errval_t spawn_xcore_monitor(coreid_t coreid, hwid_t hwid, argument
|
| /barrelfish-2018-10-04/lib/barrelfish/ |
| H A D | spawn_client.c | 72 static errval_t bind_client(coreid_t coreid) argument
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/skb/testapps/ |
| H A D | map.c | 398 static void skb_map_initialized_c(struct skb_map_client_response *cc, uint64_t coreid) argument
405 static void skb_map_initialized_s(struct skb_map_service_response *cc, uint64_t coreid) argument
|
| /barrelfish-2018-10-04/kernel/ |
| H A D | syscall.c | 756 idcap_id_t coreid = (idcap_id_t) cap->u.id.coreid; local
|