CVMX_BOARD_TYPE_NIC10E
case CVMX_BOARD_TYPE_NIC10E:
case CVMX_BOARD_TYPE_NIC10E:
} else if (octeon_bootinfo->board_type == CVMX_BOARD_TYPE_NIC10E ||
if (octeon_bootinfo->board_type == CVMX_BOARD_TYPE_NIC10E)
ENUM_BRD_TYPE_CASE(CVMX_BOARD_TYPE_NIC10E)