pxStack=pvPortMalloc((((size_t)usStackDepth)*sizeof(StackType_t)));/*lint !e9079 All values returned by pvPortMalloc() have at least the alignment required by the MCU's stack and this allocation is the stack. */
pxNewTCB=(TCB_t*)pvPortMalloc(sizeof(TCB_t));/*lint !e9087 !e9079 All values returned by pvPortMalloc() have at least the alignment required by the MCU's stack, and the first member of TCB_t is always a pointer to the task's stack. */
pxTaskStatusArray=pvPortMalloc(uxCurrentNumberOfTasks*sizeof(TaskStatus_t));/*lint !e9079 All values returned by pvPortMalloc() have at least the alignment required by the MCU's stack and this allocation allocates a struct that has the alignment requirements of a pointer. */
pxNewTimer=(Timer_t*)pvPortMalloc(sizeof(Timer_t));/*lint !e9087 !e9079 All values returned by pvPortMalloc() have at least the alignment required by the MCU's stack, and the first member of Timer_t is always a pointer to the timer's mame. */