buckstring         81 kern/kern_malloc.c char buckstring[16 * sizeof("123456,")];
buckstring        562 kern/kern_malloc.c 			bzero(buckstring, sizeof(buckstring));
buckstring        564 kern/kern_malloc.c 				snprintf(buckstring + siz,
buckstring        565 kern/kern_malloc.c 				    sizeof buckstring - siz,
buckstring        567 kern/kern_malloc.c 				siz += strlen(buckstring + siz);
buckstring        571 kern/kern_malloc.c 				buckstring[siz - 1] = '\0';
buckstring        573 kern/kern_malloc.c 		return (sysctl_rdstring(oldp, oldlenp, newp, buckstring));