Hello Sandrine,
Thanks for responding,
If the return type of plat_get_syscnt_freq2() is modified to unsigned int, it would result in another violation of Directive 4.6, as it involves using a basic numerical type without providing size and signedness information. To fix this need to change typedef uint32_t in definition and declaration as well. again, it is not possible to change in header file. Please suggest?
Regards, Nithin