Symbol: CPTR_EL2