ctxop_attach
ctxop_attach(t, ctxop_allocate(ct, arg));
extern void ctxop_attach(kthread_t *, struct ctxop *);
ctxop_attach(curthread, vcpu->ctxop);
ctxop_attach(ct, fp_ctxop_allocate(cfp));
ctxop_attach(curthread, ctx);
ctxop_attach(curthread, fp_ctxop_allocate(fp));
ctxop_attach(curthread, ctx);
ctxop_attach(t, ctx);
ctxop_attach(t, ctx);
ctxop_attach(curthread, ctx);