Searched refs:uvwasi_serdes_read_uint32_t (Results 1 – 1 of 1) sorted by relevance
32 uint64_t low = uvwasi_serdes_read_uint32_t(ptr, offset); in uvwasi_serdes_read_uint64_t()33 uint64_t high = uvwasi_serdes_read_uint32_t(ptr, offset + 4); in uvwasi_serdes_read_uint64_t()37 uint32_t uvwasi_serdes_read_uint32_t(const void* ptr, size_t offset) { in uvwasi_serdes_read_uint32_t() function188 buf_ptr = uvwasi_serdes_read_uint32_t(ptr, offset); in ALL_TYPES()205 buf_ptr = uvwasi_serdes_read_uint32_t(ptr, offset); in uvwasi_serdes_read_iovec_t()