ndata_alloc
dmv_dispatch_table = ndata_alloc(ndata, alloc_sz,
memspace = ndata_alloc(&ndata, memlist_sz, ecache_alignsize);
msp = ndata_alloc(ndata, memseg_sz, ecache_alignsize);
if ((ktsb_base = ndata_alloc(ndata, ktsb_sz, ktsb_sz)) == NULL)
ktsb4m_base = ndata_alloc(ndata, ktsb4m_sz, ktsb4m_sz);
sfmmu_cb_table = ndata_alloc(ndata, cb_alloc_sz, ecache_alignsize);
kpmp_table = ndata_alloc(ndata, kpmp_alloc_sz,
kpmp_stable = ndata_alloc(ndata, kpmp_alloc_sz,
alloc_base = ndata_alloc(ndata, alloc_sz, ecache_alignsize);
extern void *ndata_alloc(struct memlist *, size_t, size_t);
mmu_fault_status_area = ndata_alloc(ndata, size, ecache_alignsize);