diff --git a/src/PikaPlatform.h b/src/PikaPlatform.h index fc9ae2f34..44b1c096d 100644 --- a/src/PikaPlatform.h +++ b/src/PikaPlatform.h @@ -29,8 +29,8 @@ #define __PIKA_PALTFORM__H #include #include -#include #include +#include #if defined(__CC_ARM) || defined(__CLANG_ARM) /* ARM Compiler */ #define PIKA_WEAK __attribute__((weak)) @@ -40,27 +40,37 @@ #define PIKA_WEAK __attribute__((weak)) #endif -void __platform_printf(char* fmt, ...); -void* __platform_malloc(size_t size); -void __platform_free(void* ptr); -void __platform_enable_irq_handle(void); -void __platform_disable_irq_handle(void); -void* __impl_pikaMalloc(size_t size); -void __impl_pikaFree(void* ptrm, size_t size); -uint8_t __is_locked_pikaMemory(void); -uint8_t __is_quick_malloc(void); -void __quick_malloc_enable(void); -void __quick_malloc_disable(void); -char* __platform_load_pikaAsm(void); +/* The following functions are can be + overrided to config pikaScript. */ + +/* interrupt config */ +void __platform_enable_irq_handle(void); +void __platform_disable_irq_handle(void); + +/* pika asm config */ int32_t __platform_save_pikaAsm(char* PikaAsm); uint8_t __platform_Asm_is_to_flash(char* pyMultiLine); int32_t __platform_save_pikaAsm_EOF(void); -int __platform_sprintf(char* buff, char* fmt, ...); -void __platform_pool_init(void); -void __platform_wait(void); -int __platform_vsprintf(char* buff, char* fmt, va_list args); -int __platform_vsnprintf(char* buff, +char* __platform_load_pikaAsm(void); + +/* printf */ +void __platform_printf(char* fmt, ...); +int __platform_sprintf(char* buff, char* fmt, ...); +int __platform_vsprintf(char* buff, char* fmt, va_list args); +int __platform_vsnprintf(char* buff, size_t size, const char* fmt, va_list args); + +/* memory config */ +void* __platform_malloc(size_t size); +void __platform_free(void* ptr); +void __platform_pool_init(void); +void __platform_wait(void); +void* __impl_pikaMalloc(size_t size); +void __impl_pikaFree(void* ptrm, size_t size); +uint8_t __is_locked_pikaMemory(void); +uint8_t __is_quick_malloc(void); +void __quick_malloc_enable(void); +void __quick_malloc_disable(void); #endif