diff options
| author | Miles Bader <miles@gnu.org> | 1996-08-29 20:54:17 +0000 |
|---|---|---|
| committer | Miles Bader <miles@gnu.org> | 1996-08-29 20:54:17 +0000 |
| commit | 205739da2b1f799eb5f744bf6d76aa67ee9ae320 (patch) | |
| tree | 921fc01ba42a348503c840789caa6d572dd4cf56 /benchmarks | |
| parent | 184bbe142aa0cfe33957d1fd3760a9087d2d0ac6 (diff) | |
(file_pager_read_page): Use get_page_buf to get a free page.
(file_pager_read_page): Use free_page_buf to deallocate pages.
Diffstat (limited to 'benchmarks')
0 files changed, 0 insertions, 0 deletions