Function platform_free

loader/windows/src/platform.c:164–172

* <!-- description --> * @brief This function frees memory previously allocated using the * platform_alloc() function. * * <!-- inputs/outputs --> * @param ptr the pointer returned by platform_alloc(). 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 were allocated. Note that

 *     may or may not be ignored depending on the platform.
 */
void
platform_free(void const *const ptr, uint64_t const size) NOEXCEPT
{
    (void)size;

    if (NULLPTR != ptr) {
        ExFreePoolWithTag((void *)ptr, BF_TAG);
    }
}

/**
 * <!-- description -->