Searched refs:cp_spl (Results 1 – 1 of 1) sorted by relevance
170 int cp_spl; /* spl saved in pause_cpus() */ member861 splx(cpu_pause_info.cp_spl); in start_cpus()1072 cpi->cp_spl = splhigh(); /* block dispatcher on this CPU */ in pause_cpus()