libkernel/include/kernel/kernel.h

#pragma once

#ifdef __cplusplus
extern "C"
{
#endif

extern void KernelCopyData(uint32_t dst, uint32_t src, uint32_t len);

#ifdef __cplusplus
} // extern "C"
#endif