cookie_xc.c

Go to the documentation of this file.

/* This file is automatically generated from ha/cookie.h */

#include "lib/misc.h"                       /* offsetof */
#include "lib/assert.h"
#include "xcode/xcode.h"

#include "ha/cookie.h"
#include "ha/cookie_xc.h"

struct m0_xcode_type *m0_ha_cookie_xc_xc;

static struct _m0_ha_cookie_xc_s {
        struct m0_xcode_type  _type;
        struct m0_xcode_field _child[4];
} _m0_ha_cookie_xc = {
        ._type = {
                .xct_aggr   = M0_XA_RECORD,
                .xct_name   = "m0_ha_cookie_xc",
                .xct_sizeof = sizeof (struct m0_ha_cookie_xc),
                .xct_nr     = 4,
                .xct_flags  = M0_XCODE_TYPE_FLAG_DOM_RPC,
        }
};

struct m0_xcode_type *m0_ha_cookie_xc_xc = &_m0_ha_cookie_xc._type;
M0_BASSERT(offsetof(struct _m0_ha_cookie_xc_s, _child[0]) ==
        offsetof(struct m0_xcode_type, xct_child[0]));


M0_BASSERT(sizeof(struct m0_ha_cookie_xc) == 40U);

M0_BASSERT(sizeof ((struct m0_ha_cookie_xc *)0)->hcx_pid == 8U);
M0_BASSERT(offsetof(struct m0_ha_cookie_xc, hcx_pid) == 0U);
M0_BASSERT(sizeof ((struct m0_ha_cookie_xc *)0)->hcx_time_start == 8U);
M0_BASSERT(offsetof(struct m0_ha_cookie_xc, hcx_time_start) == 8U);
M0_BASSERT(sizeof ((struct m0_ha_cookie_xc *)0)->hcx_uptime == 8U);
M0_BASSERT(offsetof(struct m0_ha_cookie_xc, hcx_uptime) == 16U);
M0_BASSERT(sizeof ((struct m0_ha_cookie_xc *)0)->hcx_uuid == 16U);
M0_BASSERT(offsetof(struct m0_ha_cookie_xc, hcx_uuid) == 24U);



M0_INTERNAL void m0_xc_m0_ha_cookie_xc_struct_init(void)
{
        _m0_ha_cookie_xc._child[0] = (struct m0_xcode_field) {
                .xf_name   = "hcx_pid",

                .xf_type   = &M0_XT_U64,

                .xf_tag    = 0,
                .xf_opaque = NULL,
                .xf_offset = offsetof(struct m0_ha_cookie_xc, hcx_pid),
                .xf_read   = NULL,
                .xf_decor  = {
                        [M0_XCODE_DECOR_READ] = NULL
                }
        };
        m0_xc_u64_init();

        _m0_ha_cookie_xc._child[1] = (struct m0_xcode_field) {
                .xf_name   = "hcx_time_start",

                .xf_type   = &M0_XT_U64,

                .xf_tag    = 0,
                .xf_opaque = NULL,
                .xf_offset = offsetof(struct m0_ha_cookie_xc, hcx_time_start),
                .xf_read   = NULL,
                .xf_decor  = {
                        [M0_XCODE_DECOR_READ] = NULL
                }
        };
        m0_xc_u64_init();

        _m0_ha_cookie_xc._child[2] = (struct m0_xcode_field) {
                .xf_name   = "hcx_uptime",

                .xf_type   = &M0_XT_U64,

                .xf_tag    = 0,
                .xf_opaque = NULL,
                .xf_offset = offsetof(struct m0_ha_cookie_xc, hcx_uptime),
                .xf_read   = NULL,
                .xf_decor  = {
                        [M0_XCODE_DECOR_READ] = NULL
                }
        };
        m0_xc_u64_init();

        _m0_ha_cookie_xc._child[3] = (struct m0_xcode_field) {
                .xf_name   = "hcx_uuid",

                .xf_type   = m0_uint128_xc,

                .xf_tag    = 0,
                .xf_opaque = NULL,
                .xf_offset = offsetof(struct m0_ha_cookie_xc, hcx_uuid),
                .xf_read   = NULL,
                .xf_decor  = {
                        [M0_XCODE_DECOR_READ] = NULL
                }
        };
        m0_xc_m0_uint128_struct_init();

        M0_POST(m0_xcode_type_invariant(m0_ha_cookie_xc_xc));
}

M0_INTERNAL void m0_xc_ha_cookie_init(void)
{
        m0_xc_m0_ha_cookie_xc_struct_init();
}

M0_INTERNAL void m0_xc_ha_cookie_fini(void)
{
}