#define USERPRI splx(splvar)
#endif /* KERNEL */
+/* vnodes */
+extern int (**afs_vnodeop_p) ();
+#define vType(vc) AFSTOV(vc)->v_type
+#define vSetVfsp(vc, vfsp) AFSTOV(vc)->v_mount = (vfsp)
+#define vSetType(vc, type) AFSTOV(vc)->v_type = (type)
+#define IsAfsVnode(v) ((v)->v_op == afs_vnodeop_p)
+#define SetAfsVnode(v) /* nothing; done in getnewvnode() */
+
#endif /* _OSI_MACHDEP_H_ */