1/* Every constant of @ajax/mesh-abi-control-block 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/control_block.h"
4#include "mesh/check.h"
5
6#include <stdint.h>
7#include <string.h>
8
9int main(void) {
10    CHECK_U(MESH_PROG_CTL, UINT64_C(8192));
11    CHECK_U(MESH_PROG_CTL_BYTES, UINT64_C(2048));
12    CHECK_U(MESH_LINE, UINT64_C(128));
13    CHECK_U(MESH_P_SHUTDOWN, UINT64_C(0));
14    CHECK_U(MESH_SHUTDOWN_HALT, UINT64_C(1));
15    CHECK_U(MESH_SHUTDOWN_EXIT, UINT64_C(2));
16    CHECK_U(MESH_P_ONLINE, UINT64_C(4));
17    CHECK_U(MESH_P_HALTED, UINT64_C(8));
18    CHECK_U(MESH_P_RUN, UINT64_C(12));
19    CHECK_U(MESH_P_RUN_REQ, UINT64_C(16));
20    CHECK_U(MESH_P_FAULT, UINT64_C(20));
21    CHECK_U(MESH_P_RING_TAIL, UINT64_C(24));
22    CHECK_U(MESH_P_REQ_SEQ, UINT64_C(32));
23    CHECK_U(MESH_P_RESP_SEQ, UINT64_C(40));
24    CHECK_U(MESH_P_REQ_LEN, UINT64_C(48));
25    CHECK_U(MESH_P_RESP_LEN, UINT64_C(52));
26    CHECK_U(MESH_P_LAUNCHES, UINT64_C(56));
27    CHECK_U(MESH_P_PID, UINT64_C(64));
28    CHECK_U(MESH_P_SPAWNS, UINT64_C(68));
29    CHECK_U(MESH_P_CRASHES, UINT64_C(72));
30    CHECK_U(MESH_P_EXIT, UINT64_C(76));
31    CHECK_U(MESH_P_LIMITS, UINT64_C(80));
32    CHECK_U(MESH_LIMIT_CPU, UINT64_C(1));
33    CHECK_U(MESH_LIMIT_MEM, UINT64_C(2));
34    CHECK_U(MESH_LIMIT_NICE, UINT64_C(4));
35    CHECK_U(MESH_LIMIT_BG, UINT64_C(8));
36    CHECK_U(MESH_P_RING_HEAD, UINT64_C(128));
37    CHECK_U(MESH_P_DONE, UINT64_C(256));
38    CHECK_U(MESH_P_TRACE_N, UINT64_C(260));
39    CHECK_U(MESH_P_COUNTERS, UINT64_C(384));
40    CHECK_U(MESH_COUNTERS, UINT64_C(4));
41    CHECK_U(MESH_CTL_FIELDS_LEN, 17);
42    CHECK_U(MESH_CTL_FIELDS[0].off, UINT64_C(0));
43    CHECK_U(MESH_CTL_FIELDS[0].bytes, UINT64_C(4));
44    CHECK_U(MESH_CTL_FIELDS[1].off, UINT64_C(4));
45    CHECK_U(MESH_CTL_FIELDS[1].bytes, UINT64_C(4));
46    CHECK_U(MESH_CTL_FIELDS[2].off, UINT64_C(8));
47    CHECK_U(MESH_CTL_FIELDS[2].bytes, UINT64_C(4));
48    CHECK_U(MESH_CTL_FIELDS[3].off, UINT64_C(12));
49    CHECK_U(MESH_CTL_FIELDS[3].bytes, UINT64_C(4));
50    CHECK_U(MESH_CTL_FIELDS[4].off, UINT64_C(16));
51    CHECK_U(MESH_CTL_FIELDS[4].bytes, UINT64_C(4));
52    CHECK_U(MESH_CTL_FIELDS[5].off, UINT64_C(20));
53    CHECK_U(MESH_CTL_FIELDS[5].bytes, UINT64_C(4));
54    CHECK_U(MESH_CTL_FIELDS[6].off, UINT64_C(24));
55    CHECK_U(MESH_CTL_FIELDS[6].bytes, UINT64_C(8));
56    CHECK_U(MESH_CTL_FIELDS[7].off, UINT64_C(32));
57    CHECK_U(MESH_CTL_FIELDS[7].bytes, UINT64_C(8));
58    CHECK_U(MESH_CTL_FIELDS[8].off, UINT64_C(40));
59    CHECK_U(MESH_CTL_FIELDS[8].bytes, UINT64_C(8));
60    CHECK_U(MESH_CTL_FIELDS[9].off, UINT64_C(48));
61    CHECK_U(MESH_CTL_FIELDS[9].bytes, UINT64_C(4));
62    CHECK_U(MESH_CTL_FIELDS[10].off, UINT64_C(52));
63    CHECK_U(MESH_CTL_FIELDS[10].bytes, UINT64_C(4));
64    CHECK_U(MESH_CTL_FIELDS[11].off, UINT64_C(56));
65    CHECK_U(MESH_CTL_FIELDS[11].bytes, UINT64_C(4));
66    CHECK_U(MESH_CTL_FIELDS[12].off, UINT64_C(64));
67    CHECK_U(MESH_CTL_FIELDS[12].bytes, UINT64_C(4));
68    CHECK_U(MESH_CTL_FIELDS[13].off, UINT64_C(68));
69    CHECK_U(MESH_CTL_FIELDS[13].bytes, UINT64_C(4));
70    CHECK_U(MESH_CTL_FIELDS[14].off, UINT64_C(72));
71    CHECK_U(MESH_CTL_FIELDS[14].bytes, UINT64_C(4));
72    CHECK_U(MESH_CTL_FIELDS[15].off, UINT64_C(76));
73    CHECK_U(MESH_CTL_FIELDS[15].bytes, UINT64_C(4));
74    CHECK_U(MESH_CTL_FIELDS[16].off, UINT64_C(80));
75    CHECK_U(MESH_CTL_FIELDS[16].bytes, UINT64_C(4));
76    return mesh_check_done();
77}