machine_get_state 77 src/machine/machine-dbus.c state = machine_state_to_string(machine_get_state(m)); machine_get_state 95 src/machine/machine.h MachineState machine_get_state(Machine *u);