sys/compat/cloudabi/cloudabi_fd.c

   1 /*-
   2  * Copyright (c) 2015 Nuxi, https://nuxi.nl/
   3  *
   4  * Redistribution and use in source and binary forms, with or without
   5  * modification, are permitted provided that the following conditions
   6  * are met:
   7  * 1. Redistributions of source code must retain the above copyright
   8  *    notice, this list of conditions and the following disclaimer.
   9  * 2. Redistributions in binary form must reproduce the above copyright
  10  *    notice, this list of conditions and the following disclaimer in the
  11  *    documentation and/or other materials provided with the distribution.
  12  *
  13  * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
  14  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
  15  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
  16  * ARE DISCLAIMED.  IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
  17  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
  18  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
  19  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
  20  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
  21  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
  22  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
  23  * SUCH DAMAGE.
  24  */
  25
  26 #include <sys/cdefs.h>
  27 __FBSDID("$FreeBSD$");
  28
  29 #include <sys/param.h>
  30 #include <sys/capsicum.h>
  31 #include <sys/filedesc.h>
  32 #include <sys/proc.h>
  33 #include <sys/mman.h>
  34 #include <sys/socketvar.h>
  35 #include <sys/syscallsubr.h>
  36 #include <sys/sysproto.h>
  37 #include <sys/systm.h>
  38 #include <sys/unistd.h>
  39 #include <sys/vnode.h>
  40
  41 #include <contrib/cloudabi/cloudabi_types_common.h>
  42
  43 #include <compat/cloudabi/cloudabi_proto.h>
  44 #include <compat/cloudabi/cloudabi_util.h>
  45
  46 /* Translation between CloudABI and Capsicum rights. */
  47 #define RIGHTS_MAPPINGS \
  48         MAPPING(CLOUDABI_RIGHT_FD_DATASYNC, CAP_FSYNC)                  \
  49         MAPPING(CLOUDABI_RIGHT_FD_READ, CAP_READ)                       \
  50         MAPPING(CLOUDABI_RIGHT_FD_SEEK, CAP_SEEK)                       \
  51         MAPPING(CLOUDABI_RIGHT_FD_STAT_PUT_FLAGS, CAP_FCNTL)            \
  52         MAPPING(CLOUDABI_RIGHT_FD_SYNC, CAP_FSYNC)                      \
  53         MAPPING(CLOUDABI_RIGHT_FD_TELL, CAP_SEEK_TELL)                  \
  54         MAPPING(CLOUDABI_RIGHT_FD_WRITE, CAP_WRITE)                     \
  55         MAPPING(CLOUDABI_RIGHT_FILE_ADVISE)                             \
  56         MAPPING(CLOUDABI_RIGHT_FILE_ALLOCATE, CAP_WRITE)                \
  57         MAPPING(CLOUDABI_RIGHT_FILE_CREATE_DIRECTORY, CAP_MKDIRAT)      \
  58         MAPPING(CLOUDABI_RIGHT_FILE_CREATE_FILE, CAP_CREATE)            \
  59         MAPPING(CLOUDABI_RIGHT_FILE_CREATE_FIFO, CAP_MKFIFOAT)          \
  60         MAPPING(CLOUDABI_RIGHT_FILE_LINK_SOURCE, CAP_LINKAT_SOURCE)     \
  61         MAPPING(CLOUDABI_RIGHT_FILE_LINK_TARGET, CAP_LINKAT_TARGET)     \
  62         MAPPING(CLOUDABI_RIGHT_FILE_OPEN, CAP_LOOKUP)                   \
  63         MAPPING(CLOUDABI_RIGHT_FILE_READDIR, CAP_READ)                  \
  64         MAPPING(CLOUDABI_RIGHT_FILE_READLINK, CAP_LOOKUP)               \
  65         MAPPING(CLOUDABI_RIGHT_FILE_RENAME_SOURCE, CAP_RENAMEAT_SOURCE) \
  66         MAPPING(CLOUDABI_RIGHT_FILE_RENAME_TARGET, CAP_RENAMEAT_TARGET) \
  67         MAPPING(CLOUDABI_RIGHT_FILE_STAT_FGET, CAP_FSTAT)               \
  68         MAPPING(CLOUDABI_RIGHT_FILE_STAT_FPUT_SIZE, CAP_FTRUNCATE)      \
  69         MAPPING(CLOUDABI_RIGHT_FILE_STAT_FPUT_TIMES, CAP_FUTIMES)       \
  70         MAPPING(CLOUDABI_RIGHT_FILE_STAT_GET, CAP_FSTATAT)              \
  71         MAPPING(CLOUDABI_RIGHT_FILE_STAT_PUT_TIMES, CAP_FUTIMESAT)      \
  72         MAPPING(CLOUDABI_RIGHT_FILE_SYMLINK, CAP_SYMLINKAT)             \
  73         MAPPING(CLOUDABI_RIGHT_FILE_UNLINK, CAP_UNLINKAT)               \
  74         MAPPING(CLOUDABI_RIGHT_MEM_MAP, CAP_MMAP)                       \
  75         MAPPING(CLOUDABI_RIGHT_MEM_MAP_EXEC, CAP_MMAP_X)                \
  76         MAPPING(CLOUDABI_RIGHT_POLL_FD_READWRITE, CAP_EVENT)            \
  77         MAPPING(CLOUDABI_RIGHT_POLL_MODIFY, CAP_KQUEUE_CHANGE)          \
  78         MAPPING(CLOUDABI_RIGHT_POLL_PROC_TERMINATE, CAP_EVENT)          \
  79         MAPPING(CLOUDABI_RIGHT_POLL_WAIT, CAP_KQUEUE_EVENT)             \
  80         MAPPING(CLOUDABI_RIGHT_PROC_EXEC, CAP_FEXECVE)                  \
  81         MAPPING(CLOUDABI_RIGHT_SOCK_ACCEPT, CAP_ACCEPT)                 \
  82         MAPPING(CLOUDABI_RIGHT_SOCK_BIND_DIRECTORY, CAP_BINDAT)         \
  83         MAPPING(CLOUDABI_RIGHT_SOCK_BIND_SOCKET, CAP_BIND)              \
  84         MAPPING(CLOUDABI_RIGHT_SOCK_CONNECT_DIRECTORY, CAP_CONNECTAT)   \
  85         MAPPING(CLOUDABI_RIGHT_SOCK_CONNECT_SOCKET, CAP_CONNECT)        \
  86         MAPPING(CLOUDABI_RIGHT_SOCK_LISTEN, CAP_LISTEN)                 \
  87         MAPPING(CLOUDABI_RIGHT_SOCK_SHUTDOWN, CAP_SHUTDOWN)             \
  88         MAPPING(CLOUDABI_RIGHT_SOCK_STAT_GET, CAP_GETPEERNAME,          \
  89             CAP_GETSOCKNAME, CAP_GETSOCKOPT)
  90
  91 int
  92 cloudabi_sys_fd_close(struct thread *td, struct cloudabi_sys_fd_close_args *uap)
  93 {
  94
  95         return (kern_close(td, uap->fd));
  96 }
  97
  98 int
  99 cloudabi_sys_fd_create1(struct thread *td,
 100     struct cloudabi_sys_fd_create1_args *uap)
 101 {
 102         struct filecaps fcaps = {};
 103         struct socket_args socket_args = {
 104                 .domain = AF_UNIX,
 105         };
 106
 107         switch (uap->type) {
 108         case CLOUDABI_FILETYPE_POLL:
 109                 cap_rights_init(&fcaps.fc_rights, CAP_FSTAT, CAP_KQUEUE);
 110                 return (kern_kqueue(td, 0, &fcaps));
 111         case CLOUDABI_FILETYPE_SHARED_MEMORY:
 112                 cap_rights_init(&fcaps.fc_rights, CAP_FSTAT, CAP_FTRUNCATE,
 113                     CAP_MMAP_RWX);
 114                 return (kern_shm_open(td, SHM_ANON, O_RDWR, 0, &fcaps));
 115         case CLOUDABI_FILETYPE_SOCKET_DGRAM:
 116                 socket_args.type = SOCK_DGRAM;
 117                 return (sys_socket(td, &socket_args));
 118         case CLOUDABI_FILETYPE_SOCKET_SEQPACKET:
 119                 socket_args.type = SOCK_SEQPACKET;
 120                 return (sys_socket(td, &socket_args));
 121         case CLOUDABI_FILETYPE_SOCKET_STREAM:
 122                 socket_args.type = SOCK_STREAM;
 123                 return (sys_socket(td, &socket_args));
 124         default:
 125                 return (EINVAL);
 126         }
 127 }
 128
 129 int
 130 cloudabi_sys_fd_create2(struct thread *td,
 131     struct cloudabi_sys_fd_create2_args *uap)
 132 {
 133         struct filecaps fcaps1 = {}, fcaps2 = {};
 134         int fds[2];
 135         int error;
 136
 137         switch (uap->type) {
 138         case CLOUDABI_FILETYPE_FIFO:
 139                 /*
 140                  * CloudABI pipes are unidirectional. Restrict rights on
 141                  * the pipe to simulate this.
 142                  */
 143                 cap_rights_init(&fcaps1.fc_rights, CAP_EVENT, CAP_FCNTL,
 144                     CAP_FSTAT, CAP_READ);
 145                 fcaps1.fc_fcntls = CAP_FCNTL_SETFL;
 146                 cap_rights_init(&fcaps2.fc_rights, CAP_EVENT, CAP_FCNTL,
 147                     CAP_FSTAT, CAP_WRITE);
 148                 fcaps2.fc_fcntls = CAP_FCNTL_SETFL;
 149                 error = kern_pipe(td, fds, 0, &fcaps1, &fcaps2);
 150                 break;
 151         case CLOUDABI_FILETYPE_SOCKET_DGRAM:
 152                 error = kern_socketpair(td, AF_UNIX, SOCK_DGRAM, 0, fds);
 153                 break;
 154         case CLOUDABI_FILETYPE_SOCKET_SEQPACKET:
 155                 error = kern_socketpair(td, AF_UNIX, SOCK_SEQPACKET, 0, fds);
 156                 break;
 157         case CLOUDABI_FILETYPE_SOCKET_STREAM:
 158                 error = kern_socketpair(td, AF_UNIX, SOCK_STREAM, 0, fds);
 159                 break;
 160         default:
 161                 return (EINVAL);
 162         }
 163
 164         if (error == 0) {
 165                 td->td_retval[0] = fds[0];
 166                 td->td_retval[1] = fds[1];
 167         }
 168         return (0);
 169 }
 170
 171 int
 172 cloudabi_sys_fd_datasync(struct thread *td,
 173     struct cloudabi_sys_fd_datasync_args *uap)
 174 {
 175
 176         return (kern_fsync(td, uap->fd, false));
 177 }
 178
 179 int
 180 cloudabi_sys_fd_dup(struct thread *td, struct cloudabi_sys_fd_dup_args *uap)
 181 {
 182
 183         return (kern_dup(td, FDDUP_NORMAL, 0, uap->from, 0));
 184 }
 185
 186 int
 187 cloudabi_sys_fd_replace(struct thread *td,
 188     struct cloudabi_sys_fd_replace_args *uap)
 189 {
 190         int error;
 191
 192         /*
 193          * CloudABI's equivalent to dup2(). CloudABI processes should
 194          * not depend on hardcoded file descriptor layouts, but simply
 195          * use the file descriptor numbers that are allocated by the
 196          * kernel. Duplicating file descriptors to arbitrary numbers
 197          * should not be done.
 198          *
 199          * Invoke kern_dup() with FDDUP_MUSTREPLACE, so that we return
 200          * EBADF when duplicating to a nonexistent file descriptor. Also
 201          * clear the return value, as this system call yields no return
 202          * value.
 203          */
 204         error = kern_dup(td, FDDUP_MUSTREPLACE, 0, uap->from, uap->to);
 205         td->td_retval[0] = 0;
 206         return (error);
 207 }
 208
 209 int
 210 cloudabi_sys_fd_seek(struct thread *td, struct cloudabi_sys_fd_seek_args *uap)
 211 {
 212         struct lseek_args lseek_args = {
 213                 .fd     = uap->fd,
 214                 .offset = uap->offset
 215         };
 216
 217         switch (uap->whence) {
 218         case CLOUDABI_WHENCE_CUR:
 219                 lseek_args.whence = SEEK_CUR;
 220                 break;
 221         case CLOUDABI_WHENCE_END:
 222                 lseek_args.whence = SEEK_END;
 223                 break;
 224         case CLOUDABI_WHENCE_SET:
 225                 lseek_args.whence = SEEK_SET;
 226                 break;
 227         default:
 228                 return (EINVAL);
 229         }
 230
 231         return (sys_lseek(td, &lseek_args));
 232 }
 233
 234 /* Converts a file descriptor to a CloudABI file descriptor type. */
 235 cloudabi_filetype_t
 236 cloudabi_convert_filetype(const struct file *fp)
 237 {
 238         struct socket *so;
 239         struct vnode *vp;
 240
 241         switch (fp->f_type) {
 242         case DTYPE_FIFO:
 243                 return (CLOUDABI_FILETYPE_FIFO);
 244         case DTYPE_KQUEUE:
 245                 return (CLOUDABI_FILETYPE_POLL);
 246         case DTYPE_PIPE:
 247                 return (CLOUDABI_FILETYPE_FIFO);
 248         case DTYPE_PROCDESC:
 249                 return (CLOUDABI_FILETYPE_PROCESS);
 250         case DTYPE_SHM:
 251                 return (CLOUDABI_FILETYPE_SHARED_MEMORY);
 252         case DTYPE_SOCKET:
 253                 so = fp->f_data;
 254                 switch (so->so_type) {
 255                 case SOCK_DGRAM:
 256                         return (CLOUDABI_FILETYPE_SOCKET_DGRAM);
 257                 case SOCK_SEQPACKET:
 258                         return (CLOUDABI_FILETYPE_SOCKET_SEQPACKET);
 259                 case SOCK_STREAM:
 260                         return (CLOUDABI_FILETYPE_SOCKET_STREAM);
 261                 default:
 262                         return (CLOUDABI_FILETYPE_UNKNOWN);
 263                 }
 264         case DTYPE_VNODE:
 265                 vp = fp->f_vnode;
 266                 switch (vp->v_type) {
 267                 case VBLK:
 268                         return (CLOUDABI_FILETYPE_BLOCK_DEVICE);
 269                 case VCHR:
 270                         return (CLOUDABI_FILETYPE_CHARACTER_DEVICE);
 271                 case VDIR:
 272                         return (CLOUDABI_FILETYPE_DIRECTORY);
 273                 case VFIFO:
 274                         return (CLOUDABI_FILETYPE_FIFO);
 275                 case VLNK:
 276                         return (CLOUDABI_FILETYPE_SYMBOLIC_LINK);
 277                 case VREG:
 278                         return (CLOUDABI_FILETYPE_REGULAR_FILE);
 279                 case VSOCK:
 280                         return (CLOUDABI_FILETYPE_SOCKET_STREAM);
 281                 default:
 282                         return (CLOUDABI_FILETYPE_UNKNOWN);
 283                 }
 284         default:
 285                 return (CLOUDABI_FILETYPE_UNKNOWN);
 286         }
 287 }
 288
 289 /* Removes rights that conflict with the file descriptor type. */
 290 void
 291 cloudabi_remove_conflicting_rights(cloudabi_filetype_t filetype,
 292     cloudabi_rights_t *base, cloudabi_rights_t *inheriting)
 293 {
 294
 295         /*
 296          * CloudABI has a small number of additional rights bits to
 297          * disambiguate between multiple purposes. Remove the bits that
 298          * don't apply to the type of the file descriptor.
 299          *
 300          * As file descriptor access modes (O_ACCMODE) has been fully
 301          * replaced by rights bits, CloudABI distinguishes between
 302          * rights that apply to the file descriptor itself (base) versus
 303          * rights of new file descriptors derived from them
 304          * (inheriting). The code below approximates the pair by
 305          * decomposing depending on the file descriptor type.
 306          *
 307          * We need to be somewhat accurate about which actions can
 308          * actually be performed on the file descriptor, as functions
 309          * like fcntl(fd, F_GETFL) are emulated on top of this.
 310          */
 311         switch (filetype) {
 312         case CLOUDABI_FILETYPE_DIRECTORY:
 313                 *base &= CLOUDABI_RIGHT_FD_STAT_PUT_FLAGS |
 314                     CLOUDABI_RIGHT_FD_SYNC | CLOUDABI_RIGHT_FILE_ADVISE |
 315                     CLOUDABI_RIGHT_FILE_CREATE_DIRECTORY |
 316                     CLOUDABI_RIGHT_FILE_CREATE_FILE |
 317                     CLOUDABI_RIGHT_FILE_CREATE_FIFO |
 318                     CLOUDABI_RIGHT_FILE_LINK_SOURCE |
 319                     CLOUDABI_RIGHT_FILE_LINK_TARGET |
 320                     CLOUDABI_RIGHT_FILE_OPEN |
 321                     CLOUDABI_RIGHT_FILE_READDIR |
 322                     CLOUDABI_RIGHT_FILE_READLINK |
 323                     CLOUDABI_RIGHT_FILE_RENAME_SOURCE |
 324                     CLOUDABI_RIGHT_FILE_RENAME_TARGET |
 325                     CLOUDABI_RIGHT_FILE_STAT_FGET |
 326                     CLOUDABI_RIGHT_FILE_STAT_FPUT_TIMES |
 327                     CLOUDABI_RIGHT_FILE_STAT_GET |
 328                     CLOUDABI_RIGHT_FILE_STAT_PUT_TIMES |
 329                     CLOUDABI_RIGHT_FILE_SYMLINK |
 330                     CLOUDABI_RIGHT_FILE_UNLINK |
 331                     CLOUDABI_RIGHT_POLL_FD_READWRITE |
 332                     CLOUDABI_RIGHT_SOCK_BIND_DIRECTORY |
 333                     CLOUDABI_RIGHT_SOCK_CONNECT_DIRECTORY;
 334                 *inheriting &= CLOUDABI_RIGHT_FD_DATASYNC |
 335                     CLOUDABI_RIGHT_FD_READ |
 336                     CLOUDABI_RIGHT_FD_SEEK |
 337                     CLOUDABI_RIGHT_FD_STAT_PUT_FLAGS |
 338                     CLOUDABI_RIGHT_FD_SYNC |
 339                     CLOUDABI_RIGHT_FD_TELL |
 340                     CLOUDABI_RIGHT_FD_WRITE |
 341                     CLOUDABI_RIGHT_FILE_ADVISE |
 342                     CLOUDABI_RIGHT_FILE_ALLOCATE |
 343                     CLOUDABI_RIGHT_FILE_CREATE_DIRECTORY |
 344                     CLOUDABI_RIGHT_FILE_CREATE_FILE |
 345                     CLOUDABI_RIGHT_FILE_CREATE_FIFO |
 346                     CLOUDABI_RIGHT_FILE_LINK_SOURCE |
 347                     CLOUDABI_RIGHT_FILE_LINK_TARGET |
 348                     CLOUDABI_RIGHT_FILE_OPEN |
 349                     CLOUDABI_RIGHT_FILE_READDIR |
 350                     CLOUDABI_RIGHT_FILE_READLINK |
 351                     CLOUDABI_RIGHT_FILE_RENAME_SOURCE |
 352                     CLOUDABI_RIGHT_FILE_RENAME_TARGET |
 353                     CLOUDABI_RIGHT_FILE_STAT_FGET |
 354                     CLOUDABI_RIGHT_FILE_STAT_FPUT_SIZE |
 355                     CLOUDABI_RIGHT_FILE_STAT_FPUT_TIMES |
 356                     CLOUDABI_RIGHT_FILE_STAT_GET |
 357                     CLOUDABI_RIGHT_FILE_STAT_PUT_TIMES |
 358                     CLOUDABI_RIGHT_FILE_SYMLINK |
 359                     CLOUDABI_RIGHT_FILE_UNLINK |
 360                     CLOUDABI_RIGHT_MEM_MAP |
 361                     CLOUDABI_RIGHT_MEM_MAP_EXEC |
 362                     CLOUDABI_RIGHT_POLL_FD_READWRITE |
 363                     CLOUDABI_RIGHT_PROC_EXEC |
 364                     CLOUDABI_RIGHT_SOCK_BIND_DIRECTORY |
 365                     CLOUDABI_RIGHT_SOCK_CONNECT_DIRECTORY;
 366                 break;
 367         case CLOUDABI_FILETYPE_FIFO:
 368                 *base &= CLOUDABI_RIGHT_FD_READ |
 369                     CLOUDABI_RIGHT_FD_STAT_PUT_FLAGS |
 370                     CLOUDABI_RIGHT_FD_WRITE |
 371                     CLOUDABI_RIGHT_FILE_STAT_FGET |
 372                     CLOUDABI_RIGHT_POLL_FD_READWRITE;
 373                 *inheriting = 0;
 374                 break;
 375         case CLOUDABI_FILETYPE_POLL:
 376                 *base &= ~CLOUDABI_RIGHT_FILE_ADVISE;
 377                 *inheriting = 0;
 378                 break;
 379         case CLOUDABI_FILETYPE_PROCESS:
 380                 *base &= ~(CLOUDABI_RIGHT_FILE_ADVISE |
 381                     CLOUDABI_RIGHT_POLL_FD_READWRITE);
 382                 *inheriting = 0;
 383                 break;
 384         case CLOUDABI_FILETYPE_REGULAR_FILE:
 385                 *base &= CLOUDABI_RIGHT_FD_DATASYNC |
 386                     CLOUDABI_RIGHT_FD_READ |
 387                     CLOUDABI_RIGHT_FD_SEEK |
 388                     CLOUDABI_RIGHT_FD_STAT_PUT_FLAGS |
 389                     CLOUDABI_RIGHT_FD_SYNC |
 390                     CLOUDABI_RIGHT_FD_TELL |
 391                     CLOUDABI_RIGHT_FD_WRITE |
 392                     CLOUDABI_RIGHT_FILE_ADVISE |
 393                     CLOUDABI_RIGHT_FILE_ALLOCATE |
 394                     CLOUDABI_RIGHT_FILE_STAT_FGET |
 395                     CLOUDABI_RIGHT_FILE_STAT_FPUT_SIZE |
 396                     CLOUDABI_RIGHT_FILE_STAT_FPUT_TIMES |
 397                     CLOUDABI_RIGHT_MEM_MAP |
 398                     CLOUDABI_RIGHT_MEM_MAP_EXEC |
 399                     CLOUDABI_RIGHT_POLL_FD_READWRITE |
 400                     CLOUDABI_RIGHT_PROC_EXEC;
 401                 *inheriting = 0;
 402                 break;
 403         case CLOUDABI_FILETYPE_SHARED_MEMORY:
 404                 *base &= ~(CLOUDABI_RIGHT_FD_SEEK |
 405                     CLOUDABI_RIGHT_FD_TELL |
 406                     CLOUDABI_RIGHT_FILE_ADVISE |
 407                     CLOUDABI_RIGHT_FILE_ALLOCATE |
 408                     CLOUDABI_RIGHT_FILE_READDIR);
 409                 *inheriting = 0;
 410                 break;
 411         case CLOUDABI_FILETYPE_SOCKET_DGRAM:
 412         case CLOUDABI_FILETYPE_SOCKET_SEQPACKET:
 413         case CLOUDABI_FILETYPE_SOCKET_STREAM:
 414                 *base &= CLOUDABI_RIGHT_FD_READ |
 415                     CLOUDABI_RIGHT_FD_STAT_PUT_FLAGS |
 416                     CLOUDABI_RIGHT_FD_WRITE |
 417                     CLOUDABI_RIGHT_FILE_STAT_FGET |
 418                     CLOUDABI_RIGHT_POLL_FD_READWRITE |
 419                     CLOUDABI_RIGHT_SOCK_ACCEPT |
 420                     CLOUDABI_RIGHT_SOCK_BIND_SOCKET |
 421                     CLOUDABI_RIGHT_SOCK_CONNECT_SOCKET |
 422                     CLOUDABI_RIGHT_SOCK_LISTEN |
 423                     CLOUDABI_RIGHT_SOCK_SHUTDOWN |
 424                     CLOUDABI_RIGHT_SOCK_STAT_GET;
 425                 break;
 426         default:
 427                 *inheriting = 0;
 428                 break;
 429         }
 430 }
 431
 432 /* Converts FreeBSD's Capsicum rights to CloudABI's set of rights. */
 433 static void
 434 convert_capabilities(const cap_rights_t *capabilities,
 435     cloudabi_filetype_t filetype, cloudabi_rights_t *base,
 436     cloudabi_rights_t *inheriting)
 437 {
 438         cloudabi_rights_t rights;
 439
 440         /* Convert FreeBSD bits to CloudABI bits. */
 441         rights = 0;
 442 #define MAPPING(cloudabi, ...) do {                             \
 443         if (cap_rights_is_set(capabilities, ##__VA_ARGS__))     \
 444                 rights |= (cloudabi);                           \
 445 } while (0);
 446         RIGHTS_MAPPINGS
 447 #undef MAPPING
 448
 449         *base = rights;
 450         *inheriting = rights;
 451         cloudabi_remove_conflicting_rights(filetype, base, inheriting);
 452 }
 453
 454 int
 455 cloudabi_sys_fd_stat_get(struct thread *td,
 456     struct cloudabi_sys_fd_stat_get_args *uap)
 457 {
 458         cloudabi_fdstat_t fsb = {};
 459         struct file *fp;
 460         cap_rights_t rights;
 461         struct filecaps fcaps;
 462         int error, oflags;
 463
 464         /* Obtain file descriptor properties. */
 465         error = fget_cap(td, uap->fd, cap_rights_init(&rights), &fp,
 466             &fcaps);
 467         if (error != 0)
 468                 return (error);
 469         oflags = OFLAGS(fp->f_flag);
 470         fsb.fs_filetype = cloudabi_convert_filetype(fp);
 471         fdrop(fp, td);
 472
 473         /* Convert file descriptor flags. */
 474         if (oflags & O_APPEND)
 475                 fsb.fs_flags |= CLOUDABI_FDFLAG_APPEND;
 476         if (oflags & O_NONBLOCK)
 477                 fsb.fs_flags |= CLOUDABI_FDFLAG_NONBLOCK;
 478         if (oflags & O_SYNC)
 479                 fsb.fs_flags |= CLOUDABI_FDFLAG_SYNC;
 480
 481         /* Convert capabilities to CloudABI rights. */
 482         convert_capabilities(&fcaps.fc_rights, fsb.fs_filetype,
 483             &fsb.fs_rights_base, &fsb.fs_rights_inheriting);
 484         filecaps_free(&fcaps);
 485         return (copyout(&fsb, (void *)uap->buf, sizeof(fsb)));
 486 }
 487
 488 /* Converts CloudABI rights to a set of Capsicum capabilities. */
 489 int
 490 cloudabi_convert_rights(cloudabi_rights_t in, cap_rights_t *out)
 491 {
 492
 493         cap_rights_init(out);
 494 #define MAPPING(cloudabi, ...) do {                     \
 495         if (in & (cloudabi)) {                          \
 496                 cap_rights_set(out, ##__VA_ARGS__);     \
 497                 in &= ~(cloudabi);                      \
 498         }                                               \
 499 } while (0);
 500         RIGHTS_MAPPINGS
 501 #undef MAPPING
 502         if (in != 0)
 503                 return (ENOTCAPABLE);
 504         return (0);
 505 }
 506
 507 int
 508 cloudabi_sys_fd_stat_put(struct thread *td,
 509     struct cloudabi_sys_fd_stat_put_args *uap)
 510 {
 511         cloudabi_fdstat_t fsb;
 512         cap_rights_t rights;
 513         int error, oflags;
 514
 515         error = copyin(uap->buf, &fsb, sizeof(fsb));
 516         if (error != 0)
 517                 return (error);
 518
 519         if (uap->flags == CLOUDABI_FDSTAT_FLAGS) {
 520                 /* Convert flags. */
 521                 oflags = 0;
 522                 if (fsb.fs_flags & CLOUDABI_FDFLAG_APPEND)
 523                         oflags |= O_APPEND;
 524                 if (fsb.fs_flags & CLOUDABI_FDFLAG_NONBLOCK)
 525                         oflags |= O_NONBLOCK;
 526                 if (fsb.fs_flags & (CLOUDABI_FDFLAG_SYNC |
 527                     CLOUDABI_FDFLAG_DSYNC | CLOUDABI_FDFLAG_RSYNC))
 528                         oflags |= O_SYNC;
 529                 return (kern_fcntl(td, uap->fd, F_SETFL, oflags));
 530         } else if (uap->flags == CLOUDABI_FDSTAT_RIGHTS) {
 531                 /* Convert rights. */
 532                 error = cloudabi_convert_rights(
 533                     fsb.fs_rights_base | fsb.fs_rights_inheriting, &rights);
 534                 if (error != 0)
 535                         return (error);
 536                 return (kern_cap_rights_limit(td, uap->fd, &rights));
 537         }
 538         return (EINVAL);
 539 }
 540
 541 int
 542 cloudabi_sys_fd_sync(struct thread *td, struct cloudabi_sys_fd_sync_args *uap)
 543 {
 544
 545         return (kern_fsync(td, uap->fd, true));
 546 }