Timer_t*constpxTimer=(Timer_t*)listGET_OWNER_OF_HEAD_ENTRY(pxCurrentTimerList);/*lint !e9087 !e9079 void * is used as this macro is used with tasks and co-routines too. Alignment is known to be fine as the type of the pointer stored and retrieved is the same. */