char *instr_vm_id (msg_vm_t vm, char *str, int len)
{
- return instr_vm_id_2 (MSG_vm_get_name(vm), str, len);
+ return instr_vm_id_2(MSG_host_get_name(vm), str, len);
}
char *instr_vm_id_2 (const char *vm_name, char *str, int len)
}
}
-void TRACE_msg_vm_create(const char *vm_name, msg_host_t host)
-{
- if (TRACE_msg_vm_is_enabled()){
- int len = INSTR_DEFAULT_STR_SIZE;
- char str[INSTR_DEFAULT_STR_SIZE];
-
- container_t host_container = PJ_container_get (sg_host_get_name(host));
- PJ_container_new(instr_vm_id_2(vm_name, str, len), INSTR_MSG_VM, host_container);
- }
-}
-
void TRACE_msg_vm_start(msg_vm_t vm)
{
if (TRACE_msg_vm_is_enabled()){