Symbol: PTE_4KFRAME
sys/arch/amd64/include/pte.h
125
#define PTE_4KFRAME 0x000ffffffffff000
sys/arch/i386/include/pte.h
127
#define PTE_4KFRAME 0x000ffffffffff000ULL
sys/arch/i386/include/pte.h
150
#define PTE_4KFRAME 0xfffff000