Closed ljden closed 2 years ago
https://github.com/SEL4PROJ/AOS/blob/fb0e494f7a43b734dd4fa615cd21f566c9fad841/libsosapi/src/sys_time.c#L32-L34 https://github.com/SEL4PROJ/AOS/blob/fb0e494f7a43b734dd4fa615cd21f566c9fad841/libsosapi/include/sos.h#L128-L129
This has been fixed in https://github.com/SEL4PROJ/AOS/commit/1e18e0fab5aa46c69bb22a63e2d0b62eec466cce.
https://github.com/SEL4PROJ/AOS/blob/fb0e494f7a43b734dd4fa615cd21f566c9fad841/libsosapi/src/sys_time.c#L32-L34 https://github.com/SEL4PROJ/AOS/blob/fb0e494f7a43b734dd4fa615cd21f566c9fad841/libsosapi/include/sos.h#L128-L129