ctxop_allocate
ctxop_attach(t, ctxop_allocate(ct, arg));
extern struct ctxop *ctxop_allocate(const struct ctxop_template *, void *);
vcpu->ctxop = ctxop_allocate(&vmm_ctxop_tpl, &vcpu->vtc);
return (ctxop_allocate(&tpl, fp));
ctx = ctxop_allocate(&kfpu_ctxop_tpl, kfpu);
ctx = ctxop_allocate(&segreg_tpl, lwp);
ctx = ctxop_allocate(&sep_tpl, kstktop);
ctx = ctxop_allocate(&xen_tpl, NULL);