ctxop_template
ctxop_find_by_tmpl(kthread_t *t, const struct ctxop_template *ct, void *arg)
ctxop_allocate(const struct ctxop_template *ct, void *arg)
ctxop_install(kthread_t *t, const struct ctxop_template *ct, void *arg)
ctxop_remove(kthread_t *t, const struct ctxop_template *ct, void *arg)
static const struct ctxop_template kcpc_ctxop_tpl = {
static const struct ctxop_template kcpc_idle_ctxop_tpl = {
static const struct ctxop_template schedctl_ctxop_tpl = {
extern struct ctxop *ctxop_allocate(const struct ctxop_template *, void *);
extern void ctxop_install(kthread_t *, const struct ctxop_template *, void *);
extern int ctxop_remove(kthread_t *, const struct ctxop_template *, void *);
static const struct ctxop_template vmm_ctxop_tpl = {
const struct ctxop_template tpl = {
static const struct ctxop_template kfpu_ctxop_tpl = {
static const struct ctxop_template brand_interpose_ctxop_tpl = {
static const struct ctxop_template sep_tpl = {
const struct ctxop_template segreg_tpl = {
const struct ctxop_template xen_tpl = {