1/* Every constant of @ajax/mesh-abi-host-sched 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_sched.h"
4#include "mesh/check.h"
5
6#include <stdint.h>
7#include <string.h>
8
9int main(void) {
10    CHECK_U(MESH_S_SCHED, UINT64_C(5760));
11    CHECK_U(MESH_S_SCHED_FLAGS, UINT64_C(5760));
12    CHECK_U(MESH_S_SCHED_MOVES, UINT64_C(5764));
13    CHECK_U(MESH_S_SCHED_GAP_US, UINT64_C(5768));
14    CHECK_U(MESH_S_CORDON, UINT64_C(5772));
15    CHECK_U(MESH_S_BUSY_MASK, UINT64_C(5776));
16    CHECK_U(MESH_S_HEAP_RUN, UINT64_C(5780));
17    CHECK_U(MESH_S_PLACED, UINT64_C(5792));
18    CHECK_U(MESH_PS_MASK, UINT64_C(255));
19    CHECK_U(MESH_PS_ALL, UINT64_C(256));
20    CHECK_U(MESH_PS_PINNED, UINT64_C(512));
21    CHECK_U(MESH_PS_MIGRATING, UINT64_C(1024));
22    CHECK_U(MESH_PS_KNOWN, UINT64_C(2048));
23    CHECK_U(MESH_PS_FROM_SHIFT, UINT64_C(16));
24    CHECK_U(MESH_SF_PAUSED, UINT64_C(1));
25    CHECK_U(MESH_SF_AUTOREFORM, UINT64_C(2));
26    CHECK_U(MESH_SF_MIGRATING, UINT64_C(4));
27    CHECK_U(MESH_S_SCHED_END, UINT64_C(5920));
28    return mesh_check_done();
29}