/src/soc/amd/picasso/psp_verstage/include/arch/smp/
../
spinlock.h