drmach_board_dispose

2291

drmach_board_dispose(bp);

562

drmach_board_dispose(bp);

571

drmach_board_dispose(bp);

89

static void drmach_board_dispose(drmachid_t id);

948

drmach_array_dispose(drmach_boards, drmach_board_dispose);

959

drmach_array_dispose(drmach_boards, drmach_board_dispose);

1210

drmach_array_dispose(drmach_boards, drmach_board_dispose);

1219

drmach_array_dispose(drmach_boards, drmach_board_dispose);

1810

drmach_board_dispose(bp);