Searched refs:cpu_switchto_softint (Results 1 – 2 of 2) sorted by relevance
46 vaddr_t cpu_switchto_softint; variable63 cpu_switchto_softint = nl[2].n_value; in db_mach_init()
96 void cpu_switchto_softint(struct lwp *, int);