Symbol: PTE_PCD
sys/arch/amd64/include/pte.h
113
#define PTE_PCD 0x0000000000000010 /* Cache-Disable */
sys/arch/i386/include/pte.h
165
#define PTE_PCD 0x00000010 /* Cache-Disable */