HelenOS sources

kernel/generic/include/synch/smc.h
uspace/lib/c/include/smc.h
uspace/lib/posix/include/libc/smc.h