/* the upper-most page table pointer */ extern pmd_t *top_pmd;
externint icache_size;
/* * 0xffff8000 to 0xffffffff is reserved for any ARM architecture * specific hacks for copying pages efficiently, while 0xffff4000 * is reserved for VIPT aliasing flushing by generic code. * * Note that we don't allow VIPT aliasing caches with SMP.
*/ #define COPYPAGE_MINICACHE 0xffff8000 #define COPYPAGE_V6_FROM 0xffff8000 #define COPYPAGE_V6_TO 0xffffc000 /* PFN alias flushing, for VIPT caches */ #define FLUSH_ALIAS_START 0xffff4000
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.