static void prom_set(uint32_t* prom_buf, int index, const char *string, ...)

{

    va_list ap;

    int32_t table_addr;



    if (index >= ENVP_NB_ENTRIES)

        return;



    if (string == NULL) {

        prom_buf[index] = 0;

        return;

    }



    table_addr = sizeof(int32_t) * ENVP_NB_ENTRIES + index * ENVP_ENTRY_SIZE;

    prom_buf[index] = tswap32(ENVP_ADDR + table_addr);



    va_start(ap, string);

    vsnprintf((char *)prom_buf + table_addr, ENVP_ENTRY_SIZE, string, ap);

    va_end(ap);

}

static void prom_set(uint32_t* prom_buf, int index, const char *string, ...)

{

    va_list ap;

    int32_t table_addr;



    if (index >= ENVP_NB_ENTRIES)

        return;



    if (string == NULL) {

        prom_buf[index] = 0;

        return;

    }



    table_addr = sizeof(int32_t) * ENVP_NB_ENTRIES + index * ENVP_ENTRY_SIZE;

    prom_buf[index] = tswap32(ENVP_ADDR + table_addr);



    va_start(ap, string);

    vsnprintf((char *)prom_buf + table_addr, ENVP_ENTRY_SIZE, string, ap);

    va_end(ap);

}

static void FUNC_0(uint32_t* VAR_0, int VAR_1, const char *VAR_2, ...)

{

    va_list ap;

    int32_t table_addr;



    if (VAR_1 >= ENVP_NB_ENTRIES)

        return;



    if (VAR_2 == NULL) {

        VAR_0[VAR_1] = 0;

        return;

    }



    table_addr = sizeof(int32_t) * ENVP_NB_ENTRIES + VAR_1 * ENVP_ENTRY_SIZE;

    VAR_0[VAR_1] = tswap32(ENVP_ADDR + table_addr);



    va_start(ap, VAR_2);

    vsnprintf((char *)VAR_0 + table_addr, ENVP_ENTRY_SIZE, VAR_2, ap);

    va_end(ap);

}

static void FUNC_0(uint32_t* VAR_0, int VAR_1, const char *VAR_2, ...)
{ va_list ap; int32_t table_addr; if (VAR_1 >= ENVP_NB_ENTRIES)
return; if (VAR_2 == NULL) { VAR_0[VAR_1] = 0; return; } table_addr = sizeof(int32_t) * ENVP_NB_ENTRIES + VAR_1 * ENVP_ENTRY_SIZE; VAR_0[VAR_1] = tswap32(ENVP_ADDR + table_addr); va_start(ap, VAR_2); vsnprintf((char *)VAR_0 + table_addr, ENVP_ENTRY_SIZE, VAR_2, ap); va_end(ap); }