../../../mips32/include/libarch/barrier.h