diff options
| author | Miles Bader <miles@gnu.org> | 1996-09-23 17:37:40 +0000 |
|---|---|---|
| committer | Miles Bader <miles@gnu.org> | 1996-09-23 17:37:40 +0000 |
| commit | 4aa13a819cb11bf5fe1b80e0758db5d280721ccb (patch) | |
| tree | d80ea4b6c43da19ae148905b63328d537a44ff2e /libhurdbugaddr | |
| parent | 90d22ae2c45839cbb30a97d51f9fa9775facf1b3 (diff) | |
(sync_global_ptr):
Use DISKFS_DISK_PAGER instead of DISK_PAGER.
(store):
New declaration.
(disk_image):
New declaration.
(get_page_buf, free_page_buf):
Declarations removed.
(store_parsed, store_name):
New declarations.
Diffstat (limited to 'libhurdbugaddr')
0 files changed, 0 insertions, 0 deletions