void init_watch(int num_resources);
int request_watch(int clientid,int id,int value);
int release_watch(int clientid);
int watch_update_resource(int id,int value);
int watch_get_next_client();
void dump_watch(int n);
/*
  Author: Michael Schmidt (michael@embeddedARM.com)
 */