system/addrspace/vspace.c

480     struct proc_pcb *clientPCB = pid_get_pcb(&procServ.PIDList, windowDest->clientOwnerPID);
481     if (!clientPCB) {
486         (*outClientPCB) = clientPCB;
490     struct w_associated_window *wa = w_associate_find_winID(&clientPCB->vspace.windows,
497     return vs_map(&clientPCB->vspace, wa->offset + windowDestOffset, &frameCap, 1);
520     struct proc_pcb* clientPCB = pid_get_pcb(&procServ.PIDList, window->clientOwnerPID);
521     if (!clientPCB) {
525     assert(clientPCB->magic == REFOS_PCB_MAGIC);
526     if (&clientPCB->vspace != vs) {
529     struct w_associated_window *wa = w_associate_find_winID(&clientPCB->vspace.windows,