Searched refs:make_qemu_pidfile_name (Results 1 - 1 of 1) sorted by relevance

/haiku/3rdparty/mmu_man/onlinedemo/
H A Dhaiku.php158 function make_qemu_pidfile_name($idx) function
171 $pidfile = make_qemu_pidfile_name($idx);
196 $pidfile = make_qemu_pidfile_name($idx);
503 $pidfile = make_qemu_pidfile_name($idx);
568 $pidfile = make_qemu_pidfile_name($qemuidx);

Completed in 28 milliseconds