port.h

Go to the documentation of this file.

/****************************************************************************/
 
#ifndef PORT_H
#define PORT_H
 
#include <stdint.h>
#include <stddef.h>
 
#ifdef __cplusplus
extern "C" {
#endif

void akos_port_systick_init_freq(uint32_t cpu_freq);

void akos_port_start_first_task(void);

uint32_t *akos_port_task_stack_init(uint32_t *p_stack,
                               size_t stack_size,
                               void (*pf_task)(void *),
                               void *p_arg);
 
#define port_disable_interrupts             { __asm inline("CPSID   I \n"); }
#define port_enable_interrupts              { __asm inline("CPSIE   I \n"); }
 
/* Make PendSV and SysTick the lowest priority interrupts. */
#define port_setup_PendSV()                 (*(uint32_t volatile *)0xE000ED20 |= (0xFFU << 16))
#define port_trigger_PendSV()               (*(uint32_t volatile *)0xE000ED04 = (1U << 28))
 
#define port_SVCHandler                     SVC_Handler
#define port_PendSVHandler                  PendSV_Handler
#define port_SysTickHandler                 SysTick_Handler
 
#ifdef __cplusplus
}
#endif
 
#endif