drmach_board_lookup
(void) drmach_board_lookup(bd, &bp->b_id);
if (drmach_board_lookup(bp->b_num, &bp->b_id) != 0)
extern int drmach_board_lookup(int bnum, drmachid_t *id);
(void) drmach_board_lookup(bd, &bp->b_id);
if (drmach_board_lookup(bp->b_num, &bp->b_id) != 0)
extern int drmach_board_lookup(int bnum, drmachid_t *id);