Symbol: __GIC_BARRIER_INSN