diff options
| author | https://www.google.com/accounts/o8/id?id=AItOawm-Xq-lkj9CJZu31fqMOcKoGTS_zXlc8nY <Miguel@web> | 2013-06-04 22:15:21 +0200 |
|---|---|---|
| committer | GNU Hurd web pages engine <web-hurd@gnu.org> | 2013-06-04 22:15:21 +0200 |
| commit | f537fdf2fb3f700d5e6551b619277a2c58c11420 (patch) | |
| tree | 7e30c8e8165cca64c6b8a1380c4963c37892be17 | |
| parent | ae0c78c9f3503c75a9de71464076a300d7e402ee (diff) | |
| -rw-r--r-- | open_issues/gnumach_vm_object_resident_page_count.mdwn | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/open_issues/gnumach_vm_object_resident_page_count.mdwn b/open_issues/gnumach_vm_object_resident_page_count.mdwn index cc1b8897..9b16fc1d 100644 --- a/open_issues/gnumach_vm_object_resident_page_count.mdwn +++ b/open_issues/gnumach_vm_object_resident_page_count.mdwn @@ -20,3 +20,7 @@ License|/fdl]]."]]"""]] <braunr> luckily, this should be easy to solve `vm/vm_object.h:vm_object:resident_page_count`. + + +resident_page_count it's now an int. +The topic it's fixed. |