APIs/mknod.api

   1 typedef int fileperm ;; (* XXX preconditions XXX *)
   2 typedef string pathname ;;
   3
   4 entry_point
   5 err mknod_char (pathname path, fileperm perm, uint64 major, uint64 minor)
   6 <<
   7   return mknod (path, S_IFCHR | perm, makedev (major, minor));
   8 >>
   9
  10 ;;
  11
  12 (*
  13 mknod_block
  14 mkfifo
  15 mknod_socket
  16 *)