_kernel_malloc
return (counter_u64_t)_kernel_malloc(sizeof(uint64_t), wait | M_ZERO);
void *_kernel_malloc(size_t size, int flags);
_kernel_malloc(size, flags)
struct ifnet *ifp = _kernel_malloc(sizeof(struct ifnet), M_ZERO);
ifa = _kernel_malloc(size, M_ZERO | flags);