Symbol: pi1ppc_barrier_r