Searched refs:osVersion_t (Results 1 – 2 of 2) sorted by relevance
79 } osVersion_t; typedef316 osStatus_t osKernelGetInfo (osVersion_t *version, char *id_buf, uint32_t id_size);
213 extern void EvrRtxKernelGetInfo (osVersion_t *version, char *id_buf, uint32_t id_size);225 extern void EvrRtxKernelInfoRetrieved (const osVersion_t *version, const char *id_buf, uint32_t id_…