On Mon, 2015-10-26 at 17:28 +0000, amin.fall...@gmail.com wrote: > 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? > You should setup a serial console. Have a look here:
http://wiki.xen.org/wiki/Xen_Serial_Console Consider whether you need to pass the 'noreboot' parameter to Xen. ( http://xenbits.xen.org/docs/4.2-testing/misc/xen-command-line.html ) > 3. Any ideas to access per vcpu mask and pending bits in > sched_credit.c functions (e.g. runq_insert or runq_sort) > Let's first see the logs. Regards, Dario -- <<This happens because I choose it to happen!>> (Raistlin Majere) ----------------------------------------------------------------- Dario Faggioli, Ph.D, http://about.me/dario.faggioli Senior Software Engineer, Citrix Systems R&D Ltd., Cambridge (UK)
signature.asc
Description: This is a digitally signed message part
_______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org http://lists.xen.org/xen-devel
