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