Changeset 4b1c7c6f in mainline for kernel/generic/src/main/kinit.c

Timestamp:

2018-03-16T20:57:16Z (7 years ago)

Author:

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

Children:

6be2c13

Parents:

973be387

git-author:

Jiří Zárevúcky <zarevucky.jiri@…> (2018-03-16 20:51:59)

git-committer:

Jiří Zárevúcky <zarevucky.jiri@…> (2018-03-16 20:57:16)

Message:

Clean up PAGE_* flags.

Remove "nop flags", they are confusing for readers and any benefit they would
gain in self-documentation they lose in being used inconsistently.

Remove "PAGE_READ", the only place it's used meaningfully is the incomplete
RISC-V implementation, and most call sites assume read is implied.

File:

• kernel/generic/src/main/kinit.c (modified) (1 diff)

kernel/generic/src/main/kinit.c

@@ -250 +250 @@
                 uintptr_t page = km_map(init.tasks[i].paddr,
                     init.tasks[i].size,
-                    PAGE_READ | PAGE_WRITE | PAGE_CACHEABLE);
+                    PAGE_WRITE | PAGE_CACHEABLE);
                 assert(page);