sbdp_board_non_panther_cpus
if (sbdp_board_non_panther_cpus(node, board) > 0 &&
int sbdp_board_non_panther_cpus(int, int);