diff options
| author | Miles Bader <miles@gnu.org> | 1996-08-02 16:28:20 +0000 |
|---|---|---|
| committer | Miles Bader <miles@gnu.org> | 1996-08-02 16:28:20 +0000 |
| commit | 527767871fc15d813c7468134ffc1c7fff3b075e (patch) | |
| tree | 46da4e5592ed21fc012e82c2d4303fd926879dc8 /proc/exc-reply.defs | |
| parent | 2d3478e37159ebd7ba0d73390b2af5b32a34cc32 (diff) | |
(diskfs_write_disknode):
If WAIT is false, still record the write for later, using record_global_poke.
Diffstat (limited to 'proc/exc-reply.defs')
0 files changed, 0 insertions, 0 deletions