Searched refs:vcpu_filename (Results 1 – 1 of 1) sorted by relevance
60 g_autofree gchar *vcpu_filename = NULL; in vcpu_init() local63 vcpu_filename = g_strdup_printf("%s.%u.bb", filename, vcpu_index); in vcpu_init()64 vcpu->file = fopen(vcpu_filename, "w"); in vcpu_init()