/portal.h/1.4/Wed Jun 29 10:29:54 1994//
/portal_vfsops.c/1.10/Wed Jan 18 12:03:51 1995//
/portal_vnops.c/1.10/Sat Feb  4 11:17:31 1995//
