name resolution checking (need kern/kern_malloc.c 7.25.1.1,