Symbol: PIR_EL2