char* qdev_get_fw_dev_path(DeviceState *dev)

{

    char path[128];

    int l;



    l = qdev_get_fw_dev_path_helper(dev, path, 128);



    path[l-1] = '\0';



    return strdup(path);

}

char* qdev_get_fw_dev_path(DeviceState *dev)

{

    char path[128];

    int l;



    l = qdev_get_fw_dev_path_helper(dev, path, 128);



    path[l-1] = '\0';



    return strdup(path);

}

char* FUNC_0(DeviceState *VAR_0)

{

    char VAR_1[128];

    int VAR_2;



    VAR_2 = qdev_get_fw_dev_path_helper(VAR_0, VAR_1, 128);



    VAR_1[VAR_2-1] = '\0';



    return strdup(VAR_1);

}

char* FUNC_0(DeviceState *VAR_0)
{ char VAR_1[128]; int VAR_2; VAR_2 = qdev_get_fw_dev_path_helper(VAR_0, VAR_1, 128); VAR_1[VAR_2-1] = '\0'; return strdup(VAR_1); }