Peter Wemm 70439d2750 Fix warning: 568: warning: `portal_badop' defined but not used		2001-06-15 00:38:03 +00:00
..
portal_vfsops.c
portal_vnops.c
portal.h