-
-unsigned long RemoteProcess::get_maxpid() const
-{
- unsigned long maxpid;
- this->read_bytes(&maxpid, sizeof(unsigned long), remote(maxpid_addr_));
- return maxpid;
-}
-
-void RemoteProcess::get_actor_vectors(RemotePtr<s_xbt_dynar_t>& actors, RemotePtr<s_xbt_dynar_t>& dead_actors)
-{
- actors = remote(static_cast<s_xbt_dynar_t*>(actors_addr_));
- dead_actors = remote(static_cast<s_xbt_dynar_t*>(dead_actors_addr_));
-}