Lines Matching refs:fd_ptr
1178 uint32_t fd_ptr;
1190 CHECK_TO_TYPE_OR_RETURN(args, args[8], Uint32, fd_ptr);
1202 fd_ptr);
1205 CHECK_BOUNDS_OR_RETURN(args, mem_size, fd_ptr, UVWASI_SERDES_SIZE_fd_t);
1218 uvwasi_serdes_write_size_t(memory, fd_ptr, fd);
1510 uint32_t fd_ptr;
1516 CHECK_TO_TYPE_OR_RETURN(args, args[2], Uint32, fd_ptr);
1522 fd_ptr);
1524 CHECK_BOUNDS_OR_RETURN(args, mem_size, fd_ptr, UVWASI_SERDES_SIZE_fd_t);
1533 uvwasi_serdes_write_size_t(memory, fd_ptr, fd);