../../../../../../kernel/arch/ia32/include/barrier.h