#ifndef __DEV_SYSTICK_H
#define __DEV_SYSTICK_H

#include "stm32f4xx.h"

void dev_systick_decrement(void);
void dev_systick_increase(void);

#endif // __DEV_SYSTICK_H