ni_board_type     419 dev/pci/if_nxe.c 	u_int32_t		ni_board_type;
ni_board_type    1476 dev/pci/if_nxe.c 		if (ni->ni_board_type == nxe_boards[i].brd_type) {
ni_board_type    1482 dev/pci/if_nxe.c 		printf(": unknown board type %04x\n", ni->ni_board_type);