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 | afb84a8b6f3b719be1feb0e96c80ba402153476c (patch) | |
| tree | f3c71c7921e12a58a99115956f31433ef079a206 /serverboot/default_pager.c | |
| parent | 704657c8f746a408dc84404e77a40bcf98d218dc (diff) | |
typo
Diffstat (limited to 'serverboot/default_pager.c')
| -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); } |