genode/repos/base/include/arm_v5/cpu
..
memory_barrier.h