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