1 // SPDX-License-Identifier: GPL-2.0
2 /*  Copyright(c) 2016-20 Intel Corporation. */
3 
4 #include <stddef.h>
5 #include "defines.h"
6 
7 static void *memcpy(void *dest, const void *src, size_t n)
8 {
9 	size_t i;
10 
11 	for (i = 0; i < n; i++)
12 		((char *)dest)[i] = ((char *)src)[i];
13 
14 	return dest;
15 }
16 
17 void encl_body(void *rdi, void *rsi)
18 {
19 	memcpy(rsi, rdi, 8);
20 }
21