1/* Every constant of @ajax/mesh-abi-host-mload 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/host_mload.h"
4#include "mesh/check.h"
5
6#include <stdint.h>
7#include <string.h>
8
9int main(void) {
10    CHECK_U(MESH_S_MLOAD, UINT64_C(4608));
11    CHECK_U(MESH_MLOAD_BYTES, UINT64_C(64));
12    CHECK_U(MESH_ML_AT_MS, UINT64_C(0));
13    CHECK_U(MESH_ML_SHARE, UINT64_C(8));
14    CHECK_U(MESH_ML_SHARE10, UINT64_C(12));
15    CHECK_U(MESH_ML_MAX_GAP_US, UINT64_C(16));
16    CHECK_U(MESH_ML_CPU, UINT64_C(20));
17    CHECK_U(MESH_ML_CPU_BIG, UINT64_C(24));
18    CHECK_U(MESH_ML_CPU_LITTLE, UINT64_C(28));
19    CHECK_U(MESH_ML_PSI_CPU, UINT64_C(32));
20    CHECK_U(MESH_ML_PSI_MEM, UINT64_C(36));
21    CHECK_U(MESH_ML_MESHD_CPU, UINT64_C(40));
22    CHECK_U(MESH_ML_MEM_AVAIL_MB, UINT64_C(44));
23    CHECK_U(MESH_ML_MEM_TOTAL_MB, UINT64_C(48));
24    CHECK_U(MESH_ML_DISK_FREE_MB, UINT64_C(52));
25    CHECK_U(MESH_ML_CPUS, UINT64_C(56));
26    CHECK_U(MESH_ML_FLAGS, UINT64_C(60));
27    CHECK_U(MESH_LOADREP_BYTES, UINT64_C(56));
28    CHECK_U(MESH_MLOAD_FIELDS_LEN, 15);
29    CHECK_U(MESH_MLOAD_FIELDS[0].off, UINT64_C(0));
30    CHECK_U(MESH_MLOAD_FIELDS[0].bytes, UINT64_C(8));
31    CHECK_U(MESH_MLOAD_FIELDS[1].off, UINT64_C(8));
32    CHECK_U(MESH_MLOAD_FIELDS[1].bytes, UINT64_C(4));
33    CHECK_U(MESH_MLOAD_FIELDS[2].off, UINT64_C(12));
34    CHECK_U(MESH_MLOAD_FIELDS[2].bytes, UINT64_C(4));
35    CHECK_U(MESH_MLOAD_FIELDS[3].off, UINT64_C(16));
36    CHECK_U(MESH_MLOAD_FIELDS[3].bytes, UINT64_C(4));
37    CHECK_U(MESH_MLOAD_FIELDS[4].off, UINT64_C(20));
38    CHECK_U(MESH_MLOAD_FIELDS[4].bytes, UINT64_C(4));
39    CHECK_U(MESH_MLOAD_FIELDS[5].off, UINT64_C(24));
40    CHECK_U(MESH_MLOAD_FIELDS[5].bytes, UINT64_C(4));
41    CHECK_U(MESH_MLOAD_FIELDS[6].off, UINT64_C(28));
42    CHECK_U(MESH_MLOAD_FIELDS[6].bytes, UINT64_C(4));
43    CHECK_U(MESH_MLOAD_FIELDS[7].off, UINT64_C(32));
44    CHECK_U(MESH_MLOAD_FIELDS[7].bytes, UINT64_C(4));
45    CHECK_U(MESH_MLOAD_FIELDS[8].off, UINT64_C(36));
46    CHECK_U(MESH_MLOAD_FIELDS[8].bytes, UINT64_C(4));
47    CHECK_U(MESH_MLOAD_FIELDS[9].off, UINT64_C(40));
48    CHECK_U(MESH_MLOAD_FIELDS[9].bytes, UINT64_C(4));
49    CHECK_U(MESH_MLOAD_FIELDS[10].off, UINT64_C(44));
50    CHECK_U(MESH_MLOAD_FIELDS[10].bytes, UINT64_C(4));
51    CHECK_U(MESH_MLOAD_FIELDS[11].off, UINT64_C(48));
52    CHECK_U(MESH_MLOAD_FIELDS[11].bytes, UINT64_C(4));
53    CHECK_U(MESH_MLOAD_FIELDS[12].off, UINT64_C(52));
54    CHECK_U(MESH_MLOAD_FIELDS[12].bytes, UINT64_C(4));
55    CHECK_U(MESH_MLOAD_FIELDS[13].off, UINT64_C(56));
56    CHECK_U(MESH_MLOAD_FIELDS[13].bytes, UINT64_C(4));
57    CHECK_U(MESH_MLOAD_FIELDS[14].off, UINT64_C(60));
58    CHECK_U(MESH_MLOAD_FIELDS[14].bytes, UINT64_C(4));
59    return mesh_check_done();
60}