|
@ -347,7 +347,6 @@ default_check() { |
|
|
'PDE(001) fac00000-fb000000 00400000 -rw' \ |
|
|
'PDE(001) fac00000-fb000000 00400000 -rw' \ |
|
|
' |-- PTE(000e0) faf00000-fafe0000 000e0000 urw' \ |
|
|
' |-- PTE(000e0) faf00000-fafe0000 000e0000 urw' \ |
|
|
' |-- PTE(00001) fafeb000-fafec000 00001000 -rw' \ |
|
|
' |-- PTE(00001) fafeb000-fafec000 00001000 -rw' \ |
|
|
'check_slob() succeeded!' \ |
|
|
|
|
|
'check_vma_struct() succeeded!' \ |
|
|
'check_vma_struct() succeeded!' \ |
|
|
'page fault at 0x00000100: K/W [no page found].' \ |
|
|
'page fault at 0x00000100: K/W [no page found].' \ |
|
|
'check_pgfault() succeeded!' \ |
|
|
'check_pgfault() succeeded!' \ |
|
|