Symbol: PTE_TYPE_FAULT