* <!-- description --> * @brief This function frees memory previously allocated using the * platform_alloc_contiguous() function. * * <!-- inputs/outputs --> * @param ptr the pointer returned by platform_alloc_contiguous(). If ptr is * passed a nullptr, it will be ignored. Attempting to free memory * more than once results in UB. * @param size the number of bytes that wer
| 174 | * may or may not be ignored depending on the platform. |
| 175 | */ |
| 176 | void |
| 177 | platform_free_contiguous(void const *const ptr, uint64_t const size) NOEXCEPT |
| 178 | { |
| 179 | (void)size; |
| 180 | |
| 181 | if (NULLPTR != ptr) { |
| 182 | kfree(ptr); |
| 183 | } |
| 184 | } |
| 185 | |
| 186 | /** |
| 187 | * <!-- description --> |
nothing calls this directly
no outgoing calls
no test coverage detected