dist2 include rename
authorGerd Zellweger <zgerd@student.ethz.ch>
Fri, 16 Mar 2012 20:58:34 +0000 (21:58 +0100)
committerGerd Zellweger <zgerd@student.ethz.ch>
Fri, 16 Mar 2012 20:58:34 +0000 (21:58 +0100)
commit0bc8d3f588e103dbd8f349c4d94a5bd24829749f
tree8f6c32e92ef83c740bb394d2fc288bd0637c9c60
parenta11e74ccb58ba29680156d6765cdfcf910de09b1
dist2 include rename

--HG--
branch : octopus.renaming
17 files changed:
usr/acpi/acpi_main.c
usr/kaluga/common.c
usr/kaluga/kaluga.h
usr/kaluga/main.c
usr/kaluga/start_cpu.c
usr/kaluga/start_pci.c
usr/tests/dist2test/d2barrier.c
usr/tests/dist2test/d2bench.c
usr/tests/dist2test/d2bench1.c
usr/tests/dist2test/d2bench2.c
usr/tests/dist2test/d2bench3.c
usr/tests/dist2test/d2getset.c
usr/tests/dist2test/d2locksimple.c
usr/tests/dist2test/d2pubsub.c
usr/tests/dist2test/d2read.c
usr/tests/dist2test/d2sem.c
usr/tests/dist2test/d2trigger.c