| 475 | } |
| 476 | |
| 477 | void |
| 478 | bflush(int fd) |
| 479 | { |
| 480 | int idx = getidx(fd, NOFLG); |
| 481 | |
| 482 | if (idx >= 0) { |
| 483 | #ifdef USE_BUFFERING |
| 484 | if (bw_FILE[idx]) { |
| 485 | if (fflush(bw_FILE[idx]) == EOF) |
| 486 | panic("flush of savefile failed!"); |
| 487 | } |
| 488 | #endif |
| 489 | } |
| 490 | return; |
| 491 | } |
| 492 | |
| 493 | void |
| 494 | bwrite(int fd, const genericptr_t loc, unsigned num) |
no test coverage detected