engine_control/source/firmware/arch/stm32f4xx/stm32f4xx_stack.h
2016-07-23 07:59:54 +02:00

22 lines
331 B
C

/*
* stm32f4xx_stack.h
*
* Created on: Oct 1, 2015
* Author: tkl
*/
#ifndef STM32F4XX_STACK_H_
#define STM32F4XX_STACK_H_
#include <stdint.h>
typedef uint32_t stack_t;
stack_t *stack_init(
void (*task_func)(void *),
void *arg,
stack_t *stack_start,
unsigned int stack_size);
#endif /* STM32F4XX_STACK_H_ */