*/
extern surf_callback(void, WorkstationVMPtr) workstationVMDestructedCallbacks;
/** @ingroup SURF_callbacks
* @brief Callbacks handler which emit the callbacks after WorkstationVM State changed *
*/
extern surf_callback(void, WorkstationVMPtr) workstationVMDestructedCallbacks;
/** @ingroup SURF_callbacks
* @brief Callbacks handler which emit the callbacks after WorkstationVM State changed *