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