/* Automatically generated by remote_generator.pl. * Do not edit this file. Any changes you make will be lost. */ /* qemuDispatchMonitorCommand has to be implemented manually */