Searched refs:msgpool (Results 1 – 1 of 1) sorted by relevance
79 static char *msgpool; /* MSGMAX byte long msg buffer pool */ variable133 msgpool = (void *)v; in msginit()134 msgmaps = (void *)((uintptr_t)msgpool + ALIGN(msginfo.msgmax)); in msginit()177 vaddr_t v = (vaddr_t)msgpool; in msgfini()250 old_msgpool = msgpool; in msgrealloc()372 &msgpool[next * msginfo.msgssz], tlen); in msgrealloc()397 msgpool = new_msgpool; in msgrealloc()939 error = copyin(user_msgp, &msgpool[next * msginfo.msgssz], tlen); in msgsnd1()1240 error = copyout(&msgpool[next * msginfo.msgssz], in msgrcv1()