sys/compat/cloudabi64/cloudabi64_systrace_args.c

   1 /*
   2  * System call argument to DTrace register array converstion.
   3  *
   4  * DO NOT EDIT-- this file is automatically generated.
   5  * $FreeBSD$
   6  * This file is part of the DTrace syscall provider.
   7  */
   8
   9 static void
  10 systrace_args(int sysnum, void *params, uint64_t *uarg, int *n_args)
  11 {
  12         int64_t *iarg  = (int64_t *) uarg;
  13         switch (sysnum) {
  14         /* cloudabi_sys_clock_res_get */
  15         case 0: {
  16                 struct cloudabi_sys_clock_res_get_args *p = params;
  17                 iarg[0] = p->clock_id; /* cloudabi_clockid_t */
  18                 *n_args = 1;
  19                 break;
  20         }
  21         /* cloudabi_sys_clock_time_get */
  22         case 1: {
  23                 struct cloudabi_sys_clock_time_get_args *p = params;
  24                 iarg[0] = p->clock_id; /* cloudabi_clockid_t */
  25                 iarg[1] = p->precision; /* cloudabi_timestamp_t */
  26                 *n_args = 2;
  27                 break;
  28         }
  29         /* cloudabi_sys_condvar_signal */
  30         case 2: {
  31                 struct cloudabi_sys_condvar_signal_args *p = params;
  32                 uarg[0] = (intptr_t) p->condvar; /* cloudabi_condvar_t * */
  33                 iarg[1] = p->scope; /* cloudabi_futexscope_t */
  34                 iarg[2] = p->nwaiters; /* cloudabi_nthreads_t */
  35                 *n_args = 3;
  36                 break;
  37         }
  38         /* cloudabi_sys_fd_close */
  39         case 3: {
  40                 struct cloudabi_sys_fd_close_args *p = params;
  41                 iarg[0] = p->fd; /* cloudabi_fd_t */
  42                 *n_args = 1;
  43                 break;
  44         }
  45         /* cloudabi_sys_fd_create1 */
  46         case 4: {
  47                 struct cloudabi_sys_fd_create1_args *p = params;
  48                 iarg[0] = p->type; /* cloudabi_filetype_t */
  49                 *n_args = 1;
  50                 break;
  51         }
  52         /* cloudabi_sys_fd_create2 */
  53         case 5: {
  54                 struct cloudabi_sys_fd_create2_args *p = params;
  55                 iarg[0] = p->type; /* cloudabi_filetype_t */
  56                 *n_args = 1;
  57                 break;
  58         }
  59         /* cloudabi_sys_fd_datasync */
  60         case 6: {
  61                 struct cloudabi_sys_fd_datasync_args *p = params;
  62                 iarg[0] = p->fd; /* cloudabi_fd_t */
  63                 *n_args = 1;
  64                 break;
  65         }
  66         /* cloudabi_sys_fd_dup */
  67         case 7: {
  68                 struct cloudabi_sys_fd_dup_args *p = params;
  69                 iarg[0] = p->from; /* cloudabi_fd_t */
  70                 *n_args = 1;
  71                 break;
  72         }
  73         /* cloudabi64_sys_fd_pread */
  74         case 8: {
  75                 struct cloudabi64_sys_fd_pread_args *p = params;
  76                 iarg[0] = p->fd; /* cloudabi_fd_t */
  77                 uarg[1] = (intptr_t) p->iov; /* const cloudabi64_iovec_t * */
  78                 iarg[2] = p->iovcnt; /* cloudabi64_size_t */
  79                 iarg[3] = p->offset; /* cloudabi_filesize_t */
  80                 *n_args = 4;
  81                 break;
  82         }
  83         /* cloudabi64_sys_fd_pwrite */
  84         case 9: {
  85                 struct cloudabi64_sys_fd_pwrite_args *p = params;
  86                 iarg[0] = p->fd; /* cloudabi_fd_t */
  87                 uarg[1] = (intptr_t) p->iov; /* const cloudabi64_ciovec_t * */
  88                 iarg[2] = p->iovcnt; /* cloudabi64_size_t */
  89                 iarg[3] = p->offset; /* cloudabi_filesize_t */
  90                 *n_args = 4;
  91                 break;
  92         }
  93         /* cloudabi64_sys_fd_read */
  94         case 10: {
  95                 struct cloudabi64_sys_fd_read_args *p = params;
  96                 iarg[0] = p->fd; /* cloudabi_fd_t */
  97                 uarg[1] = (intptr_t) p->iov; /* const cloudabi64_iovec_t * */
  98                 iarg[2] = p->iovcnt; /* cloudabi64_size_t */
  99                 *n_args = 3;
 100                 break;
 101         }
 102         /* cloudabi_sys_fd_replace */
 103         case 11: {
 104                 struct cloudabi_sys_fd_replace_args *p = params;
 105                 iarg[0] = p->from; /* cloudabi_fd_t */
 106                 iarg[1] = p->to; /* cloudabi_fd_t */
 107                 *n_args = 2;
 108                 break;
 109         }
 110         /* cloudabi_sys_fd_seek */
 111         case 12: {
 112                 struct cloudabi_sys_fd_seek_args *p = params;
 113                 iarg[0] = p->fd; /* cloudabi_fd_t */
 114                 iarg[1] = p->offset; /* cloudabi_filedelta_t */
 115                 iarg[2] = p->whence; /* cloudabi_whence_t */
 116                 *n_args = 3;
 117                 break;
 118         }
 119         /* cloudabi_sys_fd_stat_get */
 120         case 13: {
 121                 struct cloudabi_sys_fd_stat_get_args *p = params;
 122                 iarg[0] = p->fd; /* cloudabi_fd_t */
 123                 uarg[1] = (intptr_t) p->buf; /* cloudabi_fdstat_t * */
 124                 *n_args = 2;
 125                 break;
 126         }
 127         /* cloudabi_sys_fd_stat_put */
 128         case 14: {
 129                 struct cloudabi_sys_fd_stat_put_args *p = params;
 130                 iarg[0] = p->fd; /* cloudabi_fd_t */
 131                 uarg[1] = (intptr_t) p->buf; /* const cloudabi_fdstat_t * */
 132                 iarg[2] = p->flags; /* cloudabi_fdsflags_t */
 133                 *n_args = 3;
 134                 break;
 135         }
 136         /* cloudabi_sys_fd_sync */
 137         case 15: {
 138                 struct cloudabi_sys_fd_sync_args *p = params;
 139                 iarg[0] = p->fd; /* cloudabi_fd_t */
 140                 *n_args = 1;
 141                 break;
 142         }
 143         /* cloudabi64_sys_fd_write */
 144         case 16: {
 145                 struct cloudabi64_sys_fd_write_args *p = params;
 146                 iarg[0] = p->fd; /* cloudabi_fd_t */
 147                 uarg[1] = (intptr_t) p->iov; /* const cloudabi64_ciovec_t * */
 148                 iarg[2] = p->iovcnt; /* cloudabi64_size_t */
 149                 *n_args = 3;
 150                 break;
 151         }
 152         /* cloudabi_sys_file_advise */
 153         case 17: {
 154                 struct cloudabi_sys_file_advise_args *p = params;
 155                 iarg[0] = p->fd; /* cloudabi_fd_t */
 156                 iarg[1] = p->offset; /* cloudabi_filesize_t */
 157                 iarg[2] = p->len; /* cloudabi_filesize_t */
 158                 iarg[3] = p->advice; /* cloudabi_advice_t */
 159                 *n_args = 4;
 160                 break;
 161         }
 162         /* cloudabi_sys_file_allocate */
 163         case 18: {
 164                 struct cloudabi_sys_file_allocate_args *p = params;
 165                 iarg[0] = p->fd; /* cloudabi_fd_t */
 166                 iarg[1] = p->offset; /* cloudabi_filesize_t */
 167                 iarg[2] = p->len; /* cloudabi_filesize_t */
 168                 *n_args = 3;
 169                 break;
 170         }
 171         /* cloudabi_sys_file_create */
 172         case 19: {
 173                 struct cloudabi_sys_file_create_args *p = params;
 174                 iarg[0] = p->fd; /* cloudabi_fd_t */
 175                 uarg[1] = (intptr_t) p->path; /* const char * */
 176                 uarg[2] = p->pathlen; /* size_t */
 177                 iarg[3] = p->type; /* cloudabi_filetype_t */
 178                 *n_args = 4;
 179                 break;
 180         }
 181         /* cloudabi_sys_file_link */
 182         case 20: {
 183                 struct cloudabi_sys_file_link_args *p = params;
 184                 iarg[0] = p->fd1; /* cloudabi_lookup_t */
 185                 uarg[1] = (intptr_t) p->path1; /* const char * */
 186                 uarg[2] = p->path1len; /* size_t */
 187                 iarg[3] = p->fd2; /* cloudabi_fd_t */
 188                 uarg[4] = (intptr_t) p->path2; /* const char * */
 189                 uarg[5] = p->path2len; /* size_t */
 190                 *n_args = 6;
 191                 break;
 192         }
 193         /* cloudabi_sys_file_open */
 194         case 21: {
 195                 struct cloudabi_sys_file_open_args *p = params;
 196                 iarg[0] = p->fd; /* cloudabi_lookup_t */
 197                 uarg[1] = (intptr_t) p->path; /* const char * */
 198                 uarg[2] = p->pathlen; /* size_t */
 199                 iarg[3] = p->oflags; /* cloudabi_oflags_t */
 200                 uarg[4] = (intptr_t) p->fds; /* const cloudabi_fdstat_t * */
 201                 *n_args = 5;
 202                 break;
 203         }
 204         /* cloudabi_sys_file_readdir */
 205         case 22: {
 206                 struct cloudabi_sys_file_readdir_args *p = params;
 207                 iarg[0] = p->fd; /* cloudabi_fd_t */
 208                 uarg[1] = (intptr_t) p->buf; /* void * */
 209                 uarg[2] = p->nbyte; /* size_t */
 210                 iarg[3] = p->cookie; /* cloudabi_dircookie_t */
 211                 *n_args = 4;
 212                 break;
 213         }
 214         /* cloudabi_sys_file_readlink */
 215         case 23: {
 216                 struct cloudabi_sys_file_readlink_args *p = params;
 217                 iarg[0] = p->fd; /* cloudabi_fd_t */
 218                 uarg[1] = (intptr_t) p->path; /* const char * */
 219                 uarg[2] = p->pathlen; /* size_t */
 220                 uarg[3] = (intptr_t) p->buf; /* void * */
 221                 uarg[4] = p->bufsize; /* size_t */
 222                 *n_args = 5;
 223                 break;
 224         }
 225         /* cloudabi_sys_file_rename */
 226         case 24: {
 227                 struct cloudabi_sys_file_rename_args *p = params;
 228                 iarg[0] = p->oldfd; /* cloudabi_fd_t */
 229                 uarg[1] = (intptr_t) p->old; /* const char * */
 230                 uarg[2] = p->oldlen; /* size_t */
 231                 iarg[3] = p->newfd; /* cloudabi_fd_t */
 232                 uarg[4] = (intptr_t) p->new; /* const char * */
 233                 uarg[5] = p->newlen; /* size_t */
 234                 *n_args = 6;
 235                 break;
 236         }
 237         /* cloudabi_sys_file_stat_fget */
 238         case 25: {
 239                 struct cloudabi_sys_file_stat_fget_args *p = params;
 240                 iarg[0] = p->fd; /* cloudabi_fd_t */
 241                 uarg[1] = (intptr_t) p->buf; /* cloudabi_filestat_t * */
 242                 *n_args = 2;
 243                 break;
 244         }
 245         /* cloudabi_sys_file_stat_fput */
 246         case 26: {
 247                 struct cloudabi_sys_file_stat_fput_args *p = params;
 248                 iarg[0] = p->fd; /* cloudabi_fd_t */
 249                 uarg[1] = (intptr_t) p->buf; /* const cloudabi_filestat_t * */
 250                 iarg[2] = p->flags; /* cloudabi_fsflags_t */
 251                 *n_args = 3;
 252                 break;
 253         }
 254         /* cloudabi_sys_file_stat_get */
 255         case 27: {
 256                 struct cloudabi_sys_file_stat_get_args *p = params;
 257                 iarg[0] = p->fd; /* cloudabi_lookup_t */
 258                 uarg[1] = (intptr_t) p->path; /* const char * */
 259                 uarg[2] = p->pathlen; /* size_t */
 260                 uarg[3] = (intptr_t) p->buf; /* cloudabi_filestat_t * */
 261                 *n_args = 4;
 262                 break;
 263         }
 264         /* cloudabi_sys_file_stat_put */
 265         case 28: {
 266                 struct cloudabi_sys_file_stat_put_args *p = params;
 267                 iarg[0] = p->fd; /* cloudabi_lookup_t */
 268                 uarg[1] = (intptr_t) p->path; /* const char * */
 269                 uarg[2] = p->pathlen; /* size_t */
 270                 uarg[3] = (intptr_t) p->buf; /* const cloudabi_filestat_t * */
 271                 iarg[4] = p->flags; /* cloudabi_fsflags_t */
 272                 *n_args = 5;
 273                 break;
 274         }
 275         /* cloudabi_sys_file_symlink */
 276         case 29: {
 277                 struct cloudabi_sys_file_symlink_args *p = params;
 278                 uarg[0] = (intptr_t) p->path1; /* const char * */
 279                 uarg[1] = p->path1len; /* size_t */
 280                 iarg[2] = p->fd; /* cloudabi_fd_t */
 281                 uarg[3] = (intptr_t) p->path2; /* const char * */
 282                 uarg[4] = p->path2len; /* size_t */
 283                 *n_args = 5;
 284                 break;
 285         }
 286         /* cloudabi_sys_file_unlink */
 287         case 30: {
 288                 struct cloudabi_sys_file_unlink_args *p = params;
 289                 iarg[0] = p->fd; /* cloudabi_fd_t */
 290                 uarg[1] = (intptr_t) p->path; /* const char * */
 291                 uarg[2] = p->pathlen; /* size_t */
 292                 iarg[3] = p->flag; /* cloudabi_ulflags_t */
 293                 *n_args = 4;
 294                 break;
 295         }
 296         /* cloudabi_sys_lock_unlock */
 297         case 31: {
 298                 struct cloudabi_sys_lock_unlock_args *p = params;
 299                 uarg[0] = (intptr_t) p->lock; /* cloudabi_lock_t * */
 300                 iarg[1] = p->scope; /* cloudabi_futexscope_t */
 301                 *n_args = 2;
 302                 break;
 303         }
 304         /* cloudabi_sys_mem_advise */
 305         case 32: {
 306                 struct cloudabi_sys_mem_advise_args *p = params;
 307                 uarg[0] = (intptr_t) p->addr; /* void * */
 308                 uarg[1] = p->len; /* size_t */
 309                 iarg[2] = p->advice; /* cloudabi_advice_t */
 310                 *n_args = 3;
 311                 break;
 312         }
 313         /* cloudabi_sys_mem_lock */
 314         case 33: {
 315                 struct cloudabi_sys_mem_lock_args *p = params;
 316                 uarg[0] = (intptr_t) p->addr; /* const void * */
 317                 uarg[1] = p->len; /* size_t */
 318                 *n_args = 2;
 319                 break;
 320         }
 321         /* cloudabi_sys_mem_map */
 322         case 34: {
 323                 struct cloudabi_sys_mem_map_args *p = params;
 324                 uarg[0] = (intptr_t) p->addr; /* void * */
 325                 uarg[1] = p->len; /* size_t */
 326                 iarg[2] = p->prot; /* cloudabi_mprot_t */
 327                 iarg[3] = p->flags; /* cloudabi_mflags_t */
 328                 iarg[4] = p->fd; /* cloudabi_fd_t */
 329                 iarg[5] = p->off; /* cloudabi_filesize_t */
 330                 *n_args = 6;
 331                 break;
 332         }
 333         /* cloudabi_sys_mem_protect */
 334         case 35: {
 335                 struct cloudabi_sys_mem_protect_args *p = params;
 336                 uarg[0] = (intptr_t) p->addr; /* void * */
 337                 uarg[1] = p->len; /* size_t */
 338                 iarg[2] = p->prot; /* cloudabi_mprot_t */
 339                 *n_args = 3;
 340                 break;
 341         }
 342         /* cloudabi_sys_mem_sync */
 343         case 36: {
 344                 struct cloudabi_sys_mem_sync_args *p = params;
 345                 uarg[0] = (intptr_t) p->addr; /* void * */
 346                 uarg[1] = p->len; /* size_t */
 347                 iarg[2] = p->flags; /* cloudabi_msflags_t */
 348                 *n_args = 3;
 349                 break;
 350         }
 351         /* cloudabi_sys_mem_unlock */
 352         case 37: {
 353                 struct cloudabi_sys_mem_unlock_args *p = params;
 354                 uarg[0] = (intptr_t) p->addr; /* const void * */
 355                 uarg[1] = p->len; /* size_t */
 356                 *n_args = 2;
 357                 break;
 358         }
 359         /* cloudabi_sys_mem_unmap */
 360         case 38: {
 361                 struct cloudabi_sys_mem_unmap_args *p = params;
 362                 uarg[0] = (intptr_t) p->addr; /* void * */
 363                 uarg[1] = p->len; /* size_t */
 364                 *n_args = 2;
 365                 break;
 366         }
 367         /* cloudabi64_sys_poll */
 368         case 39: {
 369                 struct cloudabi64_sys_poll_args *p = params;
 370                 iarg[0] = p->fd; /* cloudabi_fd_t */
 371                 uarg[1] = (intptr_t) p->in; /* const cloudabi64_subscription_t * */
 372                 iarg[2] = p->nin; /* cloudabi64_size_t */
 373                 uarg[3] = (intptr_t) p->out; /* cloudabi64_event_t * */
 374                 iarg[4] = p->nout; /* cloudabi64_size_t */
 375                 *n_args = 5;
 376                 break;
 377         }
 378         /* cloudabi_sys_proc_exec */
 379         case 40: {
 380                 struct cloudabi_sys_proc_exec_args *p = params;
 381                 iarg[0] = p->fd; /* cloudabi_fd_t */
 382                 uarg[1] = (intptr_t) p->data; /* const void * */
 383                 uarg[2] = p->datalen; /* size_t */
 384                 uarg[3] = (intptr_t) p->fds; /* const cloudabi_fd_t * */
 385                 uarg[4] = p->fdslen; /* size_t */
 386                 *n_args = 5;
 387                 break;
 388         }
 389         /* cloudabi_sys_proc_exit */
 390         case 41: {
 391                 struct cloudabi_sys_proc_exit_args *p = params;
 392                 iarg[0] = p->rval; /* cloudabi_exitcode_t */
 393                 *n_args = 1;
 394                 break;
 395         }
 396         /* cloudabi_sys_proc_fork */
 397         case 42: {
 398                 *n_args = 0;
 399                 break;
 400         }
 401         /* cloudabi_sys_proc_raise */
 402         case 43: {
 403                 struct cloudabi_sys_proc_raise_args *p = params;
 404                 iarg[0] = p->sig; /* cloudabi_signal_t */
 405                 *n_args = 1;
 406                 break;
 407         }
 408         /* cloudabi_sys_random_get */
 409         case 44: {
 410                 struct cloudabi_sys_random_get_args *p = params;
 411                 uarg[0] = (intptr_t) p->buf; /* void * */
 412                 uarg[1] = p->nbyte; /* size_t */
 413                 *n_args = 2;
 414                 break;
 415         }
 416         /* cloudabi_sys_sock_accept */
 417         case 45: {
 418                 struct cloudabi_sys_sock_accept_args *p = params;
 419                 iarg[0] = p->s; /* cloudabi_fd_t */
 420                 uarg[1] = (intptr_t) p->buf; /* cloudabi_sockstat_t * */
 421                 *n_args = 2;
 422                 break;
 423         }
 424         /* cloudabi_sys_sock_bind */
 425         case 46: {
 426                 struct cloudabi_sys_sock_bind_args *p = params;
 427                 iarg[0] = p->s; /* cloudabi_fd_t */
 428                 iarg[1] = p->fd; /* cloudabi_fd_t */
 429                 uarg[2] = (intptr_t) p->path; /* const char * */
 430                 uarg[3] = p->pathlen; /* size_t */
 431                 *n_args = 4;
 432                 break;
 433         }
 434         /* cloudabi_sys_sock_connect */
 435         case 47: {
 436                 struct cloudabi_sys_sock_connect_args *p = params;
 437                 iarg[0] = p->s; /* cloudabi_fd_t */
 438                 iarg[1] = p->fd; /* cloudabi_fd_t */
 439                 uarg[2] = (intptr_t) p->path; /* const char * */
 440                 uarg[3] = p->pathlen; /* size_t */
 441                 *n_args = 4;
 442                 break;
 443         }
 444         /* cloudabi_sys_sock_listen */
 445         case 48: {
 446                 struct cloudabi_sys_sock_listen_args *p = params;
 447                 iarg[0] = p->s; /* cloudabi_fd_t */
 448                 iarg[1] = p->backlog; /* cloudabi_backlog_t */
 449                 *n_args = 2;
 450                 break;
 451         }
 452         /* cloudabi64_sys_sock_recv */
 453         case 49: {
 454                 struct cloudabi64_sys_sock_recv_args *p = params;
 455                 iarg[0] = p->s; /* cloudabi_fd_t */
 456                 uarg[1] = (intptr_t) p->in; /* const cloudabi64_recv_in_t * */
 457                 uarg[2] = (intptr_t) p->out; /* cloudabi64_recv_out_t * */
 458                 *n_args = 3;
 459                 break;
 460         }
 461         /* cloudabi64_sys_sock_send */
 462         case 50: {
 463                 struct cloudabi64_sys_sock_send_args *p = params;
 464                 iarg[0] = p->s; /* cloudabi_fd_t */
 465                 uarg[1] = (intptr_t) p->in; /* const cloudabi64_send_in_t * */
 466                 uarg[2] = (intptr_t) p->out; /* cloudabi64_send_out_t * */
 467                 *n_args = 3;
 468                 break;
 469         }
 470         /* cloudabi_sys_sock_shutdown */
 471         case 51: {
 472                 struct cloudabi_sys_sock_shutdown_args *p = params;
 473                 iarg[0] = p->fd; /* cloudabi_fd_t */
 474                 iarg[1] = p->how; /* cloudabi_sdflags_t */
 475                 *n_args = 2;
 476                 break;
 477         }
 478         /* cloudabi_sys_sock_stat_get */
 479         case 52: {
 480                 struct cloudabi_sys_sock_stat_get_args *p = params;
 481                 iarg[0] = p->fd; /* cloudabi_fd_t */
 482                 uarg[1] = (intptr_t) p->buf; /* cloudabi_sockstat_t * */
 483                 iarg[2] = p->flags; /* cloudabi_ssflags_t */
 484                 *n_args = 3;
 485                 break;
 486         }
 487         /* cloudabi64_sys_thread_create */
 488         case 53: {
 489                 struct cloudabi64_sys_thread_create_args *p = params;
 490                 uarg[0] = (intptr_t) p->attr; /* cloudabi64_threadattr_t * */
 491                 *n_args = 1;
 492                 break;
 493         }
 494         /* cloudabi_sys_thread_exit */
 495         case 54: {
 496                 struct cloudabi_sys_thread_exit_args *p = params;
 497                 uarg[0] = (intptr_t) p->lock; /* cloudabi_lock_t * */
 498                 iarg[1] = p->scope; /* cloudabi_futexscope_t */
 499                 *n_args = 2;
 500                 break;
 501         }
 502         /* cloudabi_sys_thread_tcb_set */
 503         case 55: {
 504                 struct cloudabi_sys_thread_tcb_set_args *p = params;
 505                 uarg[0] = (intptr_t) p->tcb; /* void * */
 506                 *n_args = 1;
 507                 break;
 508         }
 509         /* cloudabi_sys_thread_yield */
 510         case 56: {
 511                 *n_args = 0;
 512                 break;
 513         }
 514         default:
 515                 *n_args = 0;
 516                 break;
 517         };
 518 }
 519 static void
 520 systrace_entry_setargdesc(int sysnum, int ndx, char *desc, size_t descsz)
 521 {
 522         const char *p = NULL;
 523         switch (sysnum) {
 524         /* cloudabi_sys_clock_res_get */
 525         case 0:
 526                 switch(ndx) {
 527                 case 0:
 528                         p = "cloudabi_clockid_t";
 529                         break;
 530                 default:
 531                         break;
 532                 };
 533                 break;
 534         /* cloudabi_sys_clock_time_get */
 535         case 1:
 536                 switch(ndx) {
 537                 case 0:
 538                         p = "cloudabi_clockid_t";
 539                         break;
 540                 case 1:
 541                         p = "cloudabi_timestamp_t";
 542                         break;
 543                 default:
 544                         break;
 545                 };
 546                 break;
 547         /* cloudabi_sys_condvar_signal */
 548         case 2:
 549                 switch(ndx) {
 550                 case 0:
 551                         p = "cloudabi_condvar_t *";
 552                         break;
 553                 case 1:
 554                         p = "cloudabi_futexscope_t";
 555                         break;
 556                 case 2:
 557                         p = "cloudabi_nthreads_t";
 558                         break;
 559                 default:
 560                         break;
 561                 };
 562                 break;
 563         /* cloudabi_sys_fd_close */
 564         case 3:
 565                 switch(ndx) {
 566                 case 0:
 567                         p = "cloudabi_fd_t";
 568                         break;
 569                 default:
 570                         break;
 571                 };
 572                 break;
 573         /* cloudabi_sys_fd_create1 */
 574         case 4:
 575                 switch(ndx) {
 576                 case 0:
 577                         p = "cloudabi_filetype_t";
 578                         break;
 579                 default:
 580                         break;
 581                 };
 582                 break;
 583         /* cloudabi_sys_fd_create2 */
 584         case 5:
 585                 switch(ndx) {
 586                 case 0:
 587                         p = "cloudabi_filetype_t";
 588                         break;
 589                 default:
 590                         break;
 591                 };
 592                 break;
 593         /* cloudabi_sys_fd_datasync */
 594         case 6:
 595                 switch(ndx) {
 596                 case 0:
 597                         p = "cloudabi_fd_t";
 598                         break;
 599                 default:
 600                         break;
 601                 };
 602                 break;
 603         /* cloudabi_sys_fd_dup */
 604         case 7:
 605                 switch(ndx) {
 606                 case 0:
 607                         p = "cloudabi_fd_t";
 608                         break;
 609                 default:
 610                         break;
 611                 };
 612                 break;
 613         /* cloudabi64_sys_fd_pread */
 614         case 8:
 615                 switch(ndx) {
 616                 case 0:
 617                         p = "cloudabi_fd_t";
 618                         break;
 619                 case 1:
 620                         p = "const cloudabi64_iovec_t *";
 621                         break;
 622                 case 2:
 623                         p = "cloudabi64_size_t";
 624                         break;
 625                 case 3:
 626                         p = "cloudabi_filesize_t";
 627                         break;
 628                 default:
 629                         break;
 630                 };
 631                 break;
 632         /* cloudabi64_sys_fd_pwrite */
 633         case 9:
 634                 switch(ndx) {
 635                 case 0:
 636                         p = "cloudabi_fd_t";
 637                         break;
 638                 case 1:
 639                         p = "const cloudabi64_ciovec_t *";
 640                         break;
 641                 case 2:
 642                         p = "cloudabi64_size_t";
 643                         break;
 644                 case 3:
 645                         p = "cloudabi_filesize_t";
 646                         break;
 647                 default:
 648                         break;
 649                 };
 650                 break;
 651         /* cloudabi64_sys_fd_read */
 652         case 10:
 653                 switch(ndx) {
 654                 case 0:
 655                         p = "cloudabi_fd_t";
 656                         break;
 657                 case 1:
 658                         p = "const cloudabi64_iovec_t *";
 659                         break;
 660                 case 2:
 661                         p = "cloudabi64_size_t";
 662                         break;
 663                 default:
 664                         break;
 665                 };
 666                 break;
 667         /* cloudabi_sys_fd_replace */
 668         case 11:
 669                 switch(ndx) {
 670                 case 0:
 671                         p = "cloudabi_fd_t";
 672                         break;
 673                 case 1:
 674                         p = "cloudabi_fd_t";
 675                         break;
 676                 default:
 677                         break;
 678                 };
 679                 break;
 680         /* cloudabi_sys_fd_seek */
 681         case 12:
 682                 switch(ndx) {
 683                 case 0:
 684                         p = "cloudabi_fd_t";
 685                         break;
 686                 case 1:
 687                         p = "cloudabi_filedelta_t";
 688                         break;
 689                 case 2:
 690                         p = "cloudabi_whence_t";
 691                         break;
 692                 default:
 693                         break;
 694                 };
 695                 break;
 696         /* cloudabi_sys_fd_stat_get */
 697         case 13:
 698                 switch(ndx) {
 699                 case 0:
 700                         p = "cloudabi_fd_t";
 701                         break;
 702                 case 1:
 703                         p = "cloudabi_fdstat_t *";
 704                         break;
 705                 default:
 706                         break;
 707                 };
 708                 break;
 709         /* cloudabi_sys_fd_stat_put */
 710         case 14:
 711                 switch(ndx) {
 712                 case 0:
 713                         p = "cloudabi_fd_t";
 714                         break;
 715                 case 1:
 716                         p = "const cloudabi_fdstat_t *";
 717                         break;
 718                 case 2:
 719                         p = "cloudabi_fdsflags_t";
 720                         break;
 721                 default:
 722                         break;
 723                 };
 724                 break;
 725         /* cloudabi_sys_fd_sync */
 726         case 15:
 727                 switch(ndx) {
 728                 case 0:
 729                         p = "cloudabi_fd_t";
 730                         break;
 731                 default:
 732                         break;
 733                 };
 734                 break;
 735         /* cloudabi64_sys_fd_write */
 736         case 16:
 737                 switch(ndx) {
 738                 case 0:
 739                         p = "cloudabi_fd_t";
 740                         break;
 741                 case 1:
 742                         p = "const cloudabi64_ciovec_t *";
 743                         break;
 744                 case 2:
 745                         p = "cloudabi64_size_t";
 746                         break;
 747                 default:
 748                         break;
 749                 };
 750                 break;
 751         /* cloudabi_sys_file_advise */
 752         case 17:
 753                 switch(ndx) {
 754                 case 0:
 755                         p = "cloudabi_fd_t";
 756                         break;
 757                 case 1:
 758                         p = "cloudabi_filesize_t";
 759                         break;
 760                 case 2:
 761                         p = "cloudabi_filesize_t";
 762                         break;
 763                 case 3:
 764                         p = "cloudabi_advice_t";
 765                         break;
 766                 default:
 767                         break;
 768                 };
 769                 break;
 770         /* cloudabi_sys_file_allocate */
 771         case 18:
 772                 switch(ndx) {
 773                 case 0:
 774                         p = "cloudabi_fd_t";
 775                         break;
 776                 case 1:
 777                         p = "cloudabi_filesize_t";
 778                         break;
 779                 case 2:
 780                         p = "cloudabi_filesize_t";
 781                         break;
 782                 default:
 783                         break;
 784                 };
 785                 break;
 786         /* cloudabi_sys_file_create */
 787         case 19:
 788                 switch(ndx) {
 789                 case 0:
 790                         p = "cloudabi_fd_t";
 791                         break;
 792                 case 1:
 793                         p = "const char *";
 794                         break;
 795                 case 2:
 796                         p = "size_t";
 797                         break;
 798                 case 3:
 799                         p = "cloudabi_filetype_t";
 800                         break;
 801                 default:
 802                         break;
 803                 };
 804                 break;
 805         /* cloudabi_sys_file_link */
 806         case 20:
 807                 switch(ndx) {
 808                 case 0:
 809                         p = "cloudabi_lookup_t";
 810                         break;
 811                 case 1:
 812                         p = "const char *";
 813                         break;
 814                 case 2:
 815                         p = "size_t";
 816                         break;
 817                 case 3:
 818                         p = "cloudabi_fd_t";
 819                         break;
 820                 case 4:
 821                         p = "const char *";
 822                         break;
 823                 case 5:
 824                         p = "size_t";
 825                         break;
 826                 default:
 827                         break;
 828                 };
 829                 break;
 830         /* cloudabi_sys_file_open */
 831         case 21:
 832                 switch(ndx) {
 833                 case 0:
 834                         p = "cloudabi_lookup_t";
 835                         break;
 836                 case 1:
 837                         p = "const char *";
 838                         break;
 839                 case 2:
 840                         p = "size_t";
 841                         break;
 842                 case 3:
 843                         p = "cloudabi_oflags_t";
 844                         break;
 845                 case 4:
 846                         p = "const cloudabi_fdstat_t *";
 847                         break;
 848                 default:
 849                         break;
 850                 };
 851                 break;
 852         /* cloudabi_sys_file_readdir */
 853         case 22:
 854                 switch(ndx) {
 855                 case 0:
 856                         p = "cloudabi_fd_t";
 857                         break;
 858                 case 1:
 859                         p = "void *";
 860                         break;
 861                 case 2:
 862                         p = "size_t";
 863                         break;
 864                 case 3:
 865                         p = "cloudabi_dircookie_t";
 866                         break;
 867                 default:
 868                         break;
 869                 };
 870                 break;
 871         /* cloudabi_sys_file_readlink */
 872         case 23:
 873                 switch(ndx) {
 874                 case 0:
 875                         p = "cloudabi_fd_t";
 876                         break;
 877                 case 1:
 878                         p = "const char *";
 879                         break;
 880                 case 2:
 881                         p = "size_t";
 882                         break;
 883                 case 3:
 884                         p = "void *";
 885                         break;
 886                 case 4:
 887                         p = "size_t";
 888                         break;
 889                 default:
 890                         break;
 891                 };
 892                 break;
 893         /* cloudabi_sys_file_rename */
 894         case 24:
 895                 switch(ndx) {
 896                 case 0:
 897                         p = "cloudabi_fd_t";
 898                         break;
 899                 case 1:
 900                         p = "const char *";
 901                         break;
 902                 case 2:
 903                         p = "size_t";
 904                         break;
 905                 case 3:
 906                         p = "cloudabi_fd_t";
 907                         break;
 908                 case 4:
 909                         p = "const char *";
 910                         break;
 911                 case 5:
 912                         p = "size_t";
 913                         break;
 914                 default:
 915                         break;
 916                 };
 917                 break;
 918         /* cloudabi_sys_file_stat_fget */
 919         case 25:
 920                 switch(ndx) {
 921                 case 0:
 922                         p = "cloudabi_fd_t";
 923                         break;
 924                 case 1:
 925                         p = "cloudabi_filestat_t *";
 926                         break;
 927                 default:
 928                         break;
 929                 };
 930                 break;
 931         /* cloudabi_sys_file_stat_fput */
 932         case 26:
 933                 switch(ndx) {
 934                 case 0:
 935                         p = "cloudabi_fd_t";
 936                         break;
 937                 case 1:
 938                         p = "const cloudabi_filestat_t *";
 939                         break;
 940                 case 2:
 941                         p = "cloudabi_fsflags_t";
 942                         break;
 943                 default:
 944                         break;
 945                 };
 946                 break;
 947         /* cloudabi_sys_file_stat_get */
 948         case 27:
 949                 switch(ndx) {
 950                 case 0:
 951                         p = "cloudabi_lookup_t";
 952                         break;
 953                 case 1:
 954                         p = "const char *";
 955                         break;
 956                 case 2:
 957                         p = "size_t";
 958                         break;
 959                 case 3:
 960                         p = "cloudabi_filestat_t *";
 961                         break;
 962                 default:
 963                         break;
 964                 };
 965                 break;
 966         /* cloudabi_sys_file_stat_put */
 967         case 28:
 968                 switch(ndx) {
 969                 case 0:
 970                         p = "cloudabi_lookup_t";
 971                         break;
 972                 case 1:
 973                         p = "const char *";
 974                         break;
 975                 case 2:
 976                         p = "size_t";
 977                         break;
 978                 case 3:
 979                         p = "const cloudabi_filestat_t *";
 980                         break;
 981                 case 4:
 982                         p = "cloudabi_fsflags_t";
 983                         break;
 984                 default:
 985                         break;
 986                 };
 987                 break;
 988         /* cloudabi_sys_file_symlink */
 989         case 29:
 990                 switch(ndx) {
 991                 case 0:
 992                         p = "const char *";
 993                         break;
 994                 case 1:
 995                         p = "size_t";
 996                         break;
 997                 case 2:
 998                         p = "cloudabi_fd_t";
 999                         break;
1000                 case 3:
1001                         p = "const char *";
1002                         break;
1003                 case 4:
1004                         p = "size_t";
1005                         break;
1006                 default:
1007                         break;
1008                 };
1009                 break;
1010         /* cloudabi_sys_file_unlink */
1011         case 30:
1012                 switch(ndx) {
1013                 case 0:
1014                         p = "cloudabi_fd_t";
1015                         break;
1016                 case 1:
1017                         p = "const char *";
1018                         break;
1019                 case 2:
1020                         p = "size_t";
1021                         break;
1022                 case 3:
1023                         p = "cloudabi_ulflags_t";
1024                         break;
1025                 default:
1026                         break;
1027                 };
1028                 break;
1029         /* cloudabi_sys_lock_unlock */
1030         case 31:
1031                 switch(ndx) {
1032                 case 0:
1033                         p = "cloudabi_lock_t *";
1034                         break;
1035                 case 1:
1036                         p = "cloudabi_futexscope_t";
1037                         break;
1038                 default:
1039                         break;
1040                 };
1041                 break;
1042         /* cloudabi_sys_mem_advise */
1043         case 32:
1044                 switch(ndx) {
1045                 case 0:
1046                         p = "void *";
1047                         break;
1048                 case 1:
1049                         p = "size_t";
1050                         break;
1051                 case 2:
1052                         p = "cloudabi_advice_t";
1053                         break;
1054                 default:
1055                         break;
1056                 };
1057                 break;
1058         /* cloudabi_sys_mem_lock */
1059         case 33:
1060                 switch(ndx) {
1061                 case 0:
1062                         p = "const void *";
1063                         break;
1064                 case 1:
1065                         p = "size_t";
1066                         break;
1067                 default:
1068                         break;
1069                 };
1070                 break;
1071         /* cloudabi_sys_mem_map */
1072         case 34:
1073                 switch(ndx) {
1074                 case 0:
1075                         p = "void *";
1076                         break;
1077                 case 1:
1078                         p = "size_t";
1079                         break;
1080                 case 2:
1081                         p = "cloudabi_mprot_t";
1082                         break;
1083                 case 3:
1084                         p = "cloudabi_mflags_t";
1085                         break;
1086                 case 4:
1087                         p = "cloudabi_fd_t";
1088                         break;
1089                 case 5:
1090                         p = "cloudabi_filesize_t";
1091                         break;
1092                 default:
1093                         break;
1094                 };
1095                 break;
1096         /* cloudabi_sys_mem_protect */
1097         case 35:
1098                 switch(ndx) {
1099                 case 0:
1100                         p = "void *";
1101                         break;
1102                 case 1:
1103                         p = "size_t";
1104                         break;
1105                 case 2:
1106                         p = "cloudabi_mprot_t";
1107                         break;
1108                 default:
1109                         break;
1110                 };
1111                 break;
1112         /* cloudabi_sys_mem_sync */
1113         case 36:
1114                 switch(ndx) {
1115                 case 0:
1116                         p = "void *";
1117                         break;
1118                 case 1:
1119                         p = "size_t";
1120                         break;
1121                 case 2:
1122                         p = "cloudabi_msflags_t";
1123                         break;
1124                 default:
1125                         break;
1126                 };
1127                 break;
1128         /* cloudabi_sys_mem_unlock */
1129         case 37:
1130                 switch(ndx) {
1131                 case 0:
1132                         p = "const void *";
1133                         break;
1134                 case 1:
1135                         p = "size_t";
1136                         break;
1137                 default:
1138                         break;
1139                 };
1140                 break;
1141         /* cloudabi_sys_mem_unmap */
1142         case 38:
1143                 switch(ndx) {
1144                 case 0:
1145                         p = "void *";
1146                         break;
1147                 case 1:
1148                         p = "size_t";
1149                         break;
1150                 default:
1151                         break;
1152                 };
1153                 break;
1154         /* cloudabi64_sys_poll */
1155         case 39:
1156                 switch(ndx) {
1157                 case 0:
1158                         p = "cloudabi_fd_t";
1159                         break;
1160                 case 1:
1161                         p = "const cloudabi64_subscription_t *";
1162                         break;
1163                 case 2:
1164                         p = "cloudabi64_size_t";
1165                         break;
1166                 case 3:
1167                         p = "cloudabi64_event_t *";
1168                         break;
1169                 case 4:
1170                         p = "cloudabi64_size_t";
1171                         break;
1172                 default:
1173                         break;
1174                 };
1175                 break;
1176         /* cloudabi_sys_proc_exec */
1177         case 40:
1178                 switch(ndx) {
1179                 case 0:
1180                         p = "cloudabi_fd_t";
1181                         break;
1182                 case 1:
1183                         p = "const void *";
1184                         break;
1185                 case 2:
1186                         p = "size_t";
1187                         break;
1188                 case 3:
1189                         p = "const cloudabi_fd_t *";
1190                         break;
1191                 case 4:
1192                         p = "size_t";
1193                         break;
1194                 default:
1195                         break;
1196                 };
1197                 break;
1198         /* cloudabi_sys_proc_exit */
1199         case 41:
1200                 switch(ndx) {
1201                 case 0:
1202                         p = "cloudabi_exitcode_t";
1203                         break;
1204                 default:
1205                         break;
1206                 };
1207                 break;
1208         /* cloudabi_sys_proc_fork */
1209         case 42:
1210                 break;
1211         /* cloudabi_sys_proc_raise */
1212         case 43:
1213                 switch(ndx) {
1214                 case 0:
1215                         p = "cloudabi_signal_t";
1216                         break;
1217                 default:
1218                         break;
1219                 };
1220                 break;
1221         /* cloudabi_sys_random_get */
1222         case 44:
1223                 switch(ndx) {
1224                 case 0:
1225                         p = "void *";
1226                         break;
1227                 case 1:
1228                         p = "size_t";
1229                         break;
1230                 default:
1231                         break;
1232                 };
1233                 break;
1234         /* cloudabi_sys_sock_accept */
1235         case 45:
1236                 switch(ndx) {
1237                 case 0:
1238                         p = "cloudabi_fd_t";
1239                         break;
1240                 case 1:
1241                         p = "cloudabi_sockstat_t *";
1242                         break;
1243                 default:
1244                         break;
1245                 };
1246                 break;
1247         /* cloudabi_sys_sock_bind */
1248         case 46:
1249                 switch(ndx) {
1250                 case 0:
1251                         p = "cloudabi_fd_t";
1252                         break;
1253                 case 1:
1254                         p = "cloudabi_fd_t";
1255                         break;
1256                 case 2:
1257                         p = "const char *";
1258                         break;
1259                 case 3:
1260                         p = "size_t";
1261                         break;
1262                 default:
1263                         break;
1264                 };
1265                 break;
1266         /* cloudabi_sys_sock_connect */
1267         case 47:
1268                 switch(ndx) {
1269                 case 0:
1270                         p = "cloudabi_fd_t";
1271                         break;
1272                 case 1:
1273                         p = "cloudabi_fd_t";
1274                         break;
1275                 case 2:
1276                         p = "const char *";
1277                         break;
1278                 case 3:
1279                         p = "size_t";
1280                         break;
1281                 default:
1282                         break;
1283                 };
1284                 break;
1285         /* cloudabi_sys_sock_listen */
1286         case 48:
1287                 switch(ndx) {
1288                 case 0:
1289                         p = "cloudabi_fd_t";
1290                         break;
1291                 case 1:
1292                         p = "cloudabi_backlog_t";
1293                         break;
1294                 default:
1295                         break;
1296                 };
1297                 break;
1298         /* cloudabi64_sys_sock_recv */
1299         case 49:
1300                 switch(ndx) {
1301                 case 0:
1302                         p = "cloudabi_fd_t";
1303                         break;
1304                 case 1:
1305                         p = "const cloudabi64_recv_in_t *";
1306                         break;
1307                 case 2:
1308                         p = "cloudabi64_recv_out_t *";
1309                         break;
1310                 default:
1311                         break;
1312                 };
1313                 break;
1314         /* cloudabi64_sys_sock_send */
1315         case 50:
1316                 switch(ndx) {
1317                 case 0:
1318                         p = "cloudabi_fd_t";
1319                         break;
1320                 case 1:
1321                         p = "const cloudabi64_send_in_t *";
1322                         break;
1323                 case 2:
1324                         p = "cloudabi64_send_out_t *";
1325                         break;
1326                 default:
1327                         break;
1328                 };
1329                 break;
1330         /* cloudabi_sys_sock_shutdown */
1331         case 51:
1332                 switch(ndx) {
1333                 case 0:
1334                         p = "cloudabi_fd_t";
1335                         break;
1336                 case 1:
1337                         p = "cloudabi_sdflags_t";
1338                         break;
1339                 default:
1340                         break;
1341                 };
1342                 break;
1343         /* cloudabi_sys_sock_stat_get */
1344         case 52:
1345                 switch(ndx) {
1346                 case 0:
1347                         p = "cloudabi_fd_t";
1348                         break;
1349                 case 1:
1350                         p = "cloudabi_sockstat_t *";
1351                         break;
1352                 case 2:
1353                         p = "cloudabi_ssflags_t";
1354                         break;
1355                 default:
1356                         break;
1357                 };
1358                 break;
1359         /* cloudabi64_sys_thread_create */
1360         case 53:
1361                 switch(ndx) {
1362                 case 0:
1363                         p = "cloudabi64_threadattr_t *";
1364                         break;
1365                 default:
1366                         break;
1367                 };
1368                 break;
1369         /* cloudabi_sys_thread_exit */
1370         case 54:
1371                 switch(ndx) {
1372                 case 0:
1373                         p = "cloudabi_lock_t *";
1374                         break;
1375                 case 1:
1376                         p = "cloudabi_futexscope_t";
1377                         break;
1378                 default:
1379                         break;
1380                 };
1381                 break;
1382         /* cloudabi_sys_thread_tcb_set */
1383         case 55:
1384                 switch(ndx) {
1385                 case 0:
1386                         p = "void *";
1387                         break;
1388                 default:
1389                         break;
1390                 };
1391                 break;
1392         /* cloudabi_sys_thread_yield */
1393         case 56:
1394                 break;
1395         default:
1396                 break;
1397         };
1398         if (p != NULL)
1399                 strlcpy(desc, p, descsz);
1400 }
1401 static void
1402 systrace_return_setargdesc(int sysnum, int ndx, char *desc, size_t descsz)
1403 {
1404         const char *p = NULL;
1405         switch (sysnum) {
1406         /* cloudabi_sys_clock_res_get */
1407         case 0:
1408                 if (ndx == 0 || ndx == 1)
1409                         p = "cloudabi_timestamp_t";
1410                 break;
1411         /* cloudabi_sys_clock_time_get */
1412         case 1:
1413                 if (ndx == 0 || ndx == 1)
1414                         p = "cloudabi_timestamp_t";
1415                 break;
1416         /* cloudabi_sys_condvar_signal */
1417         case 2:
1418                 if (ndx == 0 || ndx == 1)
1419                         p = "void";
1420                 break;
1421         /* cloudabi_sys_fd_close */
1422         case 3:
1423                 if (ndx == 0 || ndx == 1)
1424                         p = "void";
1425                 break;
1426         /* cloudabi_sys_fd_create1 */
1427         case 4:
1428                 if (ndx == 0 || ndx == 1)
1429                         p = "cloudabi_fd_t";
1430                 break;
1431         /* cloudabi_sys_fd_create2 */
1432         case 5:
1433                 if (ndx == 0 || ndx == 1)
1434                         p = "void";
1435                 break;
1436         /* cloudabi_sys_fd_datasync */
1437         case 6:
1438                 if (ndx == 0 || ndx == 1)
1439                         p = "void";
1440                 break;
1441         /* cloudabi_sys_fd_dup */
1442         case 7:
1443                 if (ndx == 0 || ndx == 1)
1444                         p = "cloudabi_fd_t";
1445                 break;
1446         /* cloudabi64_sys_fd_pread */
1447         case 8:
1448                 if (ndx == 0 || ndx == 1)
1449                         p = "cloudabi64_size_t";
1450                 break;
1451         /* cloudabi64_sys_fd_pwrite */
1452         case 9:
1453                 if (ndx == 0 || ndx == 1)
1454                         p = "cloudabi64_size_t";
1455                 break;
1456         /* cloudabi64_sys_fd_read */
1457         case 10:
1458                 if (ndx == 0 || ndx == 1)
1459                         p = "cloudabi64_size_t";
1460                 break;
1461         /* cloudabi_sys_fd_replace */
1462         case 11:
1463                 if (ndx == 0 || ndx == 1)
1464                         p = "void";
1465                 break;
1466         /* cloudabi_sys_fd_seek */
1467         case 12:
1468                 if (ndx == 0 || ndx == 1)
1469                         p = "cloudabi_filesize_t";
1470                 break;
1471         /* cloudabi_sys_fd_stat_get */
1472         case 13:
1473                 if (ndx == 0 || ndx == 1)
1474                         p = "void";
1475                 break;
1476         /* cloudabi_sys_fd_stat_put */
1477         case 14:
1478                 if (ndx == 0 || ndx == 1)
1479                         p = "void";
1480                 break;
1481         /* cloudabi_sys_fd_sync */
1482         case 15:
1483                 if (ndx == 0 || ndx == 1)
1484                         p = "void";
1485                 break;
1486         /* cloudabi64_sys_fd_write */
1487         case 16:
1488                 if (ndx == 0 || ndx == 1)
1489                         p = "cloudabi64_size_t";
1490                 break;
1491         /* cloudabi_sys_file_advise */
1492         case 17:
1493                 if (ndx == 0 || ndx == 1)
1494                         p = "void";
1495                 break;
1496         /* cloudabi_sys_file_allocate */
1497         case 18:
1498                 if (ndx == 0 || ndx == 1)
1499                         p = "void";
1500                 break;
1501         /* cloudabi_sys_file_create */
1502         case 19:
1503                 if (ndx == 0 || ndx == 1)
1504                         p = "void";
1505                 break;
1506         /* cloudabi_sys_file_link */
1507         case 20:
1508                 if (ndx == 0 || ndx == 1)
1509                         p = "void";
1510                 break;
1511         /* cloudabi_sys_file_open */
1512         case 21:
1513                 if (ndx == 0 || ndx == 1)
1514                         p = "cloudabi_fd_t";
1515                 break;
1516         /* cloudabi_sys_file_readdir */
1517         case 22:
1518                 if (ndx == 0 || ndx == 1)
1519                         p = "size_t";
1520                 break;
1521         /* cloudabi_sys_file_readlink */
1522         case 23:
1523                 if (ndx == 0 || ndx == 1)
1524                         p = "size_t";
1525                 break;
1526         /* cloudabi_sys_file_rename */
1527         case 24:
1528                 if (ndx == 0 || ndx == 1)
1529                         p = "void";
1530                 break;
1531         /* cloudabi_sys_file_stat_fget */
1532         case 25:
1533                 if (ndx == 0 || ndx == 1)
1534                         p = "void";
1535                 break;
1536         /* cloudabi_sys_file_stat_fput */
1537         case 26:
1538                 if (ndx == 0 || ndx == 1)
1539                         p = "void";
1540                 break;
1541         /* cloudabi_sys_file_stat_get */
1542         case 27:
1543                 if (ndx == 0 || ndx == 1)
1544                         p = "void";
1545                 break;
1546         /* cloudabi_sys_file_stat_put */
1547         case 28:
1548                 if (ndx == 0 || ndx == 1)
1549                         p = "void";
1550                 break;
1551         /* cloudabi_sys_file_symlink */
1552         case 29:
1553                 if (ndx == 0 || ndx == 1)
1554                         p = "void";
1555                 break;
1556         /* cloudabi_sys_file_unlink */
1557         case 30:
1558                 if (ndx == 0 || ndx == 1)
1559                         p = "void";
1560                 break;
1561         /* cloudabi_sys_lock_unlock */
1562         case 31:
1563                 if (ndx == 0 || ndx == 1)
1564                         p = "void";
1565                 break;
1566         /* cloudabi_sys_mem_advise */
1567         case 32:
1568                 if (ndx == 0 || ndx == 1)
1569                         p = "void";
1570                 break;
1571         /* cloudabi_sys_mem_lock */
1572         case 33:
1573                 if (ndx == 0 || ndx == 1)
1574                         p = "void";
1575                 break;
1576         /* cloudabi_sys_mem_map */
1577         case 34:
1578                 if (ndx == 0 || ndx == 1)
1579                         p = "void";
1580                 break;
1581         /* cloudabi_sys_mem_protect */
1582         case 35:
1583                 if (ndx == 0 || ndx == 1)
1584                         p = "void";
1585                 break;
1586         /* cloudabi_sys_mem_sync */
1587         case 36:
1588                 if (ndx == 0 || ndx == 1)
1589                         p = "void";
1590                 break;
1591         /* cloudabi_sys_mem_unlock */
1592         case 37:
1593                 if (ndx == 0 || ndx == 1)
1594                         p = "void";
1595                 break;
1596         /* cloudabi_sys_mem_unmap */
1597         case 38:
1598                 if (ndx == 0 || ndx == 1)
1599                         p = "void";
1600                 break;
1601         /* cloudabi64_sys_poll */
1602         case 39:
1603                 if (ndx == 0 || ndx == 1)
1604                         p = "cloudabi64_size_t";
1605                 break;
1606         /* cloudabi_sys_proc_exec */
1607         case 40:
1608                 if (ndx == 0 || ndx == 1)
1609                         p = "void";
1610                 break;
1611         /* cloudabi_sys_proc_exit */
1612         case 41:
1613                 if (ndx == 0 || ndx == 1)
1614                         p = "void";
1615                 break;
1616         /* cloudabi_sys_proc_fork */
1617         case 42:
1618         /* cloudabi_sys_proc_raise */
1619         case 43:
1620                 if (ndx == 0 || ndx == 1)
1621                         p = "void";
1622                 break;
1623         /* cloudabi_sys_random_get */
1624         case 44:
1625                 if (ndx == 0 || ndx == 1)
1626                         p = "void";
1627                 break;
1628         /* cloudabi_sys_sock_accept */
1629         case 45:
1630                 if (ndx == 0 || ndx == 1)
1631                         p = "cloudabi_fd_t";
1632                 break;
1633         /* cloudabi_sys_sock_bind */
1634         case 46:
1635                 if (ndx == 0 || ndx == 1)
1636                         p = "void";
1637                 break;
1638         /* cloudabi_sys_sock_connect */
1639         case 47:
1640                 if (ndx == 0 || ndx == 1)
1641                         p = "void";
1642                 break;
1643         /* cloudabi_sys_sock_listen */
1644         case 48:
1645                 if (ndx == 0 || ndx == 1)
1646                         p = "void";
1647                 break;
1648         /* cloudabi64_sys_sock_recv */
1649         case 49:
1650                 if (ndx == 0 || ndx == 1)
1651                         p = "cloudabi64_size_t";
1652                 break;
1653         /* cloudabi64_sys_sock_send */
1654         case 50:
1655                 if (ndx == 0 || ndx == 1)
1656                         p = "cloudabi64_size_t";
1657                 break;
1658         /* cloudabi_sys_sock_shutdown */
1659         case 51:
1660                 if (ndx == 0 || ndx == 1)
1661                         p = "void";
1662                 break;
1663         /* cloudabi_sys_sock_stat_get */
1664         case 52:
1665                 if (ndx == 0 || ndx == 1)
1666                         p = "void";
1667                 break;
1668         /* cloudabi64_sys_thread_create */
1669         case 53:
1670                 if (ndx == 0 || ndx == 1)
1671                         p = "cloudabi_tid_t";
1672                 break;
1673         /* cloudabi_sys_thread_exit */
1674         case 54:
1675                 if (ndx == 0 || ndx == 1)
1676                         p = "void";
1677                 break;
1678         /* cloudabi_sys_thread_tcb_set */
1679         case 55:
1680                 if (ndx == 0 || ndx == 1)
1681                         p = "void";
1682                 break;
1683         /* cloudabi_sys_thread_yield */
1684         case 56:
1685         default:
1686                 break;
1687         };
1688         if (p != NULL)
1689                 strlcpy(desc, p, descsz);
1690 }