00001 #ifndef __FLASH_H__ 00002 #define __FLASH_H__ 00003 00004 #include <inttypes.h> 00005 00006 void flash_write_page(uint32_t page, uint8_t *buf); 00007 00008 #endif /* __FLASH_H__ */