Lines Matching defs:resource_id

172 	int resource_id;
310 		resource_id = get_resource_id_from_vmname(vm_name);
311 		if (resource_id < 0) {
313 				"Could not get resource_id from vm_name:%s\n",
318 		pkt->resource_id = resource_id;
726 	unsigned int vcore_id = pkt->resource_id;
762 	unsigned int vcore_id = pkt->resource_id;
841 			core_num = get_pcpu(chan_info, pkt->resource_id);
843 			core_num = pkt->resource_id;