| ... | @@ -924,6 +924,15 @@ uint32_t wasi_snapshot_preview1_clock_time_get(uint32_t id, uint64_t precision, | ... | @@ -924,6 +924,15 @@ uint32_t wasi_snapshot_preview1_clock_time_get(uint32_t id, uint64_t precision, |
| 924 | return wasi_errno_success; | 924 | return wasi_errno_success; |
| 925 | } | 925 | } |
| 926 | | 926 | |
| | 927 | uint32_t wasi_snapshot_preview1_clock_res_get(uint32_t id, uint32_t res_timestamp) { |
| | 928 | uint8_t *const m = *wasm_memory; |
| | 929 | uint64_t *res_timestamp_ptr = (uint64_t *)&m[res_timestamp]; |
| | 930 | #if LOG_TRACE |
| | 931 | fprintf(stderr, "wasi_snapshot_preview1_clock_res_get(%u, %llu)\n", id, (unsigned long long)res_timestamp); |
| | 932 | #endif |
| | 933 | return wasi_errno_notcapable; |
| | 934 | } |
| | 935 | |
| 927 | uint32_t wasi_snapshot_preview1_path_remove_directory(uint32_t fd, uint32_t path, uint32_t path_len) { | 936 | uint32_t wasi_snapshot_preview1_path_remove_directory(uint32_t fd, uint32_t path, uint32_t path_len) { |
| 928 | uint8_t *const m = *wasm_memory; | 937 | uint8_t *const m = *wasm_memory; |
| 929 | const char *path_ptr = (const char *)&m[path]; | 938 | const char *path_ptr = (const char *)&m[path]; |