#include "dk_abstraction.h"
#include "TZ_Vendor_tl.h"

void* dk_malloc(size_t n)
{
    return TZ_malloc(n);
}

void dk_realloc(void* p, size_t n)
{
    TZ_realloc(p, n);
}

void dk_free(void* p)
{
    TZ_free(p);
}

void dk_memcpy(void* dest, void* src, size_t size)
{
    memcpy(dest, src, size);
}

void dk_memset(void* dest, uint32_t value, size_t size)
{
    memset(dest, value, size);
}

int dk_memcmp(void* buffer1, void* buffer2, size_t size)
{
    return memcmp(buffer1, buffer2, size);
}

void dk_generate_random(void *out, uint32_t length)
{
    TZ_gen_rand_data(out, &length);
}