| # Copyright 2018 syzkaller project authors. All rights reserved. |
| # Use of this source code is governed by Apache 2 LICENSE that can be found in the LICENSE file. |
| |
| # 9p2000 mount/server descriptions. For protocol description see: |
| # http://knusbaum.com/useful/rfc9p2000 |
| # http://ericvh.github.io/9p-rfc/rfc9p2000.html |
| # http://ericvh.github.io/9p-rfc/rfc9p2000.u.html |
| # https://github.com/chaos/diod/blob/master/protocol.md |
| |
| include <linux/fs.h> |
| include <net/9p/9p.h> |
| |
| resource rfd9p[fd] |
| resource wfd9p[fd] |
| |
| mount$9p_fd(src const[0], dst ptr[in, filename], type ptr[in, string["9p"]], flags flags[mount_flags], opts ptr[in, p9_options_fd]) |
| mount$9p_tcp(src ptr[in, string["127.0.0.1"]], dst ptr[in, filename], type ptr[in, string["9p"]], flags flags[mount_flags], opts ptr[in, p9_options_tcp]) |
| mount$9p_unix(src ptr[in, filename], dst ptr[in, filename], type ptr[in, string["9p"]], flags flags[mount_flags], opts ptr[in, p9_options_unix]) |
| mount$9p_rdma(src ptr[in, string["127.0.0.1"]], dst ptr[in, filename], type ptr[in, string["9p"]], flags flags[mount_flags], opts ptr[in, p9_options_rdma]) |
| # TODO: src is some "virtio chan tag name". |
| mount$9p_virtio(src ptr[in, string], dst ptr[in, filename], type ptr[in, string["9p"]], flags flags[mount_flags], opts ptr[in, p9_options_virtio]) |
| # TODO: src is some "xen dev tag name". |
| mount$9p_xen(src ptr[in, string], dst ptr[in, filename], type ptr[in, string["9p"]], flags flags[mount_flags], opts ptr[in, p9_options_xen]) |
| |
| pipe2$9p(pipefd ptr[out, pipe_9p], flags flags[pipe_flags]) |
| |
| pipe_9p { |
| rfd rfd9p |
| wfd wfd9p |
| } |
| |
| write$9p(fd wfd9p, data ptr[in, array[int8]], size bytesize[data]) |
| |
| write$P9_RLERROR(fd wfd9p, data ptr[in, p9_msg[P9_RLERROR, p9_rerror]], size bytesize[data]) |
| write$P9_RLERRORu(fd wfd9p, data ptr[in, p9_msg[P9_RLERROR, p9_rerroru]], size bytesize[data]) |
| write$P9_RVERSION(fd wfd9p, data ptr[in, p9_rversion], size bytesize[data]) |
| write$P9_RAUTH(fd wfd9p, data ptr[in, p9_msg[P9_RAUTH, p9_qid]], size bytesize[data]) |
| write$P9_RFLUSH(fd wfd9p, data ptr[in, p9_msg[P9_RFLUSH, void]], size bytesize[data]) |
| write$P9_RATTACH(fd wfd9p, data ptr[in, p9_msg[P9_RATTACH, p9_qid]], size bytesize[data]) |
| write$P9_RWALK(fd wfd9p, data ptr[in, p9_msg[P9_RWALK, p9_rwalk]], size bytesize[data]) |
| write$P9_ROPEN(fd wfd9p, data ptr[in, p9_msg[P9_ROPEN, p9_ropen]], size bytesize[data]) |
| write$P9_RCREATE(fd wfd9p, data ptr[in, p9_msg[P9_RCREATE, p9_ropen]], size bytesize[data]) |
| write$P9_RREAD(fd wfd9p, data ptr[in, p9_msg[P9_RREAD, p9_rread]], size bytesize[data]) |
| write$P9_RWRITE(fd wfd9p, data ptr[in, p9_msg[P9_RWRITE, int32]], size bytesize[data]) |
| write$P9_RCLUNK(fd wfd9p, data ptr[in, p9_msg[P9_RCLUNK, void]], size bytesize[data]) |
| write$P9_RREMOVE(fd wfd9p, data ptr[in, p9_msg[P9_RREMOVE, void]], size bytesize[data]) |
| write$P9_RWSTAT(fd wfd9p, data ptr[in, p9_msg[P9_RWSTAT, void]], size bytesize[data]) |
| write$P9_RSTAT(fd wfd9p, data ptr[in, p9_msg[P9_RSTAT, p9_rstat]], size bytesize[data]) |
| write$P9_RSTATu(fd wfd9p, data ptr[in, p9_msg[P9_RSTAT, p9_rstatu]], size bytesize[data]) |
| write$P9_RSTATFS(fd wfd9p, data ptr[in, p9_msg[P9_RSTATFS, p9_rstatfs]], size bytesize[data]) |
| write$P9_RLOPEN(fd wfd9p, data ptr[in, p9_msg[P9_RLOPEN, p9_ropen]], size bytesize[data]) |
| write$P9_RLCREATE(fd wfd9p, data ptr[in, p9_msg[P9_RLCREATE, p9_ropen]], size bytesize[data]) |
| write$P9_RSYMLINK(fd wfd9p, data ptr[in, p9_msg[P9_RSYMLINK, p9_qid]], size bytesize[data]) |
| write$P9_RMKNOD(fd wfd9p, data ptr[in, p9_msg[P9_RMKNOD, p9_qid]], size bytesize[data]) |
| write$P9_RRENAME(fd wfd9p, data ptr[in, p9_msg[P9_RRENAME, void]], size bytesize[data]) |
| write$P9_RREADLINK(fd wfd9p, data ptr[in, p9_msg[P9_RREADLINK, p9_rreadlink]], size bytesize[data]) |
| write$P9_RGETATTR(fd wfd9p, data ptr[in, p9_msg[P9_RGETATTR, p9_rgetattr]], size bytesize[data]) |
| write$P9_RSETATTR(fd wfd9p, data ptr[in, p9_msg[P9_RSETATTR, void]], size bytesize[data]) |
| write$P9_RXATTRWALK(fd wfd9p, data ptr[in, p9_msg[P9_RXATTRWALK, int64]], size bytesize[data]) |
| write$P9_RXATTRCREATE(fd wfd9p, data ptr[in, p9_msg[P9_RXATTRCREATE, void]], size bytesize[data]) |
| write$P9_RREADDIR(fd wfd9p, data ptr[in, p9_msg[P9_RREADDIR, p9_rreaddir]], size bytesize[data]) |
| write$P9_RFSYNC(fd wfd9p, data ptr[in, p9_msg[P9_RFSYNC, void]], size bytesize[data]) |
| write$P9_RLOCK(fd wfd9p, data ptr[in, p9_msg[P9_RLOCK, flags[p9_lock_status, int8]]], size bytesize[data]) |
| write$P9_RGETLOCK(fd wfd9p, data ptr[in, p9_msg[P9_RGETLOCK, p9_rgetlock]], size bytesize[data]) |
| write$P9_RLINK(fd wfd9p, data ptr[in, p9_msg[P9_RLINK, void]], size bytesize[data]) |
| write$P9_RMKDIR(fd wfd9p, data ptr[in, p9_msg[P9_RMKDIR, p9_qid]], size bytesize[data]) |
| write$P9_RRENAMEAT(fd wfd9p, data ptr[in, p9_msg[P9_RRENAMEAT, void]], size bytesize[data]) |
| write$P9_RUNLINKAT(fd wfd9p, data ptr[in, p9_msg[P9_RUNLINKAT, void]], size bytesize[data]) |
| |
| type p9_msg[MSG, PAYLOAD] { |
| size bytesize[parent, int32] |
| type const[MSG, int8] |
| tag int16[1:2] |
| payload PAYLOAD |
| } [packed] |
| |
| p9_rerror { |
| ename_len len[ename, int16] |
| ename stringnoz |
| } [packed] |
| |
| p9_rerroru { |
| error p9_rerror |
| errno int32 |
| } [packed] |
| |
| p9_rversion { |
| size bytesize[parent, int32] |
| type const[P9_RVERSION, int8] |
| tag const[0xffff, int16] |
| msize int32 |
| version_len len[version, int16] |
| version stringnoz[p9_versions] |
| } [packed] |
| |
| p9_versions = "9P2000", "9P2000.u", "9P2000.L" |
| |
| p9_qid { |
| type flags[p9_qid_types, int8] |
| version int32[0:4] |
| path int64[0:8] |
| } [packed] |
| |
| p9_qid_types = P9_QTDIR, P9_QTAPPEND, P9_QTEXCL, P9_QTMOUNT, P9_QTAUTH, P9_QTTMP, P9_QTSYMLINK, P9_QTLINK, P9_QTFILE |
| |
| p9_rwalk { |
| nwqid len[wqid, int16] |
| wqid array[p9_qid] |
| } [packed] |
| |
| p9_ropen { |
| qid p9_qid |
| iounit int32 |
| } [packed] |
| |
| p9_rread { |
| count bytesize[data, int32] |
| data array[int8] |
| } [packed] |
| |
| p9_rstat { |
| # I can't find this in any protocol descriptions, but linux seems to expect another int16 field here. |
| ignored const[0, int16] |
| size bytesize[parent, int16] |
| type int16 |
| dev int32 |
| qid p9_qid |
| mode flags[p9_perm_t, int32] |
| atime int32 |
| mtime int32 |
| length int64 |
| name_len len[name, int16] |
| name stringnoz |
| uid_len len[uid, int16] |
| uid stringnoz |
| gid_len len[gid, int16] |
| gid stringnoz |
| muid_len len[muid, int16] |
| muid stringnoz |
| } [packed] |
| |
| p9_rstatu { |
| rstat p9_rstat |
| extension_len len[extension, int16] |
| extension stringnoz |
| n_uid uid |
| n_gid gid |
| n_muid uid |
| } [packed] |
| |
| p9_perm_t = P9_DMDIR, P9_DMAPPEND, P9_DMEXCL, P9_DMMOUNT, P9_DMAUTH, P9_DMTMP, P9_DMSYMLINK, P9_DMLINK, P9_DMDEVICE, P9_DMNAMEDPIPE, P9_DMSOCKET, P9_DMSETUID, P9_DMSETGID, P9_DMSETVTX |
| |
| p9_rreadlink { |
| target_len len[target, int16] |
| target stringnoz[filename] |
| } [packed] |
| |
| p9_rstatfs { |
| type int32 |
| bsize int32 |
| blocks int64 |
| bfree int64 |
| bavail int64 |
| files int64 |
| ffree int64 |
| fsid int64 |
| namelen int32 |
| } [packed] |
| |
| p9_rgetattr { |
| valid flags[p8_stats_valid, int64] |
| qid p9_qid |
| mode flags[open_mode, int32] |
| uid uid |
| gid gid |
| nlink int64 |
| rdev int64 |
| size int64 |
| blksize int64 |
| blocks int64 |
| atime_sec int64 |
| atime_nsec int64 |
| mtime_sec int64 |
| mtime_nsec int64 |
| ctime_sec int64 |
| ctime_nsec int64 |
| btime_sec int64 |
| btime_nsec int64 |
| gen int64 |
| data_version int64 |
| } [packed] |
| |
| p8_stats_valid = P9_STATS_MODE, P9_STATS_NLINK, P9_STATS_UID, P9_STATS_GID, P9_STATS_RDEV, P9_STATS_ATIME, P9_STATS_MTIME, P9_STATS_CTIME, P9_STATS_INO, P9_STATS_SIZE, P9_STATS_BLOCKS, P9_STATS_BTIME, P9_STATS_GEN, P9_STATS_DATA_VERSION |
| |
| p9_lock_status = P9_LOCK_SUCCESS, P9_LOCK_BLOCKED, P9_LOCK_ERROR, P9_LOCK_GRACE |
| p9_lock_type = P9_LOCK_TYPE_RDLCK, P9_LOCK_TYPE_WRLCK, P9_LOCK_TYPE_UNLCK |
| |
| p9_rreaddir { |
| count int32 |
| entries array[p9_dir] |
| } [packed] |
| |
| p9_dir { |
| qid p9_qid |
| offset int64 |
| type int8 |
| name_len len[name, int16] |
| name stringnoz[filename] |
| } [packed] |
| |
| p9_rgetlock { |
| type flags[p9_lock_type, int8] |
| start int64 |
| length int64 |
| proc_id pid |
| client_id_len len[client_id, int16] |
| client_id stringnoz |
| } [packed] |
| |
| # Mount options. |
| |
| p9_options_fd { |
| trans stringnoz["trans=fd,"] |
| rfdno fs_opt_hex["rfdno", rfd9p] |
| comma0 const[',', int8] |
| wfdno fs_opt_hex["wfdno", fd] |
| comma1 const[',', int8] |
| opts fs_options[p9_options] |
| } [packed] |
| |
| p9_options_tcp { |
| trans stringnoz["trans=tcp,"] |
| port fs_opt_hex["port", sock_port] |
| comma0 const[',', int8] |
| opts fs_options[p9_options] |
| } [packed] |
| |
| p9_options_unix { |
| name stringnoz["trans=unix,"] |
| opts fs_options[p9_options] |
| } [packed] |
| |
| p9_options_rdma { |
| trans stringnoz["trans=rdma,"] |
| port fs_opt_hex["port", sock_port] |
| comma0 const[',', int8] |
| opts fs_options[p9_options_rdma_opt] |
| } [packed] |
| |
| p9_options_rdma_opt [ |
| common p9_options |
| timeout fs_opt_hex["timeout", intptr] |
| sq fs_opt_hex["sq", intptr] |
| rq fs_opt_hex["rq", intptr] |
| ] [varlen] |
| |
| p9_options_virtio { |
| trans stringnoz["trans=virtio,"] |
| opts fs_options[p9_options] |
| } [packed] |
| |
| p9_options_xen { |
| trans stringnoz["trans=xen,"] |
| opts fs_options[p9_options] |
| } [packed] |
| |
| p9_options [ |
| uname fs_opt_str["uname"] |
| aname fs_opt_str["aname"] |
| cache_none stringnoz["cache=none"] |
| cache_loose stringnoz["cache=loose"] |
| cache_fscache stringnoz["cache=fscache"] |
| cache_mmap stringnoz["cache=mmap"] |
| debug fs_opt_hex["debug", int64] |
| noextend stringnoz["noextend"] |
| nodevmap stringnoz["nodevmap"] |
| version_9p2000 stringnoz["version=9p2000"] |
| version_u stringnoz["version=9p2000.u"] |
| version_L stringnoz["version=9p2000.L"] |
| cachetag fs_opt_str["cachetag"] |
| loose stringnoz["loose"] |
| fscache stringnoz["fscache"] |
| mmap stringnoz["mmap"] |
| posixacl stringnoz["posixacl"] |
| privport stringnoz["privport"] |
| msize fs_opt_hex["msize", int32] |
| dfltuid fs_opt_hex["dfltuid", uid] |
| dfltgid fs_opt_hex["dfltgid", gid] |
| afid fs_opt_hex["afid", int32] |
| access_user stringnoz["access=user"] |
| access_any stringnoz["access=any"] |
| access_client stringnoz["access=client"] |
| access_uid fs_opt_dec["access", uid] |
| ] [varlen] |
