/* * PAGE_OFFSET -- the first address of the first page of memory. With MMU * it is set to the kernel start address (aligned on a page boundary). * * CONFIG_KERNEL_START is defined in arch/microblaze/config.in and used * in arch/microblaze/Makefile.
*/ #define PAGE_OFFSET CONFIG_KERNEL_START
/* * The basic type of a PTE - 32 bit physical addressing.
*/ typedefunsignedlong pte_basic_t; #define PTE_FMT "%.8lx"
/* * These are used to make use of C type-checking..
*/ typedefstruct page *pgtable_t; typedefstruct { unsignedlong pte; } pte_t; typedefstruct { unsignedlong pgprot; } pgprot_t; /* FIXME this can depend on linux kernel version */ typedefstruct { unsignedlong pgd; } pgd_t;
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.