static void xenstore_record_dm_state(struct xs_handle *xs, const char *state)

{

    char path[50];



    if (xs == NULL) {

        fprintf(stderr, "xenstore connection not initialized\n");

        exit(1);

    }



    snprintf(path, sizeof (path), "/local/domain/0/device-model/%u/state", xen_domid);

    if (!xs_write(xs, XBT_NULL, path, state, strlen(state))) {

        fprintf(stderr, "error recording dm state\n");

        exit(1);

    }

}

static void xenstore_record_dm_state(struct xs_handle *xs, const char *state)

{

    char path[50];



    if (xs == NULL) {

        fprintf(stderr, "xenstore connection not initialized\n");

        exit(1);

    }



    snprintf(path, sizeof (path), "/local/domain/0/device-model/%u/state", xen_domid);

    if (!xs_write(xs, XBT_NULL, path, state, strlen(state))) {

        fprintf(stderr, "error recording dm state\n");

        exit(1);

    }

}

    snprintf(path, sizeof (path), "/local/domain/0/device-model/%u/state", xen_domid);
static void FUNC_0(struct xs_handle *VAR_0, const char *VAR_1)

{

    char VAR_2[50];



    if (VAR_0 == NULL) {

        fprintf(stderr, "xenstore connection not initialized\n");

        exit(1);

    }



    snprintf(VAR_2, sizeof (VAR_2), "/local/domain/0/device-model/%u/VAR_1", xen_domid);

    if (!xs_write(VAR_0, XBT_NULL, VAR_2, VAR_1, strlen(VAR_1))) {

        fprintf(stderr, "error recording dm VAR_1\n");

        exit(1);

    }

}

static void FUNC_0(struct xs_handle *VAR_0, const char *VAR_1)
{ char VAR_2[50]; if (VAR_0 == NULL) { fprintf(stderr, "xenstore connection not initialized\n"); exit(1); } snprintf(VAR_2, sizeof (VAR_2), "/local/domain/0/device-model/%u/VAR_1", xen_domid); if (!xs_write(VAR_0, XBT_NULL, VAR_2, VAR_1, strlen(VAR_1))) { fprintf(stderr, "error recording dm VAR_1\n"); exit(1); } }