w95_set_virtual_machine_title  255 src/dosfns.c   int w95_set_virtual_machine_title (const char *);
w95_set_virtual_machine_title  263 src/dosfns.c       w95_set_virtual_machine_title (parent_vm_title);
w95_set_virtual_machine_title  476 src/dosfns.c         w95_set_virtual_machine_title (SDATA (name));