1 // SPDX-License-Identifier: GPL-2.0
2
3 #include <linux/efi.h>
4 #include <asm/efi.h>
5 #include <asm/string.h>
6
7 #include "efistub.h"
8
9 #ifdef CONFIG_KASAN
10 #undef memcpy
11 #undef memmove
12 #undef memset
13 void *__memcpy(void *__dest, const void *__src, size_t __n) __alias(memcpy);
14 void *__memmove(void *__dest, const void *__src, size_t count) __alias(memmove);
15 void *__memset(void *s, int c, size_t count) __alias(memset);
16 #endif
17
memcpy(void * dst,const void * src,size_t len)18 void *memcpy(void *dst, const void *src, size_t len)
19 {
20 efi_bs_call(copy_mem, dst, src, len);
21 return dst;
22 }
23
24 extern void *memmove(void *dst, const void *src, size_t len) __alias(memcpy);
25
memset(void * dst,int c,size_t len)26 void *memset(void *dst, int c, size_t len)
27 {
28 efi_bs_call(set_mem, dst, len, c & U8_MAX);
29 return dst;
30 }
31