summaryrefslogtreecommitdiffstats
path: root/sys/kern/vnode_if.src
diff options
context:
space:
mode:
authorcsapuntz <csapuntz@openbsd.org>1998-12-05 16:54:02 +0000
committercsapuntz <csapuntz@openbsd.org>1998-12-05 16:54:02 +0000
commit45dc9b2cd78d7a5f557241d3f7302a1dfd27e069 (patch)
tree797a6d64c71c0bd008dc2caa076345fe6ac71a34 /sys/kern/vnode_if.src
parentFramework for generating automatic test code for locking discipline (diff)
downloadwireguard-openbsd-45dc9b2cd78d7a5f557241d3f7302a1dfd27e069.tar.xz
wireguard-openbsd-45dc9b2cd78d7a5f557241d3f7302a1dfd27e069.zip
Updated vnode_if specificiation
Diffstat (limited to 'sys/kern/vnode_if.src')
-rw-r--r--sys/kern/vnode_if.src74
1 files changed, 37 insertions, 37 deletions
diff --git a/sys/kern/vnode_if.src b/sys/kern/vnode_if.src
index 32b62dacc87..722ca9c4fa1 100644
--- a/sys/kern/vnode_if.src
+++ b/sys/kern/vnode_if.src
@@ -1,4 +1,4 @@
-# $OpenBSD: vnode_if.src,v 1.8 1998/08/08 03:53:30 csapuntz Exp $
+# $OpenBSD: vnode_if.src,v 1.9 1998/12/05 16:54:02 csapuntz Exp $
# $NetBSD: vnode_if.src,v 1.10 1996/05/11 18:26:27 mycroft Exp $
#
# Copyright (c) 1992, 1993
@@ -52,6 +52,14 @@
# X: locked if not nil.
#
+
+#
+#% islocked vp = = =
+#
+vop_islocked {
+ IN struct vnode *vp;
+};
+
#
#% lookup dvp L ? ?
#% lookup vpp - L -
@@ -86,7 +94,7 @@ vop_lookup {
#
vop_create {
- IN WILLRELE struct vnode *dvp;
+ IN SHOULDBELOCKED WILLRELE struct vnode *dvp;
OUT struct vnode **vpp;
IN struct componentname *cnp;
IN struct vattr *vap;
@@ -98,14 +106,14 @@ vop_create {
#
vop_mknod {
- IN WILLRELE struct vnode *dvp;
+ IN SHOULDBELOCKED WILLRELE struct vnode *dvp;
OUT WILLRELE struct vnode **vpp;
IN struct componentname *cnp;
IN struct vattr *vap;
};
#
-#% open vp L L L
+#% open vp = = =
#
vop_open {
@@ -131,7 +139,7 @@ vop_close {
#
vop_access {
- IN struct vnode *vp;
+ IN SHOULDBELOCKED struct vnode *vp;
IN int mode;
IN struct ucred *cred;
IN struct proc *p;
@@ -154,7 +162,7 @@ vop_getattr {
#
vop_setattr {
- IN struct vnode *vp;
+ IN SHOULDBELOCKED struct vnode *vp;
IN struct vattr *vap;
IN struct ucred *cred;
IN struct proc *p;
@@ -165,7 +173,7 @@ vop_setattr {
#
vop_read {
- IN struct vnode *vp;
+ IN SHOULDBELOCKED struct vnode *vp;
INOUT struct uio *uio;
IN int ioflag;
IN struct ucred *cred;
@@ -176,7 +184,7 @@ vop_read {
#
vop_write {
- IN struct vnode *vp;
+ IN SHOULDBELOCKED struct vnode *vp;
INOUT struct uio *uio;
IN int ioflag;
IN struct ucred *cred;
@@ -240,7 +248,7 @@ vop_mmap {
#% fsync vp L L L
#
vop_fsync {
- IN struct vnode *vp;
+ IN SHOULDBELOCKED struct vnode *vp;
IN struct ucred *cred;
IN int waitfor;
IN struct proc *p;
@@ -263,8 +271,8 @@ vop_seek {
#
vop_remove {
- IN WILLRELE struct vnode *dvp;
- IN WILLRELE struct vnode *vp;
+ IN SHOULDBELOCKED WILLRELE struct vnode *dvp;
+ IN SHOULDBELOCKED WILLRELE struct vnode *vp;
IN struct componentname *cnp;
};
@@ -273,7 +281,7 @@ vop_remove {
#% link tdvp L U U
#
vop_link {
- IN WILLRELE struct vnode *dvp;
+ IN SHOULDBELOCKED WILLRELE struct vnode *dvp;
IN struct vnode *vp;
IN struct componentname *cnp;
};
@@ -289,7 +297,7 @@ vop_rename {
IN WILLRELE struct vnode *fdvp;
IN WILLRELE struct vnode *fvp;
IN struct componentname *fcnp;
- IN WILLRELE struct vnode *tdvp;
+ IN SHOULDBELOCKED WILLRELE struct vnode *tdvp;
IN WILLRELE struct vnode *tvp;
IN struct componentname *tcnp;
};
@@ -300,7 +308,7 @@ vop_rename {
#
vop_mkdir {
- IN WILLRELE struct vnode *dvp;
+ IN SHOULDBELOCKED WILLRELE struct vnode *dvp;
OUT struct vnode **vpp;
IN struct componentname *cnp;
IN struct vattr *vap;
@@ -312,8 +320,8 @@ vop_mkdir {
#
vop_rmdir {
- IN WILLRELE struct vnode *dvp;
- IN WILLRELE struct vnode *vp;
+ IN SHOULDBELOCKED WILLRELE struct vnode *dvp;
+ IN SHOULDBELOCKED WILLRELE struct vnode *vp;
IN struct componentname *cnp;
};
@@ -327,7 +335,7 @@ vop_rmdir {
#
vop_symlink {
- IN WILLRELE struct vnode *dvp;
+ IN SHOULDBELOCKED WILLRELE struct vnode *dvp;
OUT WILLRELE struct vnode **vpp;
IN struct componentname *cnp;
IN struct vattr *vap;
@@ -339,7 +347,7 @@ vop_symlink {
#
vop_readdir {
- IN struct vnode *vp;
+ IN SHOULDBELOCKED struct vnode *vp;
INOUT struct uio *uio;
IN struct ucred *cred;
INOUT int *eofflag;
@@ -351,7 +359,7 @@ vop_readdir {
#% readlink vp L L L
#
vop_readlink {
- IN struct vnode *vp;
+ IN SHOULDBELOCKED struct vnode *vp;
INOUT struct uio *uio;
IN struct ucred *cred;
};
@@ -369,7 +377,7 @@ vop_abortop {
#% inactive vp L U U
#
vop_inactive {
- IN struct vnode *vp;
+ IN SHOULDBELOCKED struct vnode *vp;
IN struct proc *p;
};
@@ -408,7 +416,7 @@ vop_unlock {
#
vop_bmap {
- IN struct vnode *vp;
+ IN SHOULDBELOCKED struct vnode *vp;
IN daddr_t bn;
OUT struct vnode **vpp;
IN daddr_t *bnp;
@@ -428,14 +436,6 @@ vop_bmap {
vop_print {
IN struct vnode *vp;
};
-
-#
-#% islocked vp = = =
-#
-vop_islocked {
- IN struct vnode *vp;
-};
-
#
#% pathconf vp L L L
#
@@ -460,7 +460,7 @@ vop_advlock {
#% blkatoff vp L L L
#
vop_blkatoff {
- IN struct vnode *vp;
+ IN SHOULDBELOCKED struct vnode *vp;
IN off_t offset;
OUT char **res;
OUT struct buf **bpp;
@@ -470,7 +470,7 @@ vop_blkatoff {
#% valloc pvp L L L
#
vop_valloc {
- IN struct vnode *pvp;
+ IN SHOULDBELOCKED struct vnode *pvp;
IN int mode;
IN struct ucred *cred;
OUT struct vnode **vpp;
@@ -480,7 +480,7 @@ vop_valloc {
#% balloc vp L L L
#
vop_balloc {
- IN struct vnode *vp;
+ IN SHOULDBELOCKED struct vnode *vp;
IN off_t startoffset;
IN int size;
IN struct ucred *cred;
@@ -492,7 +492,7 @@ vop_balloc {
#% reallocblks vp L L L
#
vop_reallocblks {
- IN struct vnode *vp;
+ IN SHOULDBELOCKED struct vnode *vp;
IN struct cluster_save *buflist;
};
@@ -501,7 +501,7 @@ vop_reallocblks {
#
vop_vfree {
- IN struct vnode *pvp;
+ IN SHOULDBELOCKED struct vnode *pvp;
IN ino_t ino;
IN int mode;
};
@@ -511,7 +511,7 @@ vop_vfree {
#
vop_truncate {
- IN struct vnode *vp;
+ IN SHOULDBELOCKED struct vnode *vp;
IN off_t length;
IN int flags;
IN struct ucred *cred;
@@ -523,7 +523,7 @@ vop_truncate {
#
vop_update {
- IN struct vnode *vp;
+ IN SHOULDBELOCKED struct vnode *vp;
IN struct timespec *access;
IN struct timespec *modify;
IN int waitfor;
@@ -536,7 +536,7 @@ vop_update {
#
vop_whiteout {
- IN struct vnode *dvp;
+ IN SHOULDBELOCKED struct vnode *dvp;
IN struct componentname *cnp;
IN int flags;
};