Searched refs:bspl (Results 1 – 1 of 1) sorted by relevance
3195 int nflaglines = 0, flagline = 0, bspl, rval = WALK_NEXT; in cpuinfo_walk_cpu() local3222 bspl = cpu->cpu_base_spl; in cpuinfo_walk_cpu()3231 disp.disp_nrunnable, bspl); in cpuinfo_walk_cpu()