Symbol: vdo_get_current_manager_operation