array_bytes
int array_bytes(struct symbol *type);
return array_bytes(type);
size_t array_bytes = array_count * sizeof (uint64_t);
uint64_t *smobj_array = kmem_alloc(array_bytes, KM_SLEEP);
array_bytes, smobj_array, 0));
kmem_free(smobj_array, array_bytes);