Lines Matching defs:buf_len
842 uint32_t buf_len;
850 CHECK_TO_TYPE_OR_RETURN(args, args[2], Uint32, buf_len);
858 buf_len,
862 CHECK_BOUNDS_OR_RETURN(args, mem_size, buf_ptr, buf_len);
871 buf_len,
1230 uint32_t buf_len;
1239 CHECK_TO_TYPE_OR_RETURN(args, args[4], Uint32, buf_len);
1248 buf_len,
1252 CHECK_BOUNDS_OR_RETURN(args, mem_size, buf_ptr, buf_len);
1263 buf_len,
1480 uint32_t buf_len;
1485 CHECK_TO_TYPE_OR_RETURN(args, args[1], Uint32, buf_len);
1487 Debug(wasi, "random_get(%d, %d)\n", buf_ptr, buf_len);
1489 CHECK_BOUNDS_OR_RETURN(args, mem_size, buf_ptr, buf_len);
1492 buf_len);