Function serialize_uint4

amd_lib/shared/d3d11/src/AMD_Serialize.cpp:97–100

    }

    void serialize_uint4(FILE * file, const char * name, uint32 * v)
    {
        fprintf(file, "%s = %X %X %X %X; \n", name, v[0], v[1], v[2], v[3]);
    }

    void deserialize_string(FILE * file, char * name)
    {