On Mon, 2015-10-26 at 17:28 +, 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
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 comp
