summaryrefslogtreecommitdiff
path: root/serverboot
diff options
context:
space:
mode:
authorThomas Bushnell <thomas@gnu.org>1997-04-18 21:07:16 +0000
committerThomas Bushnell <thomas@gnu.org>1997-04-18 21:07:16 +0000
commit704657c8f746a408dc84404e77a40bcf98d218dc (patch)
treef7ac82476941488b66e4664ce2de348e87e72d3a /serverboot
parentb02a82a8a38a258c05f8ba88ba08a6aac40ff7a9 (diff)
add debugging.
Diffstat (limited to 'serverboot')
-rw-r--r--serverboot/default_pager.c17
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);
}