Introduce page colors. So far, only sparc64 uses correct page color bits. Other archi...
commitd0485c6a1e50e0398bb04d70d1e1ed89ea3db22a
authorJakub Jermar <jakub@jermar.eu>
Fri, 1 Dec 2006 22:10:40 +0000 (1 22:10 +0000)
committerJakub Jermar <jakub@jermar.eu>
Fri, 1 Dec 2006 22:10:40 +0000 (1 22:10 +0000)
treebb635e357ff4056d94ded7ad4606b416e21be02c
parent7bf7ef77b559bde9e785ddbc26c19e06dd0ff54c
Introduce page colors. So far, only sparc64 uses correct page color bits. Other architectures have a dummy define
specifying zero bits for a page color.

There is a new check of page color in as_area_share(). Because of lack of support for this in the userspace, the
check has been #ifef'ed out.
kernel/arch/amd64/include/mm/page.h
kernel/arch/ia32/include/mm/page.h
kernel/arch/ia32xen/include/mm/page.h
kernel/arch/ia64/include/mm/page.h
kernel/arch/mips32/include/mm/page.h
kernel/arch/ppc32/include/mm/page.h
kernel/arch/ppc64/include/mm/page.h
kernel/arch/sparc64/include/mm/page.h
kernel/genarch/src/mm/asid_fifo.c
kernel/generic/include/mm/page.h
kernel/generic/src/mm/as.c