Symbol: GEN6_PTE_VALID