Lines Matching defs:board
166 uint32_t board;
195 board = bus_read_4(sc->sc_memres[FHC_INTERNAL], FHC_BSR);
196 board = ((board >> 16) & 0x1) | ((board >> 12) & 0xe);
198 if (OF_getprop(node, "board#", &board, sizeof(board)) == -1) {
199 device_printf(dev, "cannot get board number\n");
205 device_printf(dev, "board %d, ", board);
206 if (OF_getprop_alloc(node, "board-model", 1, (void **)&name) != -1) {
217 sc->sc_ign = board << 1;
240 * boards as the board number and thus the IGN isn't unique.
276 snprintf(ledname, sizeof(ledname), "board%d", board);