Alloc_pipe	pipe.c	/^PipeDesc *Alloc_pipe()$/
Create_pipe	createpipe.c	/^SystemCode Create_pipe( req, pid )$/
Delete_pipe	pipe.c	/^Delete_pipe( pipe )$/
Get_pipe	pipe.c	/^PipeDesc *Get_pipe( id )$/
InitPipeServer	init.c	/^InitPipeServer()$/
Initialize	server.c	/^Initialize()$/
Mpipeserver	pipeserver.c	/^main()$/
PipeServer	server.c	/^PipeServer()$/
ProcessRead	readpipe.c	/^SystemCode ProcessRead( pipe, req, pid, buffer )$/
ProcessWrite	writepipe.c	/^SystemCode ProcessWrite( pipe, req, pid, buffer, s/
Query_pipe	querypipe.c	/^SystemCode Query_pipe( req, pid )$/
Read_pipe	readpipe.c	/^SystemCode Read_pipe( req, pid )$/
Reclaim_pipe	reclaimpipe.c	/^unsigned Reclaim_pipe()$/
Release_pipe	releasepipe.c	/^SystemCode Release_pipe( req, pid )$/
Reminder	reminder.c	/^Reminder( pid ) ProcessId pid;$/
Set_pipe_owner	setpipeowner.c	/^SystemCode Set_pipe_owner( req, pid )$/
Write_pipe	writepipe.c	/^SystemCode Write_pipe( req, pid, segsize )$/
