Symbol: make_qemu_pidfile_name
3rdparty/mmu_man/onlinedemo/haiku.php
171
$pidfile = make_qemu_pidfile_name($idx);
3rdparty/mmu_man/onlinedemo/haiku.php
196
$pidfile = make_qemu_pidfile_name($idx);
3rdparty/mmu_man/onlinedemo/haiku.php
503
$pidfile = make_qemu_pidfile_name($idx);
3rdparty/mmu_man/onlinedemo/haiku.php
568
$pidfile = make_qemu_pidfile_name($qemuidx);