| /barrelfish-master/usr/monitor/include/ |
| H A D | spawn.h | 19 errval_t span_domain(struct capref vroot, struct capref dispframe);
|
| /barrelfish-master/usr/proc_mgmt/ |
| H A D | pending_clients.h | 59 struct capref dispframe; member in struct:pending_span
|
| H A D | service.c | 279 span->dispframe);
470 struct capref dispframe)
509 span->dispframe = dispframe;
468 span_handler(struct proc_mgmt_binding *b, struct capref domain_cap, coreid_t core_id, struct capref vroot, struct capref dispframe) argument
|
| /barrelfish-master/usr/spawnd/ |
| H A D | ps.h | 41 struct capref dispframe; member in struct:ps_entry
|
| H A D | service.c | 430 struct capref dispframe)
451 err = spawn_span_domain(&si, vroot, dispframe);
427 span_request_handler(struct spawn_binding *b, struct capref procmng_cap, struct capref domain_cap, struct capref vroot, struct capref dispframe) argument
|
| /barrelfish-master/lib/spawndomain/ |
| H A D | spawn.c | 334 si->dispframe.cnode = si->taskcn;
335 si->dispframe.slot = TASKCN_SLOT_DISPFRAME;
336 err = frame_create(si->dispframe, DISPATCHER_FRAME_SIZE, NULL);
344 si->dispframe, NULL, NULL);
349 err = spawn_vspace_map_one_frame(si, &spawn_dispatcher_base, si->dispframe,
1023 si->vtree, si->dispframe, true);
1029 cap_destroy(si->dispframe);
1076 si->dispframe.cnode = si->taskcn;
1077 si->dispframe.slot = TASKCN_SLOT_DISPFRAME;
1078 err = cap_copy(si->dispframe, disp_fram
[all...] |
| /barrelfish-master/include/barrelfish/ |
| H A D | invocations.h | 398 * \param dispframe Frame capability for dispatcher structure relative to
402 * Need to either supply caprefs for all or none of cspace, vspace, dispframe
410 struct capref dispframe, bool run)
416 assert(capref_is_null(dispframe) || get_croot_addr(dispframe) == get_cap_addr(cspace));
421 capaddr_t disp_caddr = get_cap_addr(dispframe);
408 invoke_dispatcher(struct capref dispatcher, struct capref domdispatcher, struct capref cspace, struct capref vspace, struct capref dispframe, bool run) argument
|
| /barrelfish-master/include/spawndomain/ |
| H A D | spawndomain.h | 34 struct capref dispframe __attribute__ ((aligned(4))); member in struct:spawninfo
|
| /barrelfish-master/lib/barrelfish/ |
| H A D | init.c | 396 struct capref dispframe = { local
401 err = frame_identify(dispframe, &fi);
|
| /barrelfish-master/usr/arrakismon/ |
| H A D | vmkitmon.c | 348 static void hy_register_handler(struct hyper_binding *b, uint64_t dispframe) argument
350 b->st = (void *)dispframe;
|
| H A D | guest.h | 32 uint64_t dispframe; // unique identifier for this guest member in struct:guest
|
| H A D | guest.c | 732 uint64_t dispframe = (uint64_t)b->st; local
735 if (g->dispframe == dispframe) {
896 err = frame_identify(si->dispframe, &fi);
898 g->dispframe = fi.base;
908 si->vtree, si->dispframe, false);
|
| /barrelfish-master/usr/monitor/ |
| H A D | spawn.c | 411 errval_t span_domain(struct capref vroot, struct capref dispframe) argument
421 err = spawn_span_domain(&si, vroot, dispframe);
|
| /barrelfish-master/include/arch/x86_32/barrelfish/ |
| H A D | invocations_arch.h | 439 struct capref dispframe, bool run)
444 capaddr_t disp_caddr = get_cap_addr(dispframe);
437 invoke_dispatcher(struct capref dispatcher, struct capref domdispatcher, struct capref cspace, struct capref vspace, struct capref dispframe, bool run) argument
|