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