File wamr/timing.cpp

namespace wasm

SYSCALL NUMBERING

Have a look in the sysroot at include/bits/syscall.h to determine the system call numbering.

Functions

uint32_t getFaasmWasiTimingApi(NativeSymbol **nativeSymbols)

uint32_t wasi_clock_time_get(wasm_exec_env_t exec_env, int32_t clockId, int64_t precision, int32_t *result)

uint32_t wasi_poll_oneoff(wasm_exec_env_t exec_env, int32_t *subscriptionsPtr, int64_t *eventsPtr, int32_t nSubs, int32_t *resNEvents)

Variables

static NativeSymbol wasiNs[] = {REG_WASI_NATIVE_FUNC(clock_time_get, "(iI*)i"), REG_WASI_NATIVE_FUNC(poll_oneoff, "(**i*)i"),}