#if defined(CONFIG_CPU_MIPS32) && defined(CONFIG_64BIT_PHYS_ADDR)
#define _PAGE_PRESENT
(1<<6) /* implemented in software */
#define _PAGE_READ
(1<<7) /* implemented in software */
#define _PAGE_WRITE
(1<<8) /* implemented in software */
#define _PAGE_ACCESSED
(1<<9) /* implemented in software */
#define _PAGE_MODIFIED
(1<<10) /* implemented in software */
#define _PAGE_R4KBUG
(1<<0) /* workaround for r4k bug */
#define _PAGE_GLOBAL
(1<<0)
Is the aliasing between R4KBUG & GLOBAL intentional?
This is the only CONFIG case where it
is done. Superficially, I can't see R4KBUG used anywhere,
so maybe it doesn't matter. But
if R4KBUG truly isn't used, why not consider removing it entirely
from all PTE layouts?
/Hartvig
