static void add_device_config(int type, const char *cmdline)

{

    struct device_config *conf;



    conf = qemu_mallocz(sizeof(*conf));

    conf->type = type;

    conf->cmdline = cmdline;

    TAILQ_INSERT_TAIL(&device_configs, conf, next);

}

static void add_device_config(int type, const char *cmdline)

{

    struct device_config *conf;



    conf = qemu_mallocz(sizeof(*conf));

    conf->type = type;

    conf->cmdline = cmdline;

    TAILQ_INSERT_TAIL(&device_configs, conf, next);

}

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

{

    struct device_config *VAR_2;



    VAR_2 = qemu_mallocz(sizeof(*VAR_2));

    VAR_2->VAR_0 = VAR_0;

    VAR_2->VAR_1 = VAR_1;

    TAILQ_INSERT_TAIL(&device_configs, VAR_2, next);

}

static void FUNC_0(int VAR_0, const char *VAR_1)
{ struct device_config *VAR_2; VAR_2 = qemu_mallocz(sizeof(*VAR_2)); VAR_2->VAR_0 = VAR_0; VAR_2->VAR_1 = VAR_1; TAILQ_INSERT_TAIL(&device_configs, VAR_2, next); }