From 376d88fdd4c1aa428ae9df56f22f7e40c7c19b0f Mon Sep 17 00:00:00 2001 From: peter Date: Fri, 15 Jun 2001 00:38:03 +0000 Subject: Fix warning: 568: warning: `portal_badop' defined but not used --- sys/fs/portalfs/portal_vnops.c | 13 ------------- 1 file changed, 13 deletions(-) diff --git a/sys/fs/portalfs/portal_vnops.c b/sys/fs/portalfs/portal_vnops.c index 726873e..03deb34 100644 --- a/sys/fs/portalfs/portal_vnops.c +++ b/sys/fs/portalfs/portal_vnops.c @@ -65,7 +65,6 @@ static int portal_fileid = PORTAL_ROOTFILEID+1; -static int portal_badop __P((void)); static void portal_closefd __P((struct proc *p, int fd)); static int portal_connect __P((struct socket *so, struct socket *so2)); static int portal_getattr __P((struct vop_getattr_args *ap)); @@ -559,18 +558,6 @@ portal_print(ap) return (0); } - -/* - * Portal "should never get here" operation - */ -static int -portal_badop() -{ - - panic("portal: bad op"); - /* NOTREACHED */ -} - vop_t **portal_vnodeop_p; static struct vnodeopv_entry_desc portal_vnodeop_entries[] = { { &vop_default_desc, (vop_t *) vop_defaultop }, -- cgit v1.1