D38091.diff
No OneTemporary
Actions

Size

1 KB

Referenced Files

None

Subscribers

None

D38091.diff
View Options

	diff --git a/sys/tools/vnode_if.awk b/sys/tools/vnode_if.awk
	--- a/sys/tools/vnode_if.awk
	+++ b/sys/tools/vnode_if.awk
	@@ -73,14 +73,14 @@
	else
	star = "";
	if (lockdata[name, arg, pos] && (lockdata[name, arg, pos] != "-")) {
	- printc(ind"ASSERT_VI_UNLOCKED("star"a->a_"arg", \""uname"\");");
	+ printc(ind"ASSERT_VI_UNLOCKED("star"a->a_"arg", \""uname" "pos" ("arg")\");");
	# Add assertions for locking
	if (lockdata[name, arg, pos] == "L")
	- printc(ind"ASSERT_VOP_LOCKED(" star "a->a_"arg", \""uname"\");");
	+ printc(ind"ASSERT_VOP_LOCKED(" star "a->a_"arg", \""uname" "pos" ("arg")\");");
	else if (lockdata[name, arg, pos] == "U")
	- printc(ind"ASSERT_VOP_UNLOCKED(" star "a->a_"arg", \""uname"\");");
	+ printc(ind"ASSERT_VOP_UNLOCKED(" star "a->a_"arg", \""uname" "pos" ("arg")\");");
	else if (lockdata[name, arg, pos] == "E")
	- printc(ind"ASSERT_VOP_ELOCKED(" star "a->a_"arg", \""uname"\");");
	+ printc(ind"ASSERT_VOP_ELOCKED(" star "a->a_"arg", \""uname" "pos" ("arg")\");");
	else if (0) {
	# XXX More checks!
	}