Definition at line 2255 of file drivectrl.cc.
Referenced by StateMachineDrive< T, S >::StateMachineDrive().