int *weight);
+/**
+ * frsh_get_remaining_stability_time()
+ *
+ * This operation returns the remaining_stability_time for the server.
+ *
+ * @return 0 if successful
+ * FRSH_ERR_BAD_ARGUMENT : if the value of the server argument is not in range or
+ * capacity is NULL
+ * FRSH_ERR_NOT_SCHEDULED_CALLING_THREAD : if the calling thread is not
+ * scheduled under the FRSH
+ * FRSH_ERR_INVALID_SCHEDULER_REPLY : the scheduler is wrong or not running
+ * FRSH_ERR_NOT_CONTRACTED_SERVER : if the server has been cancelled or it
+ * is not valid
+ *
+ **/
+int frsh_get_remaining_stability_time(frsh_server_id server,
+ struct timespec *remaining_stability_time);
/**
* frsh_get_available_capacity()