coreboot-kgpe-d16/src/include/smp
..
atomic.h
node.h
spinlock.h