/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/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/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
|
H A D | pci.c | 375 errval_t device_reregister_interrupt(uint8_t coreid, int vector, argument
|
/barrelfish-2018-10-04/usr/monitor/ |
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 | monitor_server.c | 953 migrate_dispatcher_request(struct monitor_binding *b, coreid_t coreid, struct capref vroot, struct capref disp) argument
|
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
|
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
|
/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/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/armv7/ |
H A D | notify_ipi.c | 37 errval_t notification_create_cap(int chanid, coreid_t coreid, 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/kaluga/ |
H A D | start_cpu.c | 86 coreid_t coreid; member in struct:inheritcn_del_st
|
/barrelfish-2018-10-04/usr/fish/ |
H A D | fish_common.c | 72 static int execute_program(coreid_t coreid, int argc, char *argv[], 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/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/drivers/cpuboot/arch/armv8/ |
H A D | boot_arch.c | 623 errval_t spawn_xcore_monitor(coreid_t coreid, hwid_t hwid, 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/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/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/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/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/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/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...] |