../../../../../../../kernel/arch/amd64/include/arch/barrier.h