Lines Matching refs:disp
192 /* assert_disabled(wakeup->disp == handle); */
194 wakeup->disp = handle;
386 * \brief Called on the inter-disp handler thread, when another thread
400 dispatcher_handle_t disp = disp_disable();
404 disp_enable(disp);
412 /* coreid_t core_id = disp_handle_get_core_id(thread->disp); */
505 dispatcher_handle_t disp = thread->disp;
508 disp_init_disabled(disp);
511 thread_init_remote(disp, thread);
688 struct dispatcher_shared_generic *disp =
695 span_domain_state->thread->disp = handle;
700 disp->udisp = (lvaddr_t)handle;
701 disp->disabled = true;
710 snprintf(disp->name, DISP_NAME_LEN, "%s%d", disp_name(),
878 // Signal the inter-disp waitset of this event
893 errval_t domain_wakeup_on_disabled(dispatcher_handle_t disp,
897 coreid_t core_id = disp_handle_get_core_id(disp);
900 assert_disabled(disp == thread->disp);
905 errval_t domain_wakeup_on(dispatcher_handle_t disp,
909 errval_t err = domain_wakeup_on_disabled(disp, thread, mydisp);
919 struct dispatcher_shared_generic *disp =
938 disp->haswork = havework_disabled(mydisp);
1061 struct dispatcher_generic* disp = get_dispatcher_generic(handle);
1062 disp->core_id = core_id;
1076 struct dispatcher_generic* disp = get_dispatcher_generic(handle);
1078 *eh_frame = disp->eh_frame;
1081 *eh_frame_size = disp->eh_frame_size;
1095 struct dispatcher_generic* disp = get_dispatcher_generic(handle);
1097 *eh_frame_hdr = disp->eh_frame_hdr;
1100 *eh_frame_hdr_size = disp->eh_frame_hdr_size;
1110 struct dispatcher_generic* disp = get_dispatcher_generic(handle);
1111 return disp->core_id;
1120 struct dispatcher_shared_generic* disp = get_dispatcher_shared_generic(handle);
1121 return disp->curr_core_id;
1130 struct dispatcher_generic* disp = get_dispatcher_generic(handle);
1131 return disp->domain_id;
1139 struct dispatcher_generic* disp = get_dispatcher_generic(handle);
1140 return disp->core_id;
1146 struct dispatcher_generic* disp = get_dispatcher_generic(handle);
1147 return &disp->core_state.c.default_waitset;
1156 struct dispatcher_generic* disp = get_dispatcher_generic(handle);
1157 disp->core_state.c.monitor_binding = b;
1166 struct dispatcher_generic* disp = get_dispatcher_generic(handle);
1167 return disp->core_state.c.monitor_binding;
1182 struct dispatcher_generic* disp = get_dispatcher_generic(handle);
1183 disp->core_state.c.monitor_blocking_binding = st;
1193 struct dispatcher_generic* disp = get_dispatcher_generic(handle);
1194 return disp->core_state.c.monitor_blocking_binding;
1203 struct dispatcher_generic* disp = get_dispatcher_generic(handle);
1204 disp->core_state.c.mem_st = st;
1213 struct dispatcher_generic* disp = get_dispatcher_generic(handle);
1214 return disp->core_state.c.mem_st;
1223 struct dispatcher_generic* disp = get_dispatcher_generic(handle);
1224 return &disp->core_state.vspace_state.vspace;
1233 struct dispatcher_generic* disp = get_dispatcher_generic(handle);
1234 return &disp->core_state.pinned_state;
1243 struct dispatcher_generic* disp = get_dispatcher_generic(handle);
1244 return (struct pmap*)&disp->core_state.vspace_state.pmap;
1253 struct dispatcher_generic* disp = get_dispatcher_generic(handle);
1254 return &disp->core_state.c.morecore_state;
1263 struct dispatcher_generic* disp = get_dispatcher_generic(handle);
1264 return &disp->core_state.c.ram_alloc_state;
1273 struct dispatcher_generic* disp = get_dispatcher_generic(handle);
1274 return &disp->core_state.c.skb_state;
1283 struct dispatcher_generic* disp = get_dispatcher_generic(handle);
1284 return disp->core_state.c.octopus_binding;
1293 struct dispatcher_generic* disp = get_dispatcher_generic(handle);
1294 disp->core_state.c.octopus_binding = c;
1303 struct dispatcher_generic* disp = get_dispatcher_generic(handle);
1305 return disp->core_state.c.spawn_bindings[core];
1314 struct dispatcher_generic* disp = get_dispatcher_generic(handle);
1316 disp->core_state.c.spawn_bindings[core] = c;
1324 struct dispatcher_generic* disp = get_dispatcher_generic(handle);
1325 return disp->core_state.c.proc_mgmt_binding;
1334 struct dispatcher_generic* disp = get_dispatcher_generic(handle);
1335 disp->core_state.c.proc_mgmt_binding = c;
1341 struct dispatcher_generic* disp = get_dispatcher_generic(handle);
1343 return disp->core_state.c.arrakis_bindings[core];
1352 struct dispatcher_generic* disp = get_dispatcher_generic(handle);
1354 disp->core_state.c.arrakis_bindings[core] = c;
1363 struct dispatcher_generic* disp = get_dispatcher_generic(handle);
1364 return disp->core_state.c.terminal_state;
1373 struct dispatcher_generic* disp = get_dispatcher_generic(handle);
1374 disp->core_state.c.terminal_state = st;
1383 struct dispatcher_generic* disp = get_dispatcher_generic(handle);
1384 return disp->core_state.c.domain_state;
1393 struct dispatcher_generic* disp = get_dispatcher_generic(handle);
1394 disp->core_state.c.domain_state = st;
1403 struct dispatcher_generic* disp = get_dispatcher_generic(handle);
1404 return disp->core_state.c.spawn_state;
1413 struct dispatcher_generic* disp = get_dispatcher_generic(handle);
1414 disp->core_state.c.spawn_state = st;
1423 struct dispatcher_generic* disp = get_dispatcher_generic(handle);
1424 return &disp->core_state.c.slot_alloc_state;