lib/spawndomain/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_frame);