From mboxrd@z Thu Jan  1 00:00:00 1970
From: "amin.fallahi@gmail.com" <amin.fallahi@gmail.com>
Subject: Cannot boot into Dom0 after reading vcpu_info in
	sched_credit
Date: Mon, 26 Oct 2015 17:28:54 +0000
Message-ID: <CAF-KA89mTe45zes=oAzJyuO6VTGda9wFWqpxUKeGFH8VfxeuCA@mail.gmail.com>
Mime-Version: 1.0
Content-Type: multipart/mixed; boundary="===============7829137959569867544=="
Return-path: <xen-devel-bounces@lists.xen.org>
List-Unsubscribe: <http://lists.xen.org/cgi-bin/mailman/options/xen-devel>,
	<mailto:xen-devel-request@lists.xen.org?subject=unsubscribe>
List-Post: <mailto:xen-devel@lists.xen.org>
List-Help: <mailto:xen-devel-request@lists.xen.org?subject=help>
List-Subscribe: <http://lists.xen.org/cgi-bin/mailman/listinfo/xen-devel>,
	<mailto:xen-devel-request@lists.xen.org?subject=subscribe>
Sender: xen-devel-bounces@lists.xen.org
Errors-To: xen-devel-bounces@lists.xen.org
To: "xen-devel@lists.xen.org" <xen-devel@lists.xen.org>
List-Id: xen-devel@lists.xenproject.org

--===============7829137959569867544==
Content-Type: multipart/alternative; boundary=001a113dfa5e342e7f0523054ca5

--001a113dfa5e342e7f0523054ca5
Content-Type: text/plain; charset=UTF-8

Hi there
I need to access event channel mask and pending bits for a vcpu in
sched_credit.c. Thus I'm trying to get and print this info in runq_insert
using vcpu_info like this:
printk("\nhello %d %d
\n",vcpu_info(svc->vcpu,evtchn_upcall_mask),vcpu_info(svc->vcpu,evtchn_upcall_pending));

After compiling and resinstalling (of course without any errors) I reboot
my Dom0 but the machine does not boot with Xen and gets rebooted after
bootloader.
The same printk works without any problem when I use it in event_channel.c
to print those info.
So there are a few questions:
1. Any idea what is the reason of reboot and how to fix it?
2. Any idea how can I examine logs to find out the problem? Where and what
should I look for?
3. Any ideas to access per vcpu mask and pending bits in sched_credit.c
functions (e.g. runq_insert or runq_sort)
Thanks all

--001a113dfa5e342e7f0523054ca5
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><div><div><div><div><div><div><div>Hi there<br></div>I nee=
d to access=20
event channel mask and pending bits for a vcpu in sched_credit.c. Thus=20
I&#39;m trying to get and print this info in runq_insert using vcpu_info=20
like this:<br>printk(&quot;\nhello %d %d \n&quot;,vcpu_info(svc-&gt;vcpu,ev=
tchn_upcall_mask),vcpu_info(svc-&gt;vcpu,evtchn_upcall_pending));
<br></div>After compiling and resinstalling (of course without any=20
errors) I reboot my Dom0 but the machine does not boot with Xen and gets
 rebooted after bootloader.<br></div><div>The same printk works without any=
 problem when I use it in event_channel.c to print those info.<br></div>So =
there are a few questions:<br></div>1. Any idea what is the reason of reboo=
t and how to fix it?<br></div>2. Any idea how can I examine logs to find ou=
t the problem? Where and what should I look for?<br></div>3. Any ideas to a=
ccess per vcpu mask and pending bits in sched_credit.c functions (e.g. runq=
_insert or runq_sort)<br></div>Thanks all</div>

--001a113dfa5e342e7f0523054ca5--


--===============7829137959569867544==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
http://lists.xen.org/xen-devel

--===============7829137959569867544==--