ctxop_remove
VERIFY3U(ctxop_remove(t, &kcpc_ctxop_tpl, ctx), !=, 0);
(void) ctxop_remove(t, &schedctl_ctxop_tpl, ssp);
extern int ctxop_remove(kthread_t *, const struct ctxop_template *, void *);
ctxop_remove(curthread, &kfpu_ctxop_tpl, kfpu);
ASSERT0(ctxop_remove(t, &brand_interpose_ctxop_tpl, NULL));
ctxop_remove(t, &brand_interpose_ctxop_tpl, NULL);
ASSERT0(ctxop_remove(t, &segreg_tpl, lwp));
ASSERT0(ctxop_remove(t, &sep_tpl, kstktop));