X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=APIs%2Fmknod.api;fp=APIs%2Fmknod.api;h=6c06a5b1c6b7eaf7b38c94bc29793274f7ffe40b;hb=6964a24290a2d645b3155353e08750f37930146a;hp=bc0ba02d53a149330727cb362229fb1db7662050;hpb=68483fce4f959886866af28c1c3342c2a6fcb410;p=wrappi.git

diff --git a/APIs/mknod.api b/APIs/mknod.api
index bc0ba02..6c06a5b 100644
--- a/APIs/mknod.api
+++ b/APIs/mknod.api
@@ -1,3 +1,6 @@
+typedef int fileperm ;; (* XXX preconditions XXX *)
+typedef string pathname ;;
+
 entry_point
 err mknod_char (pathname path, fileperm perm, uint64 major, uint64 minor)
 <<