1/* Every constant of @ajax/mesh-abi-pipe-ring equals the Rust's (values printed by the Rust itself), and the
2 * Rust const asserts that need a function call hold. Generated from alpha-rust-mesh. */
3#include "mesh/abi/pipe_ring.h"
4#include "mesh/check.h"
5
6#include <stdint.h>
7#include <string.h>
8
9int main(void) {
10    CHECK_U(MESH_PIPE_PI_HEAD, UINT64_C(0));
11    CHECK_U(MESH_PIPE_PI_FULL, UINT64_C(4));
12    CHECK_U(MESH_PIPE_PI_TAIL, UINT64_C(64));
13    CHECK_U(MESH_PIPE_PI_EMPTY, UINT64_C(68));
14    CHECK_U(MESH_PIPE_PI_LAPS, UINT64_C(128));
15    CHECK_U(MESH_PIPE_REC_MAX, UINT64_C(4096));
16    CHECK_U(MESH_PIPE_CAP_MAX, UINT64_C(65536));
17    CHECK_U(MESH_PIPE_SIDE_CPU, UINT64_C(0));
18    CHECK_U(MESH_PIPE_SIDE_GPU, UINT64_C(1));
19    CHECK_U(MESH_PIPE_TRIES, UINT64_C(256));
20    CHECK_U(MESH_PIPE_OWNER_TAG, UINT64_C(2119671808));
21    return mesh_check_done();
22}