From 70439d2750be7d38ffabf4139940abb1eb211cd6 Mon Sep 17 00:00:00 2001 From: Peter Wemm Date: Fri, 15 Jun 2001 00:38:03 +0000 Subject: [PATCH] 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 726873e7e26..03deb34de48 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 },