/barrelfish-master/include/trace/ |
H A D | trace.h | 265 static inline lvaddr_t compute_trace_buf_addr(uint8_t core_id) argument
|
/barrelfish-master/usr/drivers/cpuboot/ |
H A D | common.c | 56 static errval_t add_kcb_record(uint32_t kcb_id, coreid_t core_id, char* kcb_key) argument
|
/barrelfish-master/lib/rcce/ |
H A D | rcce.c | 214 int core_id = RC_COREID[source]; local
|
/barrelfish-master/usr/drivers/cpuboot/arch/x86/ |
H A D | boot_arch.c | 57 errval_t get_core_info(coreid_t core_id, hwid_t* apic_id, enum cpu_type* cpu_type) argument 163 int start_aps_x86_64_start(uint8_t core_id, genvaddr_t entry) argument 302 int start_aps_x86_32_start(uint8_t core_id, genvaddr_t entry) argument [all...] |
/barrelfish-master/lib/spawndomain/ |
H A D | spawn.c | 325 spawn_setup_dispatcher(struct spawninfo *si, coreid_t core_id, const char *name, genvaddr_t entry, void* arch_info) argument
|
/barrelfish-master/usr/monitor/ |
H A D | ump_support.c | 126 uint8_t core_id; local 574 coreid_t core_id = ist->core_id; local 753 coreid_t core_id = ((struct intermon_state *)ib->st)->core_id; local [all...] |
H A D | inter.c | 335 coreid_t core_id = st->core_id; local
|
H A D | monitor_server.c | 211 uint8_t core_id; local 379 uint8_t core_id; local 864 span_domain_request(struct monitor_binding *mb, uintptr_t domain_id, uint8_t core_id, struct capref vroot, struct capref disp) argument [all...] |
H A D | multihop_support.c | 483 coreid_t core_id; local 162 multihop_handle_routing_table_request(struct intermon_binding *b, coreid_t core_id) argument [all...] |
/barrelfish-master/usr/proc_mgmt/ |
H A D | service.c | 32 static void add_spawnd_handler(struct proc_mgmt_binding *b, coreid_t core_id, argument 63 add_spawnd_handler_non_monitor(struct proc_mgmt_binding *b, coreid_t core_id, iref_t iref) argument 350 spawn_handler_common(struct proc_mgmt_binding *b, enum ClientType type, coreid_t core_id, const char *path, const char *argvbuf, size_t argvbytes, const char *envbuf, size_t envbytes, struct capref inheritcn_cap, struct capref argcn_cap, uint8_t flags) argument 421 spawn_handler(struct proc_mgmt_binding *b, coreid_t core_id, const char *path, const char *argvbuf, size_t argvbytes, const char *envbuf, size_t envbytes, uint8_t flags) argument 442 spawn_with_caps_handler(struct proc_mgmt_binding *b, coreid_t core_id, const char *path, const char *argvbuf, size_t argvbytes, const char *envbuf, size_t envbytes, struct capref inheritcn_cap, struct capref argcn_cap, uint8_t flags) argument 468 span_handler(struct proc_mgmt_binding *b, struct capref domain_cap, coreid_t core_id, struct capref vroot, struct capref dispframe) argument [all...] |
/barrelfish-master/include/arch/x86_64/barrelfish/ |
H A D | invocations_arch.h | 233 static inline errval_t invoke_send_init_ipi(struct capref ipi_cap, coreid_t core_id) argument 239 static inline errval_t invoke_send_start_ipi(struct capref ipi_cap, coreid_t core_id, forvaddr_t entry) argument
|
/barrelfish-master/include/barrelfish/ |
H A D | invocations.h | 532 invoke_kernel_get_core_id(struct capref kern_cap, coreid_t *core_id) argument
|
/barrelfish-master/lib/barrelfish/ |
H A D | spawn_client.c | 378 errval_t proc_mgmt_add_spawnd(iref_t iref, coreid_t core_id) argument 414 errval_t spawn_program_with_caps(coreid_t core_id, const char *path, argument 532 errval_t spawn_program(coreid_t core_id, const char *path, argument 752 errval_t spawn_span(coreid_t core_id) argument [all...] |
H A D | domain.c | 54 uint8_t core_id; ///< Core id of the domain that spanned this dispatcher member in struct:remote_core_state 189 coreid_t core_id = disp_get_core_id(); local 414 coreid_t core_id = thread->coreid; local 275 span_eager_connect_request(struct interdisp_binding *b, coreid_t core_id) argument 618 domain_new_dispatcher_varstack(coreid_t core_id, domain_spanned_callback_t callback, void *callback_arg, size_t stack_size, struct span_domain_state **ret_span_state) argument 766 domain_new_dispatcher(coreid_t core_id, domain_spanned_callback_t callback, void *callback_arg) argument 808 domain_new_dispatcher_setup_only(coreid_t core_id, struct span_domain_state **ret_state) argument 817 domain_send_cap(coreid_t core_id, struct capref cap) argument 852 domain_wakeup_on_coreid_disabled(coreid_t core_id, struct thread *thread, dispatcher_handle_t mydisp) argument 889 coreid_t core_id = disp_handle_get_core_id(disp); local 906 domain_thread_move_to(struct thread *thread, coreid_t core_id) argument 937 domain_thread_create_on_varstack(coreid_t core_id, thread_func_t start_func, void *arg, size_t stacksize, struct thread **newthread) argument 996 domain_thread_create_on(coreid_t core_id, thread_func_t start_func, void *arg, struct thread **newthread) argument 1004 coreid_t core_id = thread->coreid; local 1050 disp_set_core_id(coreid_t core_id) argument [all...] |
/barrelfish-master/include/tweed/ |
H A D | tweed.h | 483 int core_id; member in struct:worker_desc
|
/barrelfish-master/usr/drivers/cpuboot/arch/armv7/ |
H A D | boot_arch.c | 40 errval_t get_core_info(coreid_t core_id, argument 253 invoke_monitor_spawn_core(coreid_t core_id, enum cpu_type cpu_type, argument
|
/barrelfish-master/include/arch/x86_32/barrelfish/ |
H A D | invocations_arch.h | 659 static inline errval_t invoke_send_init_ipi(struct capref ipi_cap, coreid_t core_id) argument 669 static inline errval_t invoke_send_start_ipi(struct capref ipi_cap, coreid_t core_id, forvaddr_t entry) argument 541 invoke_kernel_get_core_id(struct capref kern_cap, uint8_t *core_id) argument
|
/barrelfish-master/usr/drivers/cpuboot/arch/armv8/ |
H A D | boot_arch.c | 82 invoke_monitor_spawn_core(hwid_t core_id, enum cpu_type cpu_type, argument 554 static errval_t get_boot_protocol(coreid_t core_id, uint32_t *parking_version, argument 865 errval_t get_core_info(coreid_t core_id, hwid_t* hw_id, enum cpu_type* cpu_type) argument
|
/barrelfish-master/kernel/arch/armv7/ |
H A D | syscall.c | 746 coreid_t core_id = sa->arg2; local
|
/barrelfish-master/kernel/arch/armv8/ |
H A D | syscall.c | 737 hwid_t core_id = sa->arg2; local
|