Symbol: ZPCI_PTE_VALID_MASK