diff options
Diffstat (limited to 'debian/patches/0001-xxx-notes.patch')
| -rw-r--r-- | debian/patches/0001-xxx-notes.patch | 39 |
1 files changed, 0 insertions, 39 deletions
diff --git a/debian/patches/0001-xxx-notes.patch b/debian/patches/0001-xxx-notes.patch deleted file mode 100644 index c4e3679..0000000 --- a/debian/patches/0001-xxx-notes.patch +++ /dev/null @@ -1,39 +0,0 @@ -From 2262aec645a8bb431a6acf76624fd01468ca0715 Mon Sep 17 00:00:00 2001 -From: Justus Winter <4winter@informatik.uni-hamburg.de> -Date: Sat, 21 Feb 2015 00:05:31 +0100 -Subject: [PATCH gnumach 1/3] xxx notes - ---- - vm/vm_pageout.c | 2 ++ - vm/vm_resident.c | 2 +- - 2 files changed, 3 insertions(+), 1 deletion(-) - -diff --git a/vm/vm_pageout.c b/vm/vm_pageout.c -index c4aba96..cee37ce 100644 ---- a/vm/vm_pageout.c -+++ b/vm/vm_pageout.c -@@ -681,6 +681,8 @@ void vm_pageout_scan(void) - /*NOTREACHED*/ - } - -+ // xxx try to drop a clean page here -+ - vm_pageout_inactive++; - - /* Find a page we are interested in paging out. If we -diff --git a/vm/vm_resident.c b/vm/vm_resident.c -index b65b756..92b2397 100644 ---- a/vm/vm_resident.c -+++ b/vm/vm_resident.c -@@ -666,7 +666,7 @@ void vm_page_remove( - bucket->pages = mem->next; - } else { - vm_page_t *prev; -- -+ // XXX linear scan - for (prev = &this->next; - (this = *prev) != mem; - prev = &this->next) --- -2.1.4 - |