projects / barrelfish / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: be7408c) | patch
libbarrelfish: Rename the header lib/barrelfish/include/threads.h to
authorRaphael Fuchs <raphaelfuchs@student.ethz.ch>
Thu, 25 Oct 2012 07:04:47 +0000 (09:04 +0200)
committerRaphael Fuchs <raphaelfuchs@student.ethz.ch>
Thu, 25 Oct 2012 07:04:47 +0000 (09:04 +0200)
commitdffaedf8b19d73f129b7ba55ee418481baf607cd
treec8c5c3a3d61b9ce293f8b9ac0f228130925d0a55tree | snapshot
parentbe7408cb97628e4ef8b05eaaa5531501ac21292dcommit | diff
libbarrelfish: Rename the header lib/barrelfish/include/threads.h to
               lib/barrelfish/include/threads_priv.h.

To avoid confusion between the public and the private thread header, rename
the libbarrelfish-private thread header to threads_priv.h.

--HG--
rename : lib/barrelfish/include/threads.h => lib/barrelfish/include/threads_priv.h
15 files changed:
lib/barrelfish/arch/arm/dispatch.c diff | blob | history
lib/barrelfish/arch/x86/tls.c diff | blob | history
lib/barrelfish/arch/x86_32/dispatch.c diff | blob | history
lib/barrelfish/arch/x86_64/dispatch.c diff | blob | history
lib/barrelfish/dispatch.c diff | blob | history
lib/barrelfish/domain.c diff | blob | history
lib/barrelfish/event_mutex.c diff | blob | history
lib/barrelfish/include/arch/arm/arch/registers.h diff | blob | history
lib/barrelfish/include/target/x86_32/registers_target.h diff | blob | history
lib/barrelfish/include/target/x86_64/registers_target.h diff | blob | history
lib/barrelfish/include/threads_priv.h [moved from lib/barrelfish/include/threads.h with 96% similarity] diff | blob | history
lib/barrelfish/init.c diff | blob | history
lib/barrelfish/thread_sync.c diff | blob | history
lib/barrelfish/threads.c diff | blob | history
lib/barrelfish/waitset.c diff | blob | history
Barrelfish OS git repo