#ifndef __PLATFORM_H__ #define __PLATFORM_H__ //#include <stdint.h> void platform_init(void); #endif /* __PLATFORM_H__ */