added code for debugging pagefaults

This commit is contained in:
Ben Gras
2008-12-16 14:33:53 +00:00
parent 4be5b6f437
commit 710f44c4b8
2 changed files with 7 additions and 4 deletions

View File

@@ -54,7 +54,7 @@ _PROTOTYPE( int sys_vmctl_get_pagefault_i386, (endpoint_t *who, u32_t *cr2, u32_
_PROTOTYPE( int sys_vmctl_get_cr3_i386, (endpoint_t who, u32_t *cr3) );
_PROTOTYPE( int sys_vmctl_get_memreq, (endpoint_t *who, vir_bytes *mem,
vir_bytes *len, int *wrflag) );
_PROTOTYPE( int sys_vmctl_stacktrace(endpoint_t who));
_PROTOTYPE( int sys_vmctl_stacktrace, (endpoint_t who));