diff options
| author | Miles Bader <miles@gnu.org> | 1995-10-13 23:19:13 +0000 |
|---|---|---|
| committer | Miles Bader <miles@gnu.org> | 1995-10-13 23:19:13 +0000 |
| commit | 6825e15589f025492e22d89a693df7638f2cd8d3 (patch) | |
| tree | 05ff87063d4ed04ab149df03cdcf13581edfd812 /devio/dev.h | |
| parent | f61ca041068bd161d5011d58518625f860e2cc25 (diff) | |
(pager_unlock_page, pager_write_page, pager_read_page):
Use diskfs_device_{read,write}_synce instead of dev_{read,write}_sync.
(pager_report_extent): Calculate the pager size.
Diffstat (limited to 'devio/dev.h')
0 files changed, 0 insertions, 0 deletions
