* @author Philip Levis
*/
-generic module ArbiterP(uint8_t default_owner_id) {
+generic module ArbiterP(uint8_t default_owner_id) @safe() {
provides {
interface Resource[uint8_t id];
interface ResourceRequested[uint8_t id];
call ResourceConfigure.unconfigure[id]();
signal ResourceDefaultOwner.granted();
}
+ return SUCCESS;
}
}
return FAIL;