1/* Every constant of @ajax/mesh-abi-host-pload 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_pload.h"
4#include "mesh/check.h"
5
6#include <stdint.h>
7#include <string.h>
8
9int main(void) {
10    CHECK_U(MESH_S_PLOAD, UINT64_C(6144));
11    CHECK_U(MESH_PLOAD_BYTES, UINT64_C(128));
12    CHECK_U(MESH_PL_FLAGS, UINT64_C(0));
13    CHECK_U(MESH_PL_LAT_N, UINT64_C(4));
14    CHECK_U(MESH_PL_SHARE, UINT64_C(8));
15    CHECK_U(MESH_PL_SHARE10, UINT64_C(12));
16    CHECK_U(MESH_PL_SLICE_US, UINT64_C(16));
17    CHECK_U(MESH_PL_GAP_US, UINT64_C(20));
18    CHECK_U(MESH_PL_MAX_GAP_US, UINT64_C(24));
19    CHECK_U(MESH_PL_OBS, UINT64_C(28));
20    CHECK_U(MESH_PL_P50_US, UINT64_C(32));
21    CHECK_U(MESH_PL_P90_US, UINT64_C(36));
22    CHECK_U(MESH_PL_P99_US, UINT64_C(40));
23    CHECK_U(MESH_PL_MAX_US, UINT64_C(44));
24    CHECK_U(MESH_PL_TASK_US, UINT64_C(48));
25    CHECK_U(MESH_PL_TASKS_S, UINT64_C(52));
26    CHECK_U(MESH_PL_BUSY, UINT64_C(56));
27    CHECK_U(MESH_PL_QUEUE_US, UINT64_C(60));
28    CHECK_U(MESH_PL_HOST, UINT64_C(64));
29    CHECK_U(MESH_PL_CPU_NS, UINT64_C(64));
30    CHECK_U(MESH_PL_RSS, UINT64_C(72));
31    CHECK_U(MESH_PL_CPU, UINT64_C(80));
32    CHECK_U(MESH_PL_CPU10, UINT64_C(84));
33    CHECK_U(MESH_PL_CPU_TASK_US, UINT64_C(88));
34    CHECK_U(MESH_PL_UNITS, UINT64_C(92));
35    CHECK_U(MESH_PLF_LOADED, UINT64_C(1));
36    CHECK_U(MESH_PLF_GPU, UINT64_C(2));
37    CHECK_U(MESH_PLF_LAT, UINT64_C(4));
38    CHECK_U(MESH_PLF_TASK, UINT64_C(8));
39    CHECK_U(MESH_PLF_HOST, UINT64_C(16));
40    CHECK_U(MESH_PLOAD_FIELDS_LEN, 22);
41    CHECK_U(MESH_PLOAD_FIELDS[0].off, UINT64_C(0));
42    CHECK_U(MESH_PLOAD_FIELDS[0].bytes, UINT64_C(4));
43    CHECK_U(MESH_PLOAD_FIELDS[1].off, UINT64_C(4));
44    CHECK_U(MESH_PLOAD_FIELDS[1].bytes, UINT64_C(4));
45    CHECK_U(MESH_PLOAD_FIELDS[2].off, UINT64_C(8));
46    CHECK_U(MESH_PLOAD_FIELDS[2].bytes, UINT64_C(4));
47    CHECK_U(MESH_PLOAD_FIELDS[3].off, UINT64_C(12));
48    CHECK_U(MESH_PLOAD_FIELDS[3].bytes, UINT64_C(4));
49    CHECK_U(MESH_PLOAD_FIELDS[4].off, UINT64_C(16));
50    CHECK_U(MESH_PLOAD_FIELDS[4].bytes, UINT64_C(4));
51    CHECK_U(MESH_PLOAD_FIELDS[5].off, UINT64_C(20));
52    CHECK_U(MESH_PLOAD_FIELDS[5].bytes, UINT64_C(4));
53    CHECK_U(MESH_PLOAD_FIELDS[6].off, UINT64_C(24));
54    CHECK_U(MESH_PLOAD_FIELDS[6].bytes, UINT64_C(4));
55    CHECK_U(MESH_PLOAD_FIELDS[7].off, UINT64_C(28));
56    CHECK_U(MESH_PLOAD_FIELDS[7].bytes, UINT64_C(4));
57    CHECK_U(MESH_PLOAD_FIELDS[8].off, UINT64_C(32));
58    CHECK_U(MESH_PLOAD_FIELDS[8].bytes, UINT64_C(4));
59    CHECK_U(MESH_PLOAD_FIELDS[9].off, UINT64_C(36));
60    CHECK_U(MESH_PLOAD_FIELDS[9].bytes, UINT64_C(4));
61    CHECK_U(MESH_PLOAD_FIELDS[10].off, UINT64_C(40));
62    CHECK_U(MESH_PLOAD_FIELDS[10].bytes, UINT64_C(4));
63    CHECK_U(MESH_PLOAD_FIELDS[11].off, UINT64_C(44));
64    CHECK_U(MESH_PLOAD_FIELDS[11].bytes, UINT64_C(4));
65    CHECK_U(MESH_PLOAD_FIELDS[12].off, UINT64_C(48));
66    CHECK_U(MESH_PLOAD_FIELDS[12].bytes, UINT64_C(4));
67    CHECK_U(MESH_PLOAD_FIELDS[13].off, UINT64_C(52));
68    CHECK_U(MESH_PLOAD_FIELDS[13].bytes, UINT64_C(4));
69    CHECK_U(MESH_PLOAD_FIELDS[14].off, UINT64_C(56));
70    CHECK_U(MESH_PLOAD_FIELDS[14].bytes, UINT64_C(4));
71    CHECK_U(MESH_PLOAD_FIELDS[15].off, UINT64_C(60));
72    CHECK_U(MESH_PLOAD_FIELDS[15].bytes, UINT64_C(4));
73    CHECK_U(MESH_PLOAD_FIELDS[16].off, UINT64_C(64));
74    CHECK_U(MESH_PLOAD_FIELDS[16].bytes, UINT64_C(8));
75    CHECK_U(MESH_PLOAD_FIELDS[17].off, UINT64_C(72));
76    CHECK_U(MESH_PLOAD_FIELDS[17].bytes, UINT64_C(8));
77    CHECK_U(MESH_PLOAD_FIELDS[18].off, UINT64_C(80));
78    CHECK_U(MESH_PLOAD_FIELDS[18].bytes, UINT64_C(4));
79    CHECK_U(MESH_PLOAD_FIELDS[19].off, UINT64_C(84));
80    CHECK_U(MESH_PLOAD_FIELDS[19].bytes, UINT64_C(4));
81    CHECK_U(MESH_PLOAD_FIELDS[20].off, UINT64_C(88));
82    CHECK_U(MESH_PLOAD_FIELDS[20].bytes, UINT64_C(4));
83    CHECK_U(MESH_PLOAD_FIELDS[21].off, UINT64_C(92));
84    CHECK_U(MESH_PLOAD_FIELDS[21].bytes, UINT64_C(4));
85    return mesh_check_done();
86}