322 static inline void OS_FreeToMain(void *ptr)  in OS_FreeToMain()
341 static inline void OS_FreeToSubPriv(void *ptr)  in OS_FreeToSubPriv()
359 static inline void OS_FreeToMainEx(void *ptr)  in OS_FreeToMainEx()
378 static inline void OS_FreeToITCM(void *ptr)  in OS_FreeToITCM()
398 static inline void OS_FreeToDTCM(void *ptr)  in OS_FreeToDTCM()
417 static inline void OS_FreeToShared(void *ptr)  in OS_FreeToShared()
436 static inline void OS_FreeToWramMain(void *ptr)  in OS_FreeToWramMain()
455 static inline void OS_FreeToWramSub(void *ptr)  in OS_FreeToWramSub()
473 static inline void OS_FreeToSubPrivWram(void *ptr)  in OS_FreeToSubPrivWram()
501 #  define OS_Free( ptr )     OS_FreeToMain( (ptr) )  argument
503 #  define OS_Free( ptr )     OS_FreeToSubPriv( (ptr) )  argument