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