Symbol: ZPCI_PTE_INVALID