Fixed bug in resource id defines.
authorRaphael Fuchs <raphaelfuchs@student.ethz.ch>
Sat, 5 May 2012 14:03:44 +0000 (16:03 +0200)
committerRaphael Fuchs <raphaelfuchs@student.ethz.ch>
Sat, 5 May 2012 14:03:44 +0000 (16:03 +0200)
commit7847b914abcf59877194d398f32ec2195e05cebd
tree095b6bd855d0edff8d7f6ab0876ddf7debb374e4
parent6cbce779414d0ae87f98ff0e9a3e36db3ff5c47c
Fixed bug in resource id defines.
include/barrelfish_kpi/types.h