void qemu_check_nic_model(NICInfo *nd, const char *model)

{

    const char *models[2];



    models[0] = model;

    models[1] = NULL;



    qemu_check_nic_model_list(nd, models, model);

}

void qemu_check_nic_model(NICInfo *nd, const char *model)

{

    const char *models[2];



    models[0] = model;

    models[1] = NULL;



    qemu_check_nic_model_list(nd, models, model);

}

    qemu_check_nic_model_list(nd, models, model);
void FUNC_0(NICInfo *VAR_0, const char *VAR_1)

{

    const char *VAR_2[2];



    VAR_2[0] = VAR_1;

    VAR_2[1] = NULL;



    qemu_check_nic_model_list(VAR_0, VAR_2, VAR_1);

}

void FUNC_0(NICInfo *VAR_0, const char *VAR_1)
{ const char *VAR_2[2]; VAR_2[0] = VAR_1; VAR_2[1] = NULL; qemu_check_nic_model_list(VAR_0, VAR_2, VAR_1); }