diff options
| author | Thomas Bushnell <thomas@gnu.org> | 1997-04-18 21:08:49 +0000 |
|---|---|---|
| committer | Thomas Bushnell <thomas@gnu.org> | 1997-04-18 21:08:49 +0000 |
| commit | 6e021c0be78490eaaaf31a3155b0845c257e066c (patch) | |
| tree | df40a3e3f4d33643637bb784c10954cf6015a096 | |
| parent | e34b180ab96587b999f26f0e8298fa2f24e5afa1 (diff) | |
typo
| -rw-r--r-- | serverboot/default_pager.c | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/serverboot/default_pager.c b/serverboot/default_pager.c index b562ab43..533fe2de 100644 --- a/serverboot/default_pager.c +++ b/serverboot/default_pager.c @@ -2388,6 +2388,7 @@ seqnos_memory_object_data_write(pager, seqno, pager_request, vm_size_t amount_sent; default_pager_t ds; static char here[] = "%sdata_write"; + int err #ifdef lint pager_request++; @@ -2436,10 +2437,11 @@ seqnos_memory_object_data_write(pager, seqno, pager_request, } pager_port_finish_write(ds); - result = vm_deallocate(default_pager_self, addr, data_cnt); - if (result != KERN_SUCCESS) + err = vm_deallocate(default_pager_self, addr, data_cnt); + if (err != KERN_SUCCESS) { - printf ("fail 3: %s %s %s %s\n", default_pager_self, addr, data_cnt, result) + printf ("fail 3: %s %s %s %s\n", default_pager_self, addr, data_cnt, err); + panic(here,my_name); } |