Searched refs:qemu_pid (Results 1 – 1 of 1) sorted by relevance
176 echo Monitoring qemu job at pid $qemu_pid180 if kill -0 $qemu_pid > /dev/null 2>&1207 echo Grace period for qemu job at pid $qemu_pid211 if kill -0 $qemu_pid > /dev/null 2>&1219 echo "!!! PID $qemu_pid hung at $kruntime vs. $seconds seconds" >> $resdir/Warnings 2>&1220 kill -KILL $qemu_pid