File  pipe_read.c   Xinu path name  device/pipe/pipe_read.c