Symbol: PTE_BITS_MUST_MATCH