diff options
author | Thomas Bushnell <thomas@gnu.org> | 1997-04-18 21:07:16 +0000 |
---|---|---|
committer | Thomas Bushnell <thomas@gnu.org> | 1997-04-18 21:07:16 +0000 |
commit | 704657c8f746a408dc84404e77a40bcf98d218dc (patch) | |
tree | f7ac82476941488b66e4664ce2de348e87e72d3a /serverboot | |
parent | b02a82a8a38a258c05f8ba88ba08a6aac40ff7a9 (diff) |
add debugging.
Diffstat (limited to 'serverboot')
-rw-r--r-- | serverboot/default_pager.c | 17 |
1 files changed, 15 insertions, 2 deletions
diff --git a/serverboot/default_pager.c b/serverboot/default_pager.c index 90cc4f6b..b562ab43 100644 --- a/serverboot/default_pager.c +++ b/serverboot/default_pager.c @@ -2394,11 +2394,19 @@ seqnos_memory_object_data_write(pager, seqno, pager_request, #endif lint if ((data_cnt % vm_page_size) != 0) + { + printf ("fail 1: %d %d\n", data_cnt, vm_page_size); panic(here,my_name); + } + ds = pager_port_lookup(pager); if (ds == DEFAULT_PAGER_NULL) + { + printf ("fail 2: %d %d\n", pager, ds); panic(here,my_name); + } + pager_port_lock(ds, seqno); pager_port_check_request(ds, pager_request); pager_port_start_write(ds); @@ -2428,8 +2436,13 @@ seqnos_memory_object_data_write(pager, seqno, pager_request, } pager_port_finish_write(ds); - if (vm_deallocate(default_pager_self, addr, data_cnt) != KERN_SUCCESS) - panic(here,my_name); + result = vm_deallocate(default_pager_self, addr, data_cnt); + if (result != KERN_SUCCESS) + { + printf ("fail 3: %s %s %s %s\n", default_pager_self, addr, data_cnt, result) + panic(here,my_name); + } + return(KERN_SUCCESS); } |