52 struct virtual_machine_info {  struct
63 	LIST_ENTRY(virtual_machine_info) vms_info;  argument
66 LIST_HEAD(, virtual_machine_info) vm_list_head;
68 static struct virtual_machine_info *
71 	struct virtual_machine_info *info;  in find_domain_by_name()
80 update_pcpus_mask(struct virtual_machine_info *vm_info)  in update_pcpus_mask()
141 	struct virtual_machine_info *vm_info;  in set_pcpu()
194 	struct virtual_machine_info *vm_info =  in get_pcpu()
195 			(struct virtual_machine_info *)chan_info->priv_info;  in get_pcpu()
208 channel_exists(struct virtual_machine_info *vm_info, unsigned channel_num)  in channel_exists()
318 setup_channel_info(struct virtual_machine_info **vm_info_dptr,  in setup_channel_info()
322 	struct virtual_machine_info *vm_info = *vm_info_dptr;  in setup_channel_info()
401 	struct virtual_machine_info *vm_info;  in add_all_channels()
495 	struct virtual_machine_info *vm_info;  in add_channels()
626 	struct virtual_machine_info *vm_info;  in remove_channel()
631 	vm_info = (struct virtual_machine_info *)chan_info->priv_info;  in remove_channel()
645 	struct virtual_machine_info *vm_info;  in set_channel_status_all()
679 	struct virtual_machine_info *vm_info;  in set_channel_status()
772 	struct virtual_machine_info *vm_info;  in get_info_vm()
819 	struct virtual_machine_info *new_domain;  in add_vm()
888 	struct virtual_machine_info *vm_info = find_domain_by_name(vm_name);  in remove_vm()
913 	struct virtual_machine_info *vm_info;  in set_query_status()
1008 	struct virtual_machine_info *vm_info;  in channel_manager_exit()