some renaming
[barrelfish] / include / octopus / definitions.h
2012-03-16 Gerd Zellwegersome renaming