buckstring_init    82 kern/kern_malloc.c int buckstring_init = 0;
buckstring_init   560 kern/kern_malloc.c 		if (buckstring_init == 0) {
buckstring_init   561 kern/kern_malloc.c 			buckstring_init = 1;