HelenOS sources

uspace/app/sbi/src/os/os.h
uspace/lib/bithenge/include/bithenge/os.h