void ves_details_free(ves_details_t *instance);
controller_details_t *controller_details_get(sr_session_ctx_t *current_session);
void ves_details_free(ves_details_t *instance);
controller_details_t *controller_details_get(sr_session_ctx_t *current_session);