Searched refs:ncpu_board (Results 1 – 1 of 1) sorted by relevance
3141 int ncpu_board = MAX_CPU_PER_BRD; in board_to_ready_cpu() local3143 board *= ncpu_board; in board_to_ready_cpu()3145 base_cpuid < (board + ncpu_board); in board_to_ready_cpu()