[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Lost] [Patch] kernel: RPC-Parameter prüfen

Am Samstag, 9. Februar 2008 11.00:07 schrieb Antoine Kaufmann:
> Sieht gut aus. Ich würde sagen: Rein damit.

Ok, wie sich herausgestellt hat, sieht das doch nicht so gut aus. ;-) Hier ein 
Patch der das ändert.

Index: src/kernel/src/mm/paging.c
===================================================================
--- src/kernel/src/mm/paging.c	(Revision 703)
+++ src/kernel/src/mm/paging.c	(Arbeitskopie)
@@ -345,6 +345,10 @@
 {
     dword pte = get_pagetable_entry(page_directory, vaddr);
     
+    if ((pte & PTE_P) == 0) {
+        return NULL;
+    }
+
     if ((pte & PTE_PS) == 0) {
         return (paddr_t) ((pte & ~0xFFF) | ((dword) vaddr & 0xFFF));
     } else {