/c/src/lib/libbsp/shared/smp/
../
bspsmp_wait_for.c
getcpuid.c
smp_stub.c