50 struct virtual_machine_info {  struct
61 	LIST_ENTRY(virtual_machine_info) vms_info;  argument
64 LIST_HEAD(, virtual_machine_info) vm_list_head;
66 static struct virtual_machine_info *
69 	struct virtual_machine_info *info;  in find_domain_by_name()
78 update_pcpus_mask(struct virtual_machine_info *vm_info)  in update_pcpus_mask()
139 	struct virtual_machine_info *vm_info;  in set_pcpu()
192 	struct virtual_machine_info *vm_info =  in get_pcpu()
193 			(struct virtual_machine_info *)chan_info->priv_info;  in get_pcpu()
206 channel_exists(struct virtual_machine_info *vm_info, unsigned channel_num)  in channel_exists()
316 setup_channel_info(struct virtual_machine_info **vm_info_dptr,  in setup_channel_info()
320 	struct virtual_machine_info *vm_info = *vm_info_dptr;  in setup_channel_info()
399 	struct virtual_machine_info *vm_info;  in add_all_channels()
493 	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()