RTX5: removed an unnecessary PC-lint comment
@@ -184,7 +184,6 @@ static void osRtxMemoryPoolPostProcess (os_memory_pool_t *mp) {
// Check if Thread is waiting to allocate memory
if (mp->thread_list != NULL) {
// Allocate memory
- //lint -e{9079} "conversion from pointer to void to pointer to other type" [MISRA Note 5]
block = osRtxMemoryPoolAlloc(&mp->mp_info);
if (block != NULL) {
// Wakeup waiting Thread with highest Priority
