Static code scan issues seen in File: /kernel/posix/timer.c
Category: Integer handling issues
Function: timer_gettime
Component: Kernel
CID: 183038
Please fix or provide comments to square it off in coverity in the link: https://scan9.coverity.com/reports.htm#v32951/p12996