mi_ast
mi_ast(p, curcpu()->ci_want_resched);
mi_ast(p, curcpu()->ci_want_resched);
mi_ast(p, want_resched);
mi_ast(p, curcpu()->ci_want_resched);
mi_ast(p, curcpu()->ci_want_resched);
mi_ast(p, curcpu()->ci_want_resched);
mi_ast(p, ci->ci_want_resched);
mi_ast(p, curcpu()->ci_want_resched);
mi_ast(p, curcpu()->ci_want_resched);
mi_ast(p, curcpu()->ci_want_resched);
mi_ast(p, curcpu()->ci_want_resched);
mi_ast(p, curcpu()->ci_want_resched);
mi_ast(p, curcpu()->ci_want_resched);