[Xen-devel] Understanding Xen event channel bit operation

2015-10-26 Thread amin.fall...@gmail.com
Hi everybody I need to understand when these pending and mask bits are set and cleared. It seems pending bits are set by evtchn_set_pending method in event_channel.c but I don't understand where pending bit is cleared by the guest and where mask bit is set and reset? Can anybody help me with

[Xen-devel] Cannot boot into Dom0 after reading vcpu_info in sched_credit

2015-10-26 Thread amin.fall...@gmail.com
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

[Xen-devel] Source code explanation?

2015-06-09 Thread amin.fall...@gmail.com
Is there anywhere I can find in depth and in detail explanation and description about xen source code and implementation, other than the comments in the source code? I need to understand credit scheduler source code line by line for me to be able to edit it for my needs. A description of what