From mboxrd@z Thu Jan 1 00:00:00 1970 From: Keir Fraser Subject: Re: [PATCH 1/1] Xen ARINC 653 Scheduler (updated to add support for CPU pools) Date: Fri, 18 Jun 2010 18:49:10 +0100 Message-ID: References: Mime-Version: 1.0 Content-Type: text/plain; charset="US-ASCII" Content-Transfer-Encoding: 7bit Return-path: In-Reply-To: List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Sender: xen-devel-bounces@lists.xensource.com Errors-To: xen-devel-bounces@lists.xensource.com To: Kathy Hadley , George Dunlap Cc: "xen-devel@lists.xensource.com" List-Id: xen-devel@lists.xenproject.org On 18/06/2010 18:35, "Kathy Hadley" wrote: > xc_sched_arinc653_sched_set( > xc_interface *xch, > xen_sysctl_sched_arinc653_schedule_t * sched) > { > DECLARE_SYSCTL; > > sysctl.cmd = XEN_SYSCTL_scheduler_op; > sysctl.u.scheduler_op.sched_id = XEN_SCHEDULER_ARINC653; > sysctl.u.scheduler_op.cmd = XEN_SYSCTL_SCHEDOP_putinfo; > set_xen_guest_handle(sysctl.u.scheduler_op.u.arinc653.schedule, sched); > > return do_sysctl(xch, &sysctl); > } > > In this function, which executes in Dom0, how do I determine the cpupool_id > that I need to set in the sysctl data structure? It would be passed in to you? Or if you don't care about cpu pools you can just set it to zero. That's the default cpupool created at boot time which all CPUs are bound to by default. -- Keir