/barrelfish-master/usr/monitor/ |
H A D | trace_support.c | 57 struct dispatcher_generic *disp = get_dispatcher_generic(handle); local 58 struct trace_buffer *trace_buf = disp->trace_buf; 167 struct dispatcher_generic *disp = get_dispatcher_generic(handle); local 168 struct trace_buffer *trace_buf = disp->trace_buf;
|
H A D | resource_ctrl.c | 32 struct capref disp; member in struct:rsrc_domain 201 d->disp = dispcap; 323 err = invoke_dispatcher_properties(d->disp, p->task_type, p->deadline, p->wcet,
|
H A D | monitor_server.c | 866 struct capref vroot, struct capref disp) 909 err = frame_identify(disp, &frameid); 915 err = monitor_remote_relations(disp, RRELS_COPY_BIT, RRELS_COPY_BIT, NULL); 956 err2 = cap_destroy(disp); 958 USER_PANIC_ERR(err2, "Failed to destroy disp cap"); 964 struct capref disp) 864 span_domain_request(struct monitor_binding *mb, uintptr_t domain_id, uint8_t core_id, struct capref vroot, struct capref disp) argument 962 migrate_dispatcher_request(struct monitor_binding *b, coreid_t coreid, struct capref vroot, struct capref disp) argument
|
H A D | inter.c | 359 /* Construct disp frame */ 368 struct capref disp; local 369 err = slot_alloc(&disp); 374 err = monitor_cap_create(disp, &dispframe_cap, core_id); 380 err = monitor_remote_relations(disp, RRELS_COPY_BIT, RRELS_COPY_BIT, NULL); 391 err = span_domain(vroot, disp); 405 err2 = cap_destroy(disp); 407 USER_PANIC_ERR(err2, "Failed to destroy disp cap");
|
/barrelfish-master/usr/bfscope/ |
H A D | bfscope_nfs.c | 233 struct dispatcher_generic *disp = get_dispatcher_generic(handle); local 234 disp->trace_buf = NULL;
|
H A D | bfscope.c | 430 struct dispatcher_generic *disp = get_dispatcher_generic(handle); local 431 disp->trace_buf = NULL;
|
/barrelfish-master/tools/schedsim/ |
H A D | simulator.c | 56 dispatcher_handle_t disp; member in struct:dcb 118 dcb->disp = (uintptr_t)&dcb->dsg;
|
/barrelfish-master/tools/asmoffsets/ |
H A D | asmoffsets.c | 94 DECL(DCB_DISP, struct dcb, disp);
|
/barrelfish-master/lib/trace/ |
H A D | trace.c | 58 struct dispatcher_generic *disp = get_dispatcher_generic(handle); local 59 disp->trace_buf = NULL; 70 struct dispatcher_generic *disp = get_dispatcher_generic(handle); local 71 disp->trace_buf = (struct trace_buffer*)trace_buffer_va;
|
H A D | control.c | 91 struct dispatcher_generic *disp = get_dispatcher_generic(handle); local 92 struct trace_buffer *buf = disp->trace_buf; 115 struct dispatcher_generic *disp = get_dispatcher_generic(handle); local 116 struct trace_buffer *buf = disp->trace_buf; 571 struct dispatcher_generic *disp = get_dispatcher_generic(handle); local 572 coreid_t my_coreid = disp->core_id;
|
/barrelfish-master/lib/spawndomain/ |
H A D | spawn.c | 361 struct dispatcher_shared_generic *disp = local 379 disp->udisp = spawn_dispatcher_base; 380 disp->disabled = 1; 382 disp->xeon_phi_id = disp_xeon_phi_id(); 392 strncpy(disp->name, copy_name, DISP_NAME_LEN); 736 * \param name Name of the image required only to place it in disp 738 * \param coreid Coreid to load for, required only to place it in disp
|
/barrelfish-master/lib/libc/sys/barrelfish/ |
H A D | lock.c | 26 struct dispatcher_shared_generic* disp = local 28 if (disp->disabled) { 29 disp->disabled = 0; 68 struct dispatcher_shared_generic* disp = local 70 if (disp->disabled) {
|
/barrelfish-master/lib/cxx/unwind/ |
H A D | UnwindCursor.hpp | 483 void setDispatcherContext(DISPATCHER_CONTEXT *disp) { _dispContext = *disp; } argument
|
H A D | Unwind-seh.cpp | 64 DISPATCHER_CONTEXT *disp); 72 DISPATCHER_CONTEXT *disp, __personality_routine pers) { 89 disp->ContextRecord->Rdx = ms_exc->ExceptionInformation[3]; 91 disp->ContextRecord->R1 = ms_exc->ExceptionInformation[3]; 93 disp->ContextRecord->X1 = ms_exc->ExceptionInformation[3]; 117 __unw_init_seh(&cursor, disp->ContextRecord); 118 __unw_seh_set_disp_ctx(&cursor, disp); 119 __unw_set_reg(&cursor, UNW_REG_IP, disp->ControlPc - 1); 163 RtlUnwindEx(frame, (PVOID)disp->ControlPc, ms_exc, exc, ms_ctx, disp 71 _GCC_specific_handler(PEXCEPTION_RECORD ms_exc, PVOID frame, PCONTEXT ms_ctx, DISPATCHER_CONTEXT *disp, __personality_routine pers) argument 444 DISPATCHER_CONTEXT *disp = __unw_seh_get_disp_ctx((unw_cursor_t *)context); local 490 __unw_seh_set_disp_ctx(unw_cursor_t *cursor, DISPATCHER_CONTEXT *disp) argument [all...] |
/barrelfish-master/lib/cxx/include/ |
H A D | unwind.h | 401 DISPATCHER_CONTEXT *disp,
|
/barrelfish-master/lib/barrelfish/ |
H A D | waitset.c | 653 * \param disp Current dispatcher pointer 843 * \param disp Current dispatcher pointer 890 * \param disp Current dispatcher pointer 910 * \param disp Current dispatcher pointer 964 dispatcher_handle_t disp = disp_disable(); local 965 errval_t err = waitset_chan_trigger_closure_disabled(ws, chan, closure, disp); 966 disp_enable(disp);
|
H A D | threads.c | 63 * inter-disp message handler thread, and if it blocks in a mutex, there is no 225 static void thread_init(dispatcher_handle_t disp, struct thread *newthread) argument 232 newthread->disp = disp; 233 newthread->coreid = get_dispatcher_generic(disp)->core_id; 271 * \param disp Dispatcher pointer 276 struct dispatcher_shared_generic *disp = local 302 disp->haswork = true; 306 disp->haswork = havework_disabled(handle); 320 assert(thread->disp 727 struct dispatcher_shared_generic *disp = local 769 struct dispatcher_shared_generic *disp = local 794 struct dispatcher_shared_generic *disp = local 831 struct dispatcher_shared_generic *disp = local 888 struct dispatcher_shared_generic *disp = local 930 struct dispatcher_shared_generic *disp = local 977 thread_block_disabled(dispatcher_handle_t disp, struct thread **queue) argument 1171 struct dispatcher_shared_generic *disp = local 1224 struct dispatcher_shared_generic *disp = local 1287 struct dispatcher_generic *disp = get_dispatcher_generic(dh); local 1325 struct dispatcher_generic *disp = get_dispatcher_generic(dh); local 1470 struct dispatcher_shared_generic *disp =get_dispatcher_shared_generic(handle); local [all...] |
H A D | thread_sync.c | 51 dispatcher_handle_t disp = disp_disable(); local 60 struct thread *wakeup = thread_mutex_unlock_disabled(disp, mutex); 63 errval_t err = domain_wakeup_on_disabled(wakeup->disp, wakeup, disp); 69 thread_block_and_release_spinlock_disabled(disp, &cond->queue, &cond->lock); 97 dispatcher_handle_t disp = disp_disable(); local 100 wakeup = thread_unblock_one_disabled(disp, &cond->queue, NULL); 102 err = domain_wakeup_on_disabled(wakeup->disp, wakeup, disp); 106 disp_enable(disp); 135 dispatcher_handle_t disp = disp_disable(); local 318 dispatcher_handle_t disp = disp_disable(); local 353 dispatcher_handle_t disp = disp_disable(); local 378 dispatcher_handle_t disp = disp_disable(); local 399 dispatcher_handle_t disp = disp_disable(); local [all...] |
H A D | lmp_endpoints.c | 195 struct dispatcher_shared_generic *disp = local 202 uint32_t lmp_delivered = disp->lmp_delivered; 205 if (disp->lmp_hint != 0) { 206 assert_disabled(disp->lmp_hint < DISPATCHER_FRAME_SIZE); 210 ((char *)handle + disp->lmp_hint - offsetof(struct lmp_endpoint, k)); 213 disp->lmp_hint = 0; 221 disp->lmp_seen += lmp_endpoint_words_unseen(ep); 247 if (disp->lmp_seen == lmp_delivered) { 261 disp->lmp_seen += lmp_endpoint_words_unseen(ep); 287 disp [all...] |
H A D | lmp_chan.c | 194 struct dispatcher_generic *disp = get_dispatcher_generic(handle); local 197 assert_disabled(disp->lmp_send_events_list == lc); 198 disp->lmp_send_events_list = NULL;
|
H A D | init.c | 163 struct dispatcher_generic *disp = get_dispatcher_generic(handle); 165 disp->trace_buf = (struct trace_buffer *)trace_buffer_va;
|
H A D | domain.c | 193 /* assert_disabled(wakeup->disp == handle); */ 195 wakeup->disp = handle; 387 * \brief Called on the inter-disp handler thread, when another thread 401 dispatcher_handle_t disp = disp_disable(); local 405 disp_enable(disp); 413 /* coreid_t core_id = disp_handle_get_core_id(thread->disp); */ 506 dispatcher_handle_t disp = thread->disp; local 509 disp_init_disabled(disp); 512 thread_init_remote(disp, threa 689 struct dispatcher_shared_generic *disp = local 885 domain_wakeup_on_disabled(dispatcher_handle_t disp, struct thread *thread, dispatcher_handle_t mydisp) argument 897 domain_wakeup_on(dispatcher_handle_t disp, struct thread *thread) argument 911 struct dispatcher_shared_generic *disp = local 1053 struct dispatcher_generic* disp = get_dispatcher_generic(handle); local 1068 struct dispatcher_generic* disp = get_dispatcher_generic(handle); local 1087 struct dispatcher_generic* disp = get_dispatcher_generic(handle); local 1102 struct dispatcher_generic* disp = get_dispatcher_generic(handle); local 1112 struct dispatcher_shared_generic* disp = get_dispatcher_shared_generic(handle); local 1122 struct dispatcher_generic* disp = get_dispatcher_generic(handle); local 1131 struct dispatcher_generic* disp = get_dispatcher_generic(handle); local 1138 struct dispatcher_generic* disp = get_dispatcher_generic(handle); local 1148 struct dispatcher_generic* disp = get_dispatcher_generic(handle); local 1158 struct dispatcher_generic* disp = get_dispatcher_generic(handle); local 1174 struct dispatcher_generic* disp = get_dispatcher_generic(handle); local 1185 struct dispatcher_generic* disp = get_dispatcher_generic(handle); local 1196 struct dispatcher_generic* disp = get_dispatcher_generic(handle); local 1206 struct dispatcher_generic* disp = get_dispatcher_generic(handle); local 1217 struct dispatcher_generic* disp = get_dispatcher_generic(handle); local 1227 struct dispatcher_generic* disp = get_dispatcher_generic(handle); local 1237 struct dispatcher_generic* disp = get_dispatcher_generic(handle); local 1247 struct dispatcher_generic* disp = get_dispatcher_generic(handle); local 1257 struct dispatcher_generic* disp = get_dispatcher_generic(handle); local 1267 struct dispatcher_generic* disp = get_dispatcher_generic(handle); local 1277 struct dispatcher_generic* disp = get_dispatcher_generic(handle); local 1287 struct dispatcher_generic* disp = get_dispatcher_generic(handle); local 1297 struct dispatcher_generic* disp = get_dispatcher_generic(handle); local 1307 struct dispatcher_generic* disp = get_dispatcher_generic(handle); local 1317 struct dispatcher_generic* disp = get_dispatcher_generic(handle); local 1328 struct dispatcher_generic* disp = get_dispatcher_generic(handle); local 1338 struct dispatcher_generic* disp = get_dispatcher_generic(handle); local 1348 struct dispatcher_generic* disp = get_dispatcher_generic(handle); local 1355 struct dispatcher_generic* disp = get_dispatcher_generic(handle); local 1366 struct dispatcher_generic* disp = get_dispatcher_generic(handle); local 1377 struct dispatcher_generic* disp = get_dispatcher_generic(handle); local 1387 struct dispatcher_generic* disp = get_dispatcher_generic(handle); local 1397 struct dispatcher_generic* disp = get_dispatcher_generic(handle); local 1407 struct dispatcher_generic* disp = get_dispatcher_generic(handle); local 1417 struct dispatcher_generic* disp = get_dispatcher_generic(handle); local 1427 struct dispatcher_generic* disp = get_dispatcher_generic(handle); local 1437 struct dispatcher_generic* disp = get_dispatcher_generic(handle); local [all...] |
H A D | dispatch.c | 75 * \param disp Dispatcher 91 struct dispatcher_shared_generic* disp = local 94 assert_disabled(disp->disabled); 103 trigger_deferred_events_disabled(handle, disp->systime); 107 if (disp->lmp_delivered != disp->lmp_seen) { 149 struct dispatcher_shared_generic* disp = local 156 disp->lmp_hint = (lvaddr_t)&ep->k - (lvaddr_t)handle; 167 * \param disp Dispatcher 173 struct dispatcher_shared_generic* disp local 201 struct dispatcher_shared_generic* disp = local 232 struct dispatcher_shared_generic* disp = local 253 struct dispatcher_shared_generic* disp = local 272 struct dispatcher_shared_generic* disp = local 289 struct dispatcher_shared_generic* disp = local 306 struct dispatcher_shared_generic* disp = local 327 struct dispatcher_shared_generic* disp = local 429 struct dispatcher_shared_generic *disp = local 479 struct dispatcher_shared_generic* disp = local [all...] |
/barrelfish-master/lib/barrelfish/include/ |
H A D | threads_priv.h | 47 dispatcher_handle_t disp; ///< Dispatcher affinity member in struct:thread 96 struct dispatcher_generic *disp = get_dispatcher_generic(handle); local 97 return disp->runq != NULL 99 || disp->lmp_send_events_list != NULL 101 || disp->polled_channels != NULL 102 || disp->notificators != NULL 103 || disp->ump_send_events_list != NULL
|
/barrelfish-master/lib/barrelfish/include/target/x86_32/ |
H A D | registers_target.h | 42 regs->gs = get_dispatcher_x86_32(thread->disp)->disp_seg_selector;
|