make_qemu_pidfile_name
$pidfile = make_qemu_pidfile_name($idx);
$pidfile = make_qemu_pidfile_name($qemuidx);