Changeset 94d211e in mainline for kernel/arch/ia32/src/vreg.c

Timestamp:

2018-03-21T19:32:48Z (6 years ago)

Author:

Jiří Zárevúcky <zarevucky.jiri@…>

Children:

1c7a170

Parents:

973be387

Message:

Change the way page flags work. TODO description

File:

• kernel/arch/ia32/src/vreg.c (modified) (1 diff)

kernel/arch/ia32/src/vreg.c

@@ -68 +68 @@
 
         page = (uint32_t *) km_map(frame, PAGE_SIZE,
-            PAGE_READ | PAGE_WRITE | PAGE_USER | PAGE_CACHEABLE);
+            PAGE_READ_WRITE | PAGE_USER | PAGE_CACHEABLE);
 
         gdt_setbase(&gdt_p[VREG_DES], (uintptr_t) page);