mdb_alloc_align
c->ctx_stack = mdb_alloc_align(c->ctx_stacksize, pagesize, UM_NOSLEEP);
return (mdb_alloc_align(nbytes, 0, flags));
extern void *mdb_alloc_align(size_t, size_t, uint_t);