aqui tienes las funciones

Código:
;W300 SW-R4EA031    
       +4567CC00
       06F0: FFFFFFFF 31D95145; 1BC: char REQUEST_DATEFORMAT_GET(const int *SYNC, char *DateFormat);
       06F4: FFFFFFFF D1D95145; 1BD: char REQUEST_TIMEFORMAT_GET(const int *SYNC, char *TimeFormat);
       0A18: FFFFFFFF 0DFF1645; 286: int iconidname2id(u16* idname,int maxnamelen,int* id);
       0A1C: FFFFFFFF B5142B45; 287: int textidname2id(u16* idname,int maxnamelen,int* id);
colocalo como un parche aparte o agregalo a la libreria