free the memory pointed by ptr in the given device
| 24 | |
| 25 | //! free the memory pointed by ptr in the given device |
| 26 | void free(LiteDeviceType, int, void* ptr) override { |
| 27 | #if defined(WIN32) || defined(_WIN32) |
| 28 | _aligned_free(ptr); |
| 29 | #else |
| 30 | ::free(ptr); |
| 31 | #endif |
| 32 | }; |
| 33 | }; |
| 34 | |
| 35 | bool config_user_allocator(const Args& args) { |