Queued patch 2, thanks.  I think the issue in patch 1 is also clarified
by merging host_cpu_instance_init() with host_cpu_max_instance_init().

Paolo


Reply via email to