1 void memcpy(void *dst, const void *src, unsigned int size);
memcpy(void * dst,const void * src,unsigned int size)2 void memcpy(void *dst, const void *src, unsigned int size)
3 {
4 	__builtin_memcpy(dst, src, size);
5 }
6 
7 unsigned int strlen(const char *src);
strlen(const char * src)8 unsigned int strlen(const char *src)
9 {
10 	return __builtin_strlen(src);
11 }
12 
13 /*
14  * check-name: builtin-prototype
15  */
16