diff options
| author | Justus Winter <justus@gnupg.org> | 2017-08-11 22:00:09 +0200 |
|---|---|---|
| committer | Justus Winter <justus@gnupg.org> | 2017-08-12 12:33:54 +0200 |
| commit | 2996a4cfe987e6feb7c705354908ae2e59366d65 (patch) | |
| tree | 151a104a0bfa9902297a1b787a0c62e1a37295d8 /ddb/db_variables.c | |
| parent | e8b45fe8b5c6801f60e2825d09a2bda22e80372a (diff) | |
| download | gnumach-2996a4cfe987e6feb7c705354908ae2e59366d65.tar.gz gnumach-2996a4cfe987e6feb7c705354908ae2e59366d65.tar.bz2 gnumach-2996a4cfe987e6feb7c705354908ae2e59366d65.zip | |
vm: Mute paging error message.
* vm/vm_fault.c (vm_fault_page): Mute paging error message if the
objects pager is NULL. This happens when a pager is destroyed,
e.g. at system shutdown time when the root filesystem terminates.
Diffstat (limited to 'ddb/db_variables.c')
0 files changed, 0 insertions, 0 deletions