Searched refs:osKernelGetInfo (Results 1 – 3 of 3) sorted by relevance
17 osStatus_t osKernelGetInfo(osVersion_t *version, char *id_buf, uint32_t id_size) in osKernelGetInfo() function
27 status = osKernelGetInfo(&osv, infobuf, sizeof(infobuf)); in get_version_check()
313 osStatus_t osKernelGetInfo(osVersion_t *version, char *id_buf, uint32_t id_size);