system/process/process.c

47     error = vka_alloc_frame(&procServ.vka, seL4_PageBits, &frame);
85     vka_free_object(&procServ.vka, &frame);
94     vka_cspace_make_path(&procServ.vka, ep, &pathSrc);
112     vka_cspace_make_path(&procServ.vka, ep, &pathSrc);
136             p, REFOS_PROCSERV_EP, procServ.endpoint.cptr,
143             p, REFOS_LIVENESS, procServ.endpoint.cptr,
225             &p->vspace.vspace, &procServ.vspace, &procServ.vka,
226             &procServ.vka, imageName
262     error = sel4utils_spawn_process_v(&n_process, &procServ.vka, &procServ.vspace, 0, NULL, 0);
308     uint32_t npid = pid_alloc(&procServ.PIDList);
314     struct proc_pcb *pcb = pid_get_pcb(&procServ.PIDList, npid);
321         pid_free(&procServ.PIDList, npid);
340         pid_free(&procServ.PIDList, npid);
375     pid_iterate(&procServ.PIDList, client_watch_notify_death_callback, (void*) p->pid);
379     pid_iterate(&procServ.PIDList, proc_purge_pid_callback, (void*) p->pid);
405         vka_cspace_free(&procServ.vka, p->faultReply.capPtr);
435     assert(procServ.exitProcessPID == PID_NULL);
436     procServ.exitProcessPID = p->pid;
527         vka_cspace_free(&procServ.vka, p->faultReply.capPtr);
532     int error = vka_cspace_alloc_path(&procServ.vka, &p->faultReply);
602     error = sel4utils_spawn_process_v(&n_process, &procServ.vka, &procServ.vspace, 0, NULL, 0);
648     vka_cspace_free(&procServ.vka, p->faultReply.capPtr);
658     struct proc_pcb* parentPCB = pid_get_pcb(&procServ.PIDList, p->parentPID);
678     vka_cspace_free(&procServ.vka, parentPCB->faultReply.capPtr);
685      if (procServ.exitProcessPID != PID_NULL) {
686         struct proc_pcb *pcb = pid_get_pcb(&procServ.PIDList, procServ.exitProcessPID);
689             procServ.exitProcessPID = PID_NULL;
701         pid_free(&procServ.PIDList, pid);
704         procServ.exitProcessPID = PID_NULL;